Con sede en Palo Alto, California, Axiom Math ha lanzado Axplorer, una herramienta de IA gratuita destinada a ayudar a los matemáticos a identificar patrones matemáticos que podrían conducir a soluciones de desafíos de larga data. Esta nueva herramienta es una evolución de PatternBoost, co-desarrollada por François Charton, un científico investigador en Axiom, durante su tiempo en Meta. A diferencia de su predecesor, que requería recursos de supercomputación, Axplorer puede operar en un Mac Pro estándar, haciéndolo accesible a un público más amplio.
La herramienta forma parte de una iniciativa más amplia de la Agencia de Proyectos de Investigación Avanzada de Defensa de EE. UU., conocida como expMath, que fomenta la integración de la IA en la investigación matemática. Axiom Math cree que los avances en matemáticas pueden tener un impacto significativo en la tecnología, especialmente en campos como la informática y la ciberseguridad.
Mientras que muchas herramientas de IA se han centrado en resolver problemas existentes, Axiom Math enfatiza la naturaleza exploratoria de las matemáticas. Charton expresa escepticismo sobre la efectividad de los modelos de lenguaje (LLMs) para abordar problemas matemáticos bien estudiados, afirmando que los verdaderos avances a menudo requieren ideas novedosas. Axplorer está diseñado para facilitar esta exploración al permitir a los usuarios generar y refinar patrones de manera iterativa. Con el código de código abierto disponible en GitHub, Axiom Math espera acelerar el descubrimiento matemático para estudiantes e investigadores.