HeadlinesBriefing favicon HeadlinesBriefing.com

OpenAI заявляет о решении Навье-Стокс

Hacker News •
×

OpenAI объявила о решении задачи существования и гладкости Навье-Стокса, одной из семи 1,000,000 задач Премия тысячелетия, с использованием внутренней модели, не выпущенной в публичный доступ. Утверждение появилось на фоне обвинений со стороны Tristan Buckmaster, профессора математики NYU, и Levent Alpöge, математика в Anthropic, которые утверждают, что OpenAI могла получить доступ к их работе.

Buckmaster и Alpöge сотрудничали почти год, используя Claude и Codex (в основном GPT-5.6 Sol), и достигли прорыва 15 августа. После того как начали распространяться слухи о том, что Anthropic решила важную задачу, OpenAI запустила собственную инициативу 1 сентября, завершив доказательство, проверенное в Lean, к 6 сентября с использованием GPT‑6 Astra. Агенты OpenAI отправили 2,7 миллионов сообщений и использовали около 130 миллиардов выходных токенов только для Навье-Стокса.

OpenAI предложила совместную публикацию, но исключила Alpöge из-за конкурентных связей с Anthropic. Buckmaster задался вопросом, обучалась ли модель OpenAI на их сессиях Codex; OpenAI отрицала доступ к данным пользователей, но признала, что деидентифицированные данные об использовании могли улучшить модели. Оба доказательства различаются, особенно в случае Эйлера (с принудительным и без принудительного). Спор подчеркивает напряжённость вокруг ИИ-помощи в математических открытиях и интеллектуальной приоритетности.