GPT-5.4 Pro 解 60 年 Erdős 猜想 #1196
Согласно сообщениям OpenAI и ScientificAmerican, 23-летний любитель Лиам Прайс с помощью GPT-5.4 Pro решил исходную задачу множества Erdős#1196, остававшуюся неразрешённой 60 лет. Решение заняло около 80 минут на рассуждения, 30 минут — на оформление в LaTeX и подачу на erdosproblems.com для проверки. Суть в том, чтобы связать целочисленную структуру и марковский процесс; Тао и Лихтман дали положительную оценку. В настоящее время идёт стадия проверки в сообществе, работа ещё не завершена рецензированием; сведения приведены в ABMedia и OpenAI4/28 Podcast.
ChainNewsAbmedia·04-29 01:57
