AIX Global заявила о решении шести задач тысячелетия на квантовом компьютере

AIX Global опубликовала работу, в которой утверждает, что решила все шесть оставшихся задач тысячелетия Clay с помощью квантового компьютера IBM Heron и формальной верификации в Lean 4. Заявлены 27 теорем, 10 часов 24 минуты работы QPU и около $59 900 затрат на железо; результаты требуют независимой проверки.

• Заявлены решения задач Римана, Янга–Миллса, Навье–Стокса, Ходжа, BSD и P vs NP
• Использованы IBM Heron, сертификаты в фиксированной точке и верификация в Lean 4
• Указаны 27 теорем Lean, 10 ч 24 мин QPU и около $59 900 затрат
• Авторы называют общий конвейер: оператор, спектральные вычисления, сертификат, проверка