Axiom Math разработал Axplorer — AI для математиков с новым подходом

Axiom Math, стартап из Пало-Альто, Калифорния, выпустил Axplorer — AI инструмент для математиков, доступный бесплатно. Он разработан для поиска математических паттернов, которые могут помочь в решении сложных задач, таких как известная проблема четырехциклов Турана.

Что такое Axplorer

Axplorer стал переработанной версией PatternBoost, который был создан Франсуа Шарсоном в 2024 году во время его работы в Meta. Если для работы PatternBoost требовался суперкомпьютер, то Axplorer можно установить на обычном Mac Pro, что делает его доступным для рядовых пользователей.

Идея AI в математике

Цель нового инструмента — сделать мощь PatternBoost доступной для всех желающих. Программа активно используется последователями математики и направлена на решение задач, которые не решались ранее. Основатель Axiom Math, Карина Хонг, заявила: «Математика — это не только решение проблем, но и исследование и экспериментирование».

Недавно несколько математиков начали применять большие языковые модели, такие как GPT-5 от OpenAI, для поиска решений задач, оставленных известным математиком XX века, Полем Эрдишем. Однако Шарсон замечает, что нет ничего удивительного в успехах с LLM — многие задачи остаются нерешенными просто потому, что на них никто не обратил внимания.

Научные открытия с помощью Axplorer

Axplorer, как и многие существующие AI-инструменты, позиционируется как способ открытия новых идей и паттернов в математике. Такой подход может привести к созданию новых областей математики. Например, Axplorer позволяет пользователям вводить примеры, генерируя дополнительные паттерны, чтобы найти наиболее интересные и применимые решения.

Программа была успешно протестирована на нескольких задачах, среди которых — задача о четырехциклах Турана, считающаяся важной для теории графов, исследующей сложные сети.

Практическое значение для исследователей

Axiom Math предлагает мощный инструмент для исследователей и математиков, которые теперь смогут использовать Axplorer, не зависимо от мощных суперкомпьютеров. Это радикально упрощает доступ к передовым технологиям математики, что создаёт новые возможности для открытия и творчества в математической области. В дальнейшем такие инструменты могут не только улучшить качество исследований, но и способствовать более широкому принятию AI в научных кругах.

Следующий шаг для Axiom Math — дальнейшее развитие Axplorer с новыми функциями и возможностями, которые улучшат пользовательский опыт и расширят горизонты математических исследований.

The post Axiom Math разработал Axplorer — AI для математиков с новым подходом appeared first on iTech News.