Если вы пропустили эту серию постов, советуем сначала вернуться к ним: так будет проще понять лор.
Они про то, как нейросети помогают математикам и почему не стоит полностью доверять машинно проверенному доказательству.
А теперь — свежее обновление:
На Хабре вышел разбор истории вокруг уравнений Навье — Стокса, одной из задач тысячелетия с призом в миллион долларов.
Математики Тристан Бакмастер и Левент Альпёге долго работали над подходами к этой задаче. Они активно использовали нейросети, в том числе Claude и Codex.
Но в медиа-гонке их опередила OpenAI. Вчера компания заявила, что её внутренняя модель предложила решение задачи и формализовала доказательство в Lean.
По словам Бакмастера, OpenAI узнала об их прогрессе и запустила собственную внутреннюю модель на эту задачу с гораздо большими вычислительными ресурсами. Бакмастер опасается, что его наработки могли повлиять на результат.
OpenAI это отрицает: компания утверждает, что не использовала конкретные пользовательские данные при решении, но признаёт, что обезличенные данные теоретически могли попасть в обучение моделей.
Мы пока не берёмся делать финальные выводы: такие доказательства проверяются месяцами. А вы что думаете по этому поводу?
#рекомендуем