" Спор года и на кону решение 1-й из 7 задач тысячелетия и $10К- интрига между 2 сотрудниками из Google DeepMind, один правда уже ex-DeepMind
Маркус Хаттер — известный ученый в ИИ, работает в DeepMind, автор теории AIXI и Hutter Prize и Дэвид Бадден экс-исследователь DeepMind поспорили по поводу решения одной из семи задач тысячелетия — проблемы существования и гладкости решений уравнений Навье-Стокса.
Ранее стало известно, что Google на пороге решения одной из задач тысячелетия.
Бадден утверждает, что до конца 2025 года загрузит на arXiv статью, которая даёт решение этой проблемы.
Бадден говорит, что у него есть полная формализация доказательства в Lean — это система автоматической верификации математических доказательств, которая проверяет каждую строку доказательства на логическую правильность.
Проигравший платит победителю $10 000 в течение 30 дней после разрешения спора.
Если реально будет решена эта задача, то её автору полагается $1млн.
