Промышленный AI глазами практикующего CIO. Реальные кейсы, технологии и опыт внедрения для управленцев в горнодобывающей, металлургической и других отраслях промышленности.
По всем вопросам: @stanexxx
Post #11
33
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
Telegram GPT/ChatGPT/AI Central Александра Горного OpenAI переоценила свои успехи в математике
Вице-президент OpenAI Кевин Вейл заявил в X, что «GPT-5 нашла решение десяти нерешённых задач Эрдёша и продвинулась ещё в одиннадцати». Это прозвучало как настоящий научный прорыв, новость о гениальности GPT-5… Пару месяцев назад вице-президент 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
