Důležitý dokument OpenAI: "Mohou LLM vyřešit jednoduché matematické dohady? Výzkumníci vytvořili "Godelův test", aby zjistili, zda GPT-5 může prokázat nové, jednoduché výsledky s minimálním kontextem Na 5 nových optimalizačních domněnkách: • téměř správné na 3/5 • P2: Nalezení alternativního, platného řešení • P4: neuspěl (je potřeba pro spojení dvou papírů) • P5: Chyba (Nelze dokončit kontrolní náhled)