GPT-5.2 и ИИ Aristotle решили 50-летнюю математическую задачу Эрдёша
6 января 2026 года связка GPT-5.2 Pro и математического ИИ Aristotle от стартапа Harmonic решила задачу Эрдёша #728 — открытую проблему о делимости факториалов, поставленную в 1975 году Полом Эрдёшем, Рональдом Грэхемом, Имре Рузой и Эрнстом Страусом. Это первый случай, когда LLM сгенерировала по-настоящему новое доказательство открытой математической задачи Эрдёша, а не переоткрыла уже существующее в литературе.
Задача #728 спрашивает: существует ли бесконечно много целых чисел a, b, n при определенных ограничениях, таких что a!b! делит n!(a+b−n)! и при этом a+b > n + Clog(n)?
Осенью 2025 года вокруг AI и задач Эрдёша было много шума: в октябре OpenAI заявила, что GPT-5 решил десять задач, но при проверке оказалось, что ИИ просто нашел для открытых задач человеческие решения, затерявшиеся в литературе — кстати, возможность ИИ каталогизировать потерянные решения сама по себе важна для науки. Но задача #728 стала первым случаем, когда тщательная проверка литературы не выявила предшественников.
Со следующим поколением моделей — GPT-5.5 или Gemini 3.5 — поток решений увеличится.
>>19052451 (OP) >GPT-5.2 и ИИ Aristotle решили 50-летнюю математическую задачу Эрдёша наконец-то это говно сделало хоть что то стоящее, а не очередные дерьмовые картинки
>>19052472 >наконец-то это говно сделало хоть что то стоящее, а не очередные дерьмовые картинки
ну конечно всю жизнь ведь мучал вопрос существует ли бесконечно много целых чисел a, b, n при определенных ограничениях, таких что a!b! делит n!(a+b−n)! и при этом a+b > n + Clog(n)?
>>19052451 (OP) Какой-то подвох. >Но задача #728 стала первым случаем, когда тщательная проверка литературы не выявила предшественников. Потом окажется, что недостаточно тщательно искали.
>>19052451 (OP) Бля этой хуйне уже всю мировую литература скормили, вплоть до диалогов дотеров про мамок и секретных архивов. А он всего 1 формулу выдал, да и то математическую.
>>19052472 Это говно слишком тупое, чтобы сделать хоть что-то стоящее. Если учесть всю брошенную пыль в глаза за момент форса нейронок, то в этой новости по любому есть нюанс.
>>19052451 (OP) >Erdős distinct distances problem >In discrete geometry, the Erdős distinct distances problem states that every set of points in the plane has a nearly-linear number of distinct distances. It was posed by Paul Erdős in 1946 and almost proven by Larry Guth and Nets Katz in 2015.
>>19052584 >Память по талонам. Так это вроде не совок... Как же невидимая рука рынка, которая должна среагировать на возросший массовый спрос возросшим массовым производством? И чем более массовое производство, тем ниже цена штуки...
>>19052451 (OP) А я дежурно напоминаю, что нейросеть не может придумать ничего нового, оно просто комбинирует существующие знания как стохастический попугай.
>>19052628 Он не зря иронизирует. Была такая развлекуха в средневековье: ставить совершенно ебанутые задачи. Которые вне узкой тусовки шизов - никому не всралось решать, ну просто потому что пользы от этого ноль. Так что ноль людей пытались её решить, всем похуй было.
>>19052874 Ты просто дурачок с мозгом мартышки, и не сечешь, что мир слишком сложен для восприятия, но математика универсальна и позволяет описать такие вещи, которые даже в постановке вопроса умом не охватить. Формулами можно разложить мироустройство, даже если оно непостижимо разуму, а из этого последует масса других открытий, но, конечно, их сделаешь не ты, ведь ты в это время будешь пить пивас и смотреть папича.
>>19052903 >500 лет назад от безделья придумали тысячи ненужных задачек >@ >двачер в 2026: >математика универсальна и позволяет описать такие вещи, которые даже в постановке вопроса умом не охватить. Формулами можно разложить мироустройство, даже если оно непостижимо разуму, а из этого последует масса других открытий Повзрослей уже.
>>19052451 (OP) >GPT-5 решил десять задач, но при проверке оказалось, что ИИ просто нашел для открытых задач человеческие решения, затерявшиеся в литературе Затерявшиеся! Это показывает что задачки то ненужные. Чисто головоломка для ума, даже если кто-то решил когда-то, всем похуй и забыли.
Когда что-то нужное решит, приходите. Лекарство от рака например найдёт. Но с реальными задачами не так то просто будет.
>>19052451 (OP) >Задача #728 спрашивает: существует ли бесконечно много целых чисел a, b, n при определенных ограничениях, таких что a!b! делит n!(a+b−n)! и при этом a+b > n + Clog(n)? > Так я не понял, существует или не существует? Что за долбоеб писал эту статью?
>>19052451 (OP) главное, что эти вот игры нердов, они прям пизддец как всем пригодятся. Примерно как умение сортировать пузырьком, которое обожают српашивать на собесах разные яумамисиньорсберславик, забывая что везде внизу под ним нписано что это говно говна по О канонам и его никогда нельзя применять на проде и вообще заебали дебилы, есть встроенные методы сортировки.
>>19053555 Не, дорогой. Это забавы тех кто полжизни потратил на осиляние сложных формул и вышел на новый уровень шизы просветления. Понятный полноценно только жменьке таких же. И несущий примерно такую же ценность. Одна проблема, примнение такого в обычножизни это как совки которые библиотеки под цвет обоем собирали, что как у соседа-прохфессора было. В реальной жизни, там где кайлом на корпорации пашут, таких как раз нахуй надо гнать сцаными тряпками обратно в свои НИИ, чтобы там предавались своим срамным забавам с вышматом этим ихним. Нам тут нужны тупые, сиполнительные и чтобы делали так чтобы завтра в рамках каттинг кост на его место макаку-рузеса посадили и она бы смогла заменить. А вот эти вот озхуительные решения на базе идей Бойля-Мариотта или Кандинского-Клерамбо, они в реально мире никому нахуй не надо.
>>19052451 (OP) Да все уже поняли что ИИ - говно, просто браузер на минималках, выдающий чаще всего ссылки на платные ресурсы и очевидные вещи из педивикии
6 января 2026 года связка GPT-5.2 Pro и математического ИИ Aristotle от стартапа Harmonic решила задачу Эрдёша #728 — открытую проблему о делимости факториалов, поставленную в 1975 году Полом Эрдёшем, Рональдом Грэхемом, Имре Рузой и Эрнстом Страусом. Это первый случай, когда LLM сгенерировала по-настоящему новое доказательство открытой математической задачи Эрдёша, а не переоткрыла уже существующее в литературе.
Задача #728 спрашивает: существует ли бесконечно много целых чисел a, b, n при определенных ограничениях, таких что a!b! делит n!(a+b−n)! и при этом a+b > n + Clog(n)?
Осенью 2025 года вокруг AI и задач Эрдёша было много шума: в октябре OpenAI заявила, что GPT-5 решил десять задач, но при проверке оказалось, что ИИ просто нашел для открытых задач человеческие решения, затерявшиеся в литературе — кстати, возможность ИИ каталогизировать потерянные решения сама по себе важна для науки. Но задача #728 стала первым случаем, когда тщательная проверка литературы не выявила предшественников.
Со следующим поколением моделей — GPT-5.5 или Gemini 3.5 — поток решений увеличится.
https://officechai.com/ai/gpt-5-2-and-harmonic-appear-to-have-autonomously-solved-an-erdos-problem-that-had-been-unsolved-by-humans-thus-far/