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
investigacion-cientifica
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…
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…
OpenAI regala ChatGPT Pro a 100.000 investigadores academicos hasta 2027
OpenAI va a dar acceso gratuito a sus modelos frontera a 100.000 investigadores academicos hasta 2027. El programa se llama ChatGPT for Academic…
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…