Команда OpenAI решила одну из семи «задач тысячелетия» — речь о проблеме существования и гладкости решений уравнений Навье – Стокса, передает Quartz. Доказательство было получено благодаря внутренней модели искусственного интеллекта, возможности которой значительно превосходят GPT-6 Astra.
Мы представляем решение задачи о существовании и гладкости решений уравнений Навье – Стокса — одной из «задач тысячелетия». <…> Мы публикуем как описание самого доказательства, так и его формализацию на языке Lean, — указали в OpenAI.
В работе поучаствовали 10 тыс. агентов, получивших доступ к кэшированной копии Сети и возможности запуска программного кода. Часть агентов искала подтверждение утверждения, другая — опровержение.
ИИ также справился с проблемой регулярности решений уравнений Эйлера. Решения уравнений Навье – Стокса удалось достичь 5 сентября, формализация и верификация с помощью GPT-6 Astra заняли еще 17 часов. В общей сложности отправили 2,7 млн сообщений и использовали 130 млрд выходных токенов.
Ранее HR-эксперт Яков Сайдин предупредил, что использование ИИ при составлении резюме может привести к появлению у соискателя несуществующих навыков из-за «галлюцинаций» нейросетей. Он отметил, что такие ошибки легко проверяются на собеседовании и могут не только стоить кандидату работы, но и подорвать его репутацию.