😳 GPT-5 почти прошла “тест Гёделя” На arXiv вышла работа двух независимых исследователей, которые решили проверить: способен ли современный ИИ открывать новую математику, а не просто повторять то, что было в обучающей выборке. Что они сделали: — В области комбинаторной оптимизации придумали 5 абсолютно новых задач, которых точно не было в литературе. — GPT-5 дали только короткие описания и несколько вводных статей — без гипотез, примеров решений или черновиков. Результат впечатляет: — Модель решила 3 из 5 задач, причём в одной опровергла гипотезу авторов и предложила собственное верное доказательство. — Две самые сложные задачи, где нужно объединять несколько идей, оказались пока не по силам. Вывод простой: GPT-5 уже способна доказывать неизвестные ранее теоремы, но до уровня “математика-исследователя” ей ещё далеко. Сложные задачи тысячелетия пока в безопасности… но прогресс идёт удивительно быстро.