Axiom Math, стартап, базирующийся в Пало-Альто, Калифорния, выпустил новый бесплатный инструмент искусственного интеллекта для математиков, предназначенный для обнаружения математических закономерностей, которые могут найти решения давних проблем. Инструмент под названием Axplorer представляет собой модернизацию существующего инструмента под названием PatternBoost, который Франсуа Чартон, ныне научный сотрудник...
PatternBoost работал на суперкомпьютере; Axplorer работает на Mac Pro. Цель состоит в том, чтобы передать мощь PatternBoost, которая использовалась для решения сложной математической головоломки, известной как задача четырех циклов Турана, в руки каждого, кто может установить Axplorer на свой компьютер.
В прошлом году Агентство перспективных исследовательских проектов Министерства обороны США запустило новую инициативу под названием expMath (сокращение от «возведение математики в степень»), чтобы побудить математиков разрабатывать и использовать инструменты искусственного интеллекта. Axiom считает себя частью этого стремления.
Для рынка ИИ это важно из-за влияния на стоимость вычислений, скорость внедрения и конкурентное давление.