OpenAI решила гипотезу уникальных игр, над которой математики бились десятилетиями
The Mathocalypse
Вчера OpenAI выпустила 372 математических результата, включая доказательство гипотезы уникальных игр Субаша Кхота, над которой Dana Moshkovitz работала всю карьеру. Доказательства пока не поняты людьми, но уже есть Lean-сертификаты. Среди других прорывов — L=BPL, быстрое умножение матриц и целых чисел, решение проблемы унитарного синтеза и частичный прогресс по гипотезам Римана, Ходжа и Берча — Свиннертон-Дайера. Это событие уже называют Матемакалипсисом.
Ощущение, будто это писал человек под психоделиками. Столько всего неясного и бессмысленного. Куча упоминаний предыдущих работ без обсуждения, почему их можно использовать, несмотря на результаты о невозможности.