Проект Numina, некоммерческая организация, нацеленная на развитие математических знаний с помощью искусственного интеллекта, получил грант в размере €3 миллионов от компании XTX Markets, ведущего игрока в области алгоритмической торговли. Эти средства будут направлены на реализацию исследовательской программы, которая изменит подход к формализации математического мышления.
Искусственный интеллект все больше влияет на математику, однако доступ к современным AI-моделям и соответствующим наборам данных остается ограниченным. Это создает препятствия для оценки и применения новых технологий в научном сообществе. С помощью поддержки XTX Markets, Numina планирует собрать и публично представить обширную базу данных, содержащую до одного миллиона формальных математических задач и доказательств.
Грант от XTX Markets станет важным шагом к созданию крупнейшего открытого набора данных по математическому мышлению в истории. В прошлом году Numina выпустила NuminaMath — крупнейшую базу данных математических задач и доказательств, насчитывающую 860,000 записей. Теперь организация нацелена на создание и публикацию корпуса из до 1 миллиона формальных упражнений и доказательств.
Кроме того, Numina будет разрабатывать и открыто публиковать AI-модели, специализированные на математике. Это позволит автоматизировать процесс доказательства теорем и формализации математического мышления, что значительно упростит доступ к математическим инструментам для широкой аудитории.
Первые результаты и данные проекта Numina планируются к публичному релизу к середине 2025 года. Организация также разрабатывает интерактивный веб-интерфейс, который позволит пользователям легко получать доступ к базе данных для образовательных целей.
Numina стремится сделать математику открытой областью в эпоху искусственного интеллекта, и с поддержкой XTX Markets у нее есть все шансы на успех в этой амбициозной миссии.