6 artículos verificados sobre Matemáticas con IA, productos y movimientos del sector.
El sistema de demostración matemática AlphaProof Nexus, de Google DeepMind, se publica en Science: resolvió 9 de 353 problemas abiertos de Erdős y probó 44 de 492 conjeturas de la OEIS.
Cinco de los seis nuevos artículos de matemáticas de Meta, elaborados con el modelo Muse Spark, resuelven preguntas planteadas antes sin respuesta.
El sistema multiagente Cogentic de Google resolvió, con Gemini, cinco problemas abiertos de aprendizaje en línea, subastas y diseño de mecanismos, verificados por expertos.
El matemático Terence Tao advierte que la IA está agotando de forma no renovable los buenos problemas abiertos, llevando a los investigadores a evitar discutir sus líneas de trabajo.
En un artículo de doce páginas en arXiv, Terence Tao advierte que, cuando la IA resuelve demostraciones de investigación por decenas o cientos de dólares, las matemáticas pasan de la escasez al exceso.
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.