DeepMind resuelve 9 problemas de Erdős con AlphaProof Nexus
Google DeepMind ha publicado en la revista Science AlphaProof Nexus, un agente de IA que ha resuelto por su cuenta 9 de los 353 problemas abiertos…
Tag
matematicas-ia
OpenAI publica 722 manuscritos de matemáticas escritos por su IA
OpenAI ha publicado 722 manuscritos de matemáticas producidos por un modelo interno que todavía no ha lanzado.
OpenAI crea un consejo de matemáticos tras resolver 100 problemas
OpenAI dice que el mismo modelo interno que resolvió Navier-Stokes ha resuelto ya más de 100 problemas abiertos de matemáticas, repartidos…
25 medallas Fields firman contra OpenAI por cómo anuncia sus pruebas matemáticas
Terence Tao y otros 24 matemáticos de primer nivel, varios de ellos medallas Fields, han firmado una carta abierta contra la forma…
OpenAI resuelve Navier-Stokes con 10.000 agentes en 88 horas y estalla la pelea por el crédito
OpenAI dice haber resuelto el problema de Navier-Stokes, uno de los siete problemas del milenio del Clay Mathematics Institute, con un modelo que todavía…
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…
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…