На Хабре вышел разбор истории вокруг уравнений Навье — Стокса, одной из задач тысячелетия с призом в миллион долларов.

Математики Тристан Бакмастер и Левент Альпёге долго работали над подходами к этой задаче. Они активно использовали нейросети, в том числе Claude и Codex.

Но в медиа-гонке их опередила OpenAI. Вчера компания заявила, что её внутренняя модель предложила решение задачи и формализовала доказательство в Lean.

По словам Бакмастера, OpenAI узнала об их прогрессе и запустила собственную внутреннюю модель на эту задачу с гораздо большими вычислительными ресурсами. Бакмастер опасается, что его наработки могли повлиять на результат.

OpenAI это отрицает: компания утверждает, что не использовала конкретные пользовательские данные при решении, но признаёт, что обезличенные данные теоретически могли попасть в обучение моделей.