🔥 ИИ опроверг гипотезу, на которой строились сотни научных работ OpenAI заявила сразу о трёх научных открытиях — в математике, информатике и физике. Самое громкое — опровержение Exponential Time Hypothesis. На этой гипотезе десятилетиями строились доказательства того, что некоторые вычислительные задачи нельзя решить быстро. Модель нашла опровержение, а доказательство формализовали в Lean. 🌊 В математике ИИ доказал гипотезу Согге о фокусировке волн для всех измерений. Из неё также следуют решения гипотез Какеи и Стейна. ⚛️ В физике модель предложила строгие доказательства существования квантовой хромодинамики и чистой теории Янга — Миллса. Но задача тысячелетия пока не закрыта — массовый разрыв ещё не доказан. Работы пока проходят независимую проверку. Математические результаты проверены в Lean, а физические изучает группа под руководством нобелевского лауреата Дэвида Гросса. Теперь главный вопрос — выдержат ли доказательства проверку учёных, которые десятилетиями занимались этими задачами.