#mathematics
6 stories taggedmathematics.
Una IA acaba de resolver un difícil problema abierto en matemática pura. Los matemáticos están conmocionados.
El modelo Astra de OpenAI resolvió una pregunta de larga data en teoría de grupos este mes. Un matemático en activo explica por qué eso parecía imposible hace apenas semanas.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
La IA de OpenAI resolvió 10 problemas matemáticos difíciles. Ahora los matemáticos se preguntanqué valen sus empleos.
Un nuevo modelo de OpenAI resolvió acertijos matemáticos de una década de antigüedad que desconcertaron a investigadores humanos durante años. Los resultados son impresionantes. La disputa de créditos en torno a uno de ellos es una advertencia sobre cómo los laboratorios de IA hablan de las personas cuyo trabajo utilizan.
Verificación de pruebas de IA ultrarrápida: qué significa un nuevo resultado matemático para verificar datos masivos
Investigadores han encontrado una manera de verificar hechos aproximados sobre conjuntos de datos enormes utilizando solo una pequeña porción de los datos, dos veces. Aquí está por qué importa.