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