Claude formaliza el teorema de Fermat en Lean en 11 días y 13 millones de líneas
Anthropic dice que decenas de agentes de Claude han producido la primera demostración del último teorema de Fermat verificada de punta a punta…
Tag
matematicas-ia
Axiom formaliza en Lean 4 el teorema de los huecos entre primos con revisión humana
Axiom Math ha publicado la formalización completa en Lean 4 del teorema que dice que existen infinitos pares de primos consecutivos separados por 246 o…
Un residente de neurocirugía resuelve con GPT-5.6 una conjetura matemática abierta desde 2004
El 30 de julio, Alex Townsend le pidió a ChatGPT 5.6 que resolviera la conjetura de Crouzeix. Llevaba un año haciéndolo casi a diario y hasta ese día…
Claude sube del 41,6% al 67,2% la cota conocida de ceros de la función zeta de Riemann
Una versión de investigación de Claude todavía sin publicar ha subido del 41,6% al 67,2% la cota inferior conocida de ceros de la función zeta de Riemann…
Un matemático de Anthropic dice que Claude reprodujo la mitad de los resultados de Astra en 24 horas
Levent Alpöge, matemático de Anthropic, afirma que reprodujo aproximadamente la mitad de los diez avances matemáticos que OpenAI atribuyó a su modelo…
OpenAI enseña Astra resolviendo 10 problemas matemáticos sin resolver
OpenAI ha presentado Astra, su próximo modelo grande, sin enseñar el modelo. El 2 de agosto publicó un compendio de 249 páginas con soluciones a 10…
GPT-5.6 Sol sugiere el contraejemplo que tumba una conjetura de Maxwell de 1873
Tres matemáticos han refutado una conjetura que llevaba 153 años en pie, y la idea clave se la sugirió GPT-5.6 Sol. El paper, The Maxwell Conjecture is…
Claude Fable 5 tumba una conjetura matemática abierta desde 1939 con un contraejemplo que cabe en una servilleta
El fin de semana, mientras medio mundo veía la final del Mundial, un matemático de Anthropic tiró abajo un problema que llevaba 87 años en pie. Levent…
GPT-5.6 Sol Ultra dice haber probado una conjetura abierta desde 1973
OpenAI afirma que GPT-5.6 Sol Ultra ha demostrado un problema matemático que llevaba medio siglo abierto. La compañía [publicó el 10 de julio un PDF en…