Это значит, что ИИ уровня «гений по требованию» может появиться уже в 2026
Сегодня многие медиа напишут, как о сенсации, о «победе на выходных: ChatGPT 5.2 Pro решил нерешенную ранее математическую задачу». Речь идет о сообщении Нила Сомани, что доказательство, которое он представил для задачи Эрдёша № 397, было принято знаменитым математиком Теренсом Тао.
FYI. Знаменитый венгерский математик Пал Эрдёш сформулировал множество нерешённых гипотез и задач в математике (более 1000), в основном в областях комбинаторики, теории чисел и геометрии. Многие из них до сих пор не решены.
И хотя в сообщении Нила Сомани чистая правда, сенсация вовсе не в этом.
Настоящая сенсация в том, что произошел какой-то еще не понятый нами прорыв. Фронтирные модели вдруг начали с конца декабря щелкать одну за другой нерешенные людьми задачи Эрдёша, тратя на решение одной задачи около15 минут: 24-го декабря решена задача №1077; 25-го - №333; 26-го – 897; 6 января 2026 - №728; 8-го – 720; 10-го №205 и №397 (источник).
О том, что преодолен важный рубеж, Теренс Тао написал после того, как 6-го января модель ChatGPT 5.2 Pro с помощью Aristotle (новая LLM, которая находит напрямую формальные доказательства математических утверждений, которые можно верифицировать, и если они проходят проверку, считать вопрос закрытым) решил задачу Эрдёша № 728.
Прорыв в том, что:
1. Задача была решена ИИ автономно (после получения обратной связи по результатам первоначальной попытки).
2. Это решение не существовало (не было описано) в каких либо источниках, созданных математиками – людьми.
Это – как пишет Теренс Тао - демонстрирует реальное увеличение возможностей этих инструментов за последние месяцы.
Следовательно, потребовалось всего 3 месяца, чтобы уровень моделей (по определению того же Теренса Тао) повысился с «уровня некомпетентного аспиранта» до «уровня компетентного аспиранта» (способного к самостоятельному творческому синтезу знаний).
И возможно, до уровня «гений по требованию» нас также отделяют уже не годы, а месяцы.
#AGI #Вызовы21Века #FutureOfCivilization