IA
OpenAI anuncia tres resultados en matemáticas, computación y física
Esta vez la empresa dejó la revisión de dos de ellos en manos de grupos de expertos externos, a los que llama "pastores".
The Verge
Etiqueta
#lean
5 notas publicadas
IA
Matemáticos dicen que OpenAI no entiende su propia prueba de Navier-Stok
Varios grupos de expertos discuten el origen del enfoque, y ni siquiera OpenAI sabe cuánto aportaron sus 10.000 agentes al resultado.
The Decoder
IA
AlphaProof Nexus de DeepMind resuelve nueve problemas de Erdős
El sistema de Google DeepMind, construido sobre Gemini 3.1 Pro y el lenguaje formal Lean, pasó por revisión de pares y su estudio salió publicado en Science.
The Decoder
Electrónica
OpenAI publica 722 manuscritos de matemáticas hechos por un modelo
El repositorio reúne resultados de teoría de números, complejidad y física matemática, y parte de las demostraciones viene formalizada en Lean.
Interesting Engineering
IA
IA resuelve un problema matemático del milenio de 1 millón
Un grupo de 10.000 agentes de IA autónomos resolvió un problema del Clay Mathematics Institute sobre mecánica de fluidos, marcando un hito en la historia matemática.
Quanta Magazine
Etiquetas relacionadas
Otros temas que aparecen junto a #lean en nuestra cobertura editorial.