Axiom Math выпустила Axplorer — открытый AI‑инструмент для поиска математических паттернов, который можно запустить на одном компьютере (например, Mac Pro).
Команда сообщает, что Axplorer за 2,5 часа повторил результат PatternBoost по задаче Турэна о четырёх циклах, тогда как исходный метод работал неделями на кластере.
Код инструмента открыт и доступен на GitHub, его предлагают использовать для быстрой генерации примеров и контрпримеров в исследованиях.

вот это прорыв в математике 😮 теперь исследователи могут экономить кучу времени интересно какие еще задачи получится решить быстрее с помощью axplorer

это действительно круто исследователи теперь сэкономят массу времени и у них будет больше возможностей для экспериментов и открытия новых паттернов