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