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
#matematicas
26 notas publicadas
IA
Por qué la IA ya resuelve problemas matemáticos que los expertos dejaron
Un análisis en Latent Space usa la prueba de distancia unitaria para explicar qué cambia cuando un modelo prueba ideas en minutos y un verificador descarta las falsas.
Latent Space
IA
Matemáticos creen correcta la prueba de IA de la hipótesis cuasi Riemann
Es una versión más débil de la hipótesis de Riemann, abierta desde hace más de 160 años, y expertos en teoría de números ya creen que la prueba es correcta.
Quanta Magazine
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
Los 377 resultados matemáticos de OpenAI dividen a los matemáticos
El Instituto de Estudios Avanzados de Princeton no respalda probar problemas abiertos con modelos cerrados, y OpenAI promete darles voz sin dejar de hacerlo.
Interesting Engineering
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
OpenAI dice que su modelo resolvió más de 100 problemas abiertos
El entrenamiento partió el 28 de agosto y la empresa armó un grupo asesor externo que tiene vedado opinar sobre el ritmo de su investigación.
The Decoder
IA
OpenAI se acerca a resolver la conjetura de Hodge
Sería el segundo problema del Milenio que la empresa aborda tras Navier-Stokes, según The Information, y el anuncio podría demorarse.
The Decoder
IA
OpenAI resuelve Navier-Stokes en 88 horas con 10.000 agentes
El anuncio llegó un día después de que dos investigadores publicaran avances en un problema relacionado, y destapó acusaciones de adelantamiento y de acceso a datos de usuario.
The Verge
IA
GPT-6 Astra lidera en matemáticas sin haber sido optimizado
El modelo encabezó el ErdosBench con 106 problemas resueltos, aunque el científico jefe de OpenAI, Jakub Pachocki, admite que la compañía decidió no priorizar la investigación matemática.
The Decoder
IA
La disputa por la prueba de OpenAI sacude a la ciencia abierta
El matemático Tristan Buckmaster acusa a la empresa de usar sus borradores y de presionarlo para excluir a su coautor por trabajar en Anthropic. OpenAI niega el plagio.
The Decoder
Electrónica
OpenAI bajo fuego: acusan plagio en resolución de Navier-Stokes
Investigadores denuncian que OpenAI habría utilizado datos privados de sesiones de Codex para resolver un problema matemático de un millón de dólares.
Tom's Hardware
IA
OpenAI y el dilema ético tras resolver el problema de Navier-Stokes
OpenAI afirma haber resuelto un Problema del Milenio, pero las acusaciones de plagio sobre el trabajo de investigadores externos ensombrecen el logro técnico.
MIT Tech Review
IA
OpenAI reporta solución al problema Navier-Stokes con agentes
En un despliegue masivo de 10.000 agentes de IA, OpenAI reporta avances en el problema del milenio tras 88 horas de cómputo y 130 mil millones de tokens.
Latent Space
Electrónica
OpenAI resuelve un enigma matemático de 90 años con 10.000 agentes
Un sistema de agentes autónomos logró hallar una singularidad en las ecuaciones de Navier-Stokes, desafiando a los matemáticos durante casi un siglo.
Interesting Engineering
IA
OpenAI resuelve problema matemático de 90 años en 88 horas
La compañía utilizó 10.000 agentes de IA para resolver una parte de las ecuaciones de Navier-Stokes, generando dudas sobre la autoría y el proceso.
BBC Technology
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
IA
Claude y la hipótesis de Riemann: el hallazgo inesperado
Anthropic intentó resolver un problema milenario con IA. Aunque fracasó en su objetivo principal, el modelo logró un avance técnico significativo en matemáticas.
Xataka
IA
IA en matemáticas: ¿el fin de la comprensión humana?
La comunidad matemática debate ante la posibilidad de que los sistemas de IA logren demostraciones que ningún ser humano sea capaz de entender o explicar.
Xataka
IA
OpenAI Astra: el modelo que desafía las matemáticas puras
Tras el hito de Deep Blue en ajedrez, OpenAI presenta Astra, un modelo capaz de resolver problemas matemáticos complejos con un coste operativo de 2.000 dólares.
Xataka
IA
IA resuelve problemas matemáticos imposibles: ¿el fin de la era humana?
Modelos de lenguaje están descifrando conjeturas históricas, generando un intenso debate en la comunidad científica sobre el futuro de la investigación pura.
The Decoder
IA
GPT-5.6 Sol Ultra resuelve una conjetura de 50 años
El modelo de OpenAI generó una prueba de la conjetura del doble recubrimiento por ciclos en menos de una hora con 64 subagentes. Un matemático la valida, pero critica la falta de citas.
The Decoder
IA
Claude Mythos resuelve el problema Erdős que OpenAI había anunciado
El ingeniero Sholto Douglas describió la solución como una "prueba simple y elegante" y la atribuyó a un sistema de instancias Claude Code coordinadas.
The Decoder
IA
OpenAI refuta una conjetura de Erdős sin resolver desde 1946
El modelo de razonamiento entregó una construcción geométrica nueva que supera a las soluciones tipo grilla cuadrada, y matemáticos prominentes respaldan el resultado antes del anuncio.
TechCrunch AI
IA
OpenAI dice que GPT-next refutó un problema de Erdős por menos de USD 1
Un modelo de propósito general, sin asistente formal tipo Lean, descartó una conjetura de geometría discreta abierta desde 1946 con un cómputo estimado en 32 horas.
Latent Space
Etiquetas relacionadas
Otros temas que aparecen junto a #matematicas en nuestra cobertura editorial.