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