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