Битва умов: Google DeepMind бросает вызов в решении задачи тысячелетия

В мире искусственного интеллекта разгорелась ожесточенная дискуссия, а главное – конкуренция, вокруг решения одной из семи задач тысячелетия. В центре внимания – проблема существования и гладкости уравнений Навье-Стокса, известная своей сложностью и долговечной привлекательностью для математиков и ученых.

Столкновение взглядов произошло между Маркусом Хаттером, ученым Google DeepMind, и Дэвидом Бадденом, бывшим исследователем DeepMind. Хаттер, автор теории AIXI и лауреат премии Hutter Prize, представляет собой команду, стремящуюся к прорыву в решении этой сложной задачи.

Дэвид Бадден, экс-исследователь DeepMind, уверен, что к концу 2025 года предоставит научному сообществу решение. Он планирует опубликовать статью в arXiv, подтвердив свое утверждение полными доказательствами в системе Lean – автоматизированной системе проверки математических доказательств.

Стоимость интеллектуального противостояния оценивается в $10 000, которые победитель получит от проигравшего в течение 30 дней после завершения спора. Успешное решение задачи тысячелетия принесет автору вознаграждение в $1 миллион.