Presentamos al equipo de descubrimiento de Axiom, liderado por @f_charton: Construimos modelos que crearán nuevas construcciones, transformarán problemas en soluciones e intuiciones, y aprenderán la estructura de mundos matemáticos completos. Diseñado para abordar problemas abiertos complejos, uno a la vez.
@f_charton axiommath.ai/blog/ Lea nuestro artículo más reciente sobre descubrimientos.