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