Una herramienta de inteligencia artificial para la caza de modelos matemáticos no deseados puede resolver una amplia variedad de problemas matemáticos, para no ver el progreso durante décadas.
Los modelos de IA generalmente luchan por resolver problemas matemáticos que tocan a los humanos, aunque hay algunos logros en temas específicos. Por esta razón, la mayoría de los matemáticos no quieren dedicar tiempo extra para aprender a usar la IA como parte de su investigación.
Ahora, Francois …