Важная статья OpenAI: "Могут ли LLM решать простые математические гипотезы? Исследователи разработали "Тест Гёделя", чтобы выяснить, может ли GPT-5 доказать новые, простые результаты с минимальным контекстом по 5 новым гипотезам оптимизации: • почти правильно по 3/5 • p2: найден альтернативный, действительный вариант решения • p4: не удалось (необходимо было объединить две статьи) • p5: не удалось (не смог завершить доказательство)