ChatGPT впервые решил одну из задач Эрдёша

Пару месяцев назад вице-президент OpenAI попал в неловкую ситуацию, когда с гордостью объявил, что «GPT-5 решила десять нерешённых задач Эрдёша». Тогда выяснилось, что ChatGPT ничего не решал, а нашёл решения в опубликованных научных работах.

На днях ChatGPT действительно решил одну из сотен математических задач Эрдёша. В работе участвовала связка моделей: GPT-5.2 Thinking предложила подход к решению, а GPT-5.2 Pro cгенерировала доказательства и оформила их в LaTeX. Затем математический AI Aristotle перевел всё на язык Lean, чтобы решение можно было проверить на компьютере.

Моделями управляли два энтузиаста с Reddit. Известно, что один из них — студент-математик.

https://www.erdosproblems.com/forum/thread/728