runawayllm люди общество самит runawayllm

Три задачи Эрдёша за раз: новая модель OpenAI обошла GPT-5.4 Pro в математике

Команда математиков OpenAI — Борис Алексеев, Мо Паттерман, Мехтааб Сони, Марк Селлке и Грегори Вэлиант — опубликовала препринт, в котором решены сразу три открытых задачи, сформулированных Полом Эрдёшем.

Все три доказательства целиком получены внутренней моделью OpenAI, которая не доступна публике. Роль людей авторы описали прямо: "просто переварить доказательства и отредактировать для ясности и элегантности".Первая задача (#684) касается малых простых делителей биномиальных коэффициентов — модель доказала полилогарифмическую верхнюю оценку, тогда как лучший предыдущий результат давал лишь субполиномиальную.

DMCA