Post #809
131
Кажется, вчера в математике произошло что-то действительно историческое.
6 октября OpenAI разом опубликовала 722 математические рукописи, созданные её пока не выпущенной frontier-моделью. Они объединены в 372 семейства результатов, масштаб совершенно необычный. Во время эксперимента модели дали примерно 4000 открытых исследовательских задач, а на получение одного результата в среднем уходил вычислительный ресурс, эквивалентный примерно трём часам ChatGPT Pro thinking.
В коллекции есть результаты из теории чисел, геометрии, теоретической информатики и математической физики — от гипотез Малера и свойств числа π до свободных групповых факторов, квантовых систем и уравнений Власова–Максвелла. Для многих доказательств уже существуют формализации в Lean: их логику может пошагово проверить компьютер.
Что ж, мы довольно быстро прошли путь от «ИИ умеет решать сложные известные задачи» к «ИИ массово работает с вопросами, на которые человечество ещё не знало ответа».
Конечно, праздник ещё не означает, что все 722 работы безупречны. Сама OpenAI предупреждает: не все результаты формально проверены, и в непроверенных доказательствах могут найтись ошибки. Теперь математикам предстоит огромная работа по верификации, пониманию и оценке значимости этих результатов.
Но даже если часть работ не выдержит проверки, сам масштаб изменения уже трудно игнорировать.
И если такой темп перенесётся из чистой математики в физику, биологию, медицину и материаловедение — следующие несколько лет науки могут оказаться очень странными. В хорошем смысле.
Официальный релиз: OpenAI — Sharing AI progress in mathematics
Сами 722 работы: openai/math на GitHub
6 октября OpenAI разом опубликовала 722 математические рукописи, созданные её пока не выпущенной frontier-моделью. Они объединены в 372 семейства результатов, масштаб совершенно необычный. Во время эксперимента модели дали примерно 4000 открытых исследовательских задач, а на получение одного результата в среднем уходил вычислительный ресурс, эквивалентный примерно трём часам ChatGPT Pro thinking.
В коллекции есть результаты из теории чисел, геометрии, теоретической информатики и математической физики — от гипотез Малера и свойств числа π до свободных групповых факторов, квантовых систем и уравнений Власова–Максвелла. Для многих доказательств уже существуют формализации в Lean: их логику может пошагово проверить компьютер.
Что ж, мы довольно быстро прошли путь от «ИИ умеет решать сложные известные задачи» к «ИИ массово работает с вопросами, на которые человечество ещё не знало ответа».
Конечно, праздник ещё не означает, что все 722 работы безупречны. Сама OpenAI предупреждает: не все результаты формально проверены, и в непроверенных доказательствах могут найтись ошибки. Теперь математикам предстоит огромная работа по верификации, пониманию и оценке значимости этих результатов.
Но даже если часть работ не выдержит проверки, сам масштаб изменения уже трудно игнорировать.
И если такой темп перенесётся из чистой математики в физику, биологию, медицину и материаловедение — следующие несколько лет науки могут оказаться очень странными. В хорошем смысле.
Официальный релиз: OpenAI — Sharing AI progress in mathematics
Сами 722 работы: openai/math на GitHub
- 👍 4







