GPT-5.2 Pro на этой неделе решила две открытые математические задачи из списка Эрдёша, которые оставались нерешёнными много лет. • Первая задача — №728 — была передана GPT-5.2 самим Теренсом Тао. Формулировка задачи была уточнена только несколько месяцев назад, и ранее по ней не существовало литературы. Модель решила задачу автономно после обратной связи по первой попытке. Решение не было воспроизведено в научных публикациях, хотя аналогичные методы встречались ранее. • Вторая задача — №397 — была подана Нилом Сомани и проверена Теренсом Тао. Доказательство сгенерировала GPT-5.2 Pro и оформила с помощью harmonic. — «Автономность решения в обоих случаях подтвердил сам Теренс Тао». https://dzen.ru/id/5c0e38ff46ef5c00aaa80527
GPT-5.2 Pro решила две задачи из списка Эрдёша
СегодняСегодня
~1 мин