Компания Axiom Math из Пало-Альто, штат Калифорния, запустила Axplorer, бесплатный инструмент ИИ, который помогает математикам выявлять математические паттерны, способные привести к решениям давних проблем. Этот новый инструмент является эволюцией PatternBoost, совместно разработанного Франсуа Шартоном, научным сотрудником Axiom, во время его работы в Meta. В отличие от своего предшественника, который требовал суперкомпьютерных ресурсов, Axplorer может работать на стандартном Mac Pro, что делает его доступным для более широкой аудитории.
Инструмент является частью более широкой инициативы Агентства передовых исследований обороны США, известной как expMath, которая поощряет интеграцию ИИ в математические исследования. Axiom Math считает, что достижения в математике могут значительно повлиять на технологии, особенно в таких областях, как информатика и кибербезопасность.
Хотя многие инструменты ИИ сосредоточены на решении существующих задач, Axiom Math подчеркивает исследовательский характер математики. Шартон выражает скептицизм относительно эффективности больших языковых моделей (LLMs) в решении хорошо изученных математических проблем, утверждая, что настоящие прорывы часто требуют новых идей. Axplorer разработан для упрощения этого исследования, позволяя пользователям генерировать и уточнять паттерны итеративно. С открытым исходным кодом, доступным на GitHub, Axiom Math надеется ускорить математические открытия для студентов и исследователей.