Стартап Axiom Math решил поиграть в бога, представив ИИ-инструмент Axplorer. Главное обещание — сделать поиск математических закономерностей доступным каждому, кто не боится своего Mac Pro. Прощайте, суперкомпьютеры, здравствуй, элегантная автоматизация! Этот переход от монструозных, дорогих решений вроде PatternBoost (над которым, кстати, работал Франсуа Шартон ещё со времён Meta) к чему-то более приземлённому — логичный шаг.
Такая «демократизация» вычислений отлично ложится в канву инициатив DARPA, вроде программы expMath, которая стремится запихнуть ИИ в научные изыскания поглубже. Шартон, наш главный апологет, твердит, что математика — это всё: от новых ИИ до кибербезопасности. Но вот ведь загвоздка: сможет ли Axplorer предложить что-то действительно новое для математической мысли, или просто отшлифует рутинный перебор данных? Вот в чём вопрос.
Если Axplorer действительно начнёт генерировать гипотезы, которые раньше были недосягаемы из-за вычислительной сложности, тогда мы получим ускорение научных открытий. Но если это просто более изощрённый перебор вариантов, то это скорее оптимизация, чем прорыв. Будет интересно посмотреть, какие именно закономерности он сможет находить и насколько они будут отличаться от уже существующих.
Для вашего бизнеса это может обернуться как потенциальным ускорением R&D в смежных областях, так и поводом задуматься, а не пора ли переосмыслить собственные подходы к исследованиям. Стоит приглядеться: станет ли Axplorer реальным инструментом для открытий или всего лишь очередной ступенькой в череде автоматизированных отчётов.