El artículo «This startup wants to change how mathematicians do math» describe el lanzamiento de Axplorer por parte de Axiom Math, una herramienta de IA diseñada para ayudar a los matemáticos a descubrir patrones y resolver problemas complejos. La herramienta, basada en un proyecto anterior llamado PatternBoost, busca superar las limitaciones de los LLMs al enfocarse en la generación de nuevas ideas.

Axplorer se diferencia de otras herramientas de IA por su accesibilidad, ya que puede funcionar en computadoras personales, eliminando la necesidad de supercomputadoras. Axiom Math espera que Axplorer contribuya a la iniciativa expMath de DARPA, que promueve el uso de la IA en matemáticas, y que impulse avances en campos como la informática y la seguridad en internet.

Aunque algunos matemáticos se muestran cautelosos sobre el impacto real de la herramienta, Axplorer ha demostrado su potencial al resolver el problema de los cuatro ciclos de Turán. Axiom Math espera que la comunidad matemática adopte Axplorer para generar soluciones y contraejemplos, acelerando así el proceso de descubrimiento matemático.