La matemática es una disciplina que se basa en la lógica y la razón, pero a veces la falta de herramientas adecuadas puede obstaculizar el avance de las investigaciones. Eso es exactamente lo que Axiom Math, una startup con sede en Palo Alto, California, pretende cambiar con su nuevo herramienta de IA llamada Axplorer.
Desarrollada por la investigación de François Charton, ahora científico de investigación en Axiom, Axplorer es la renovación de una herramienta existente llamada PatternBoost. La herramienta, que está disponible de forma gratuita, se diseña específicamente para ayudar a los matemáticos a descubrir patrones en gran cantidad de datos. Estos patrones, a su vez, pueden ayudar a resolver problemas matemáticos que han estado sin resolver desde hace décadas.
Según Charton, la inspiración detrás de Axplorer surgió de la necesidad de encontrar una forma más eficiente de analizar grandes cantidades de datos.