Важлива стаття OpenAI: «LLM можуть розв'язувати прості математичні гіпотези? Дослідники створили «тест Геделя», щоб побачити, чи може GPT-5 довести нові, прості результати з мінімальним контекстом На 5 свіжих гіпотезах оптимізації: • майже правильна на 3/5 • П2: Знайдено альтернативне, дієве рішення • P4: не склалося (потрібно об'єднати дві роботи) • P5: не вдалося (не вдалося завершити доведення)