🧮 Meta научила свою AI делать математику на уровне исследователей.

Математики гоняли обычный чат-интерфейс Muse Spark (без всяких кастомных research-инструментов) и вместе с моделью выпустили шесть научных статей. Пять из них закрывают давно открытые проблемы — от теории групп до нелинейных уравнений Шрёдингера, плюс одна контрпримером опровергла гипотезу Киды 2024 года.

И это просто обычный чат, а не специальная research-система под задачу. Похоже, AI-соавторство в математике перестаёт быть диковинкой.

[#AI](/search?q=%23AI) [#Meta](/search?q=%23Meta) [#математика](/search?q=%23%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)