Un ataque ruso causa al menos 24 muertos en Ucrania el día del cumpleaños de Putin Ataques hutíes a aeropuertos saudíes y de Adén matan a tres extranjeros en Arabia Saudí Los ataques a petroleros en Ormuz marcan un máximo semanal mientras EE. UU. e Irán se disputan el control del estrecho Se reanuda la venta global de bonos: el rendimiento a 30 años de EE. UU. marca su máximo desde 2002 El FMI advierte de que los precios de la energía seguirán altos mientras la AIE acelera la liberación de reservas de petróleo Reportan tropas eritreas en el norte de Etiopía mientras se rompen las relaciones Arde un petrolero frente a Sochi y Bulgaria pone fin a la búsqueda de la tripulación de un buque hundido Kenia rastrea contactos tras la primera muerte por ébola, que revela fallos en el control EE UU y la OMS presionan a Rusia por detalles tras una sospechosa muerte por peste El desplazamiento en Yemen supera las 200.000 personas y la ONU alerta del hambre Las inundaciones en Tailandia dejan al menos 52 muertos y se anuncian nuevas tormentas Los bonos franceses vuelven a subir en rentabilidad y el jefe del banco central descarta ayuda del BCE Francia suspende las granadas aturdidoras en las protestas estudiantiles mientras el malestar se extiende a Bélgica Arrancan las conversaciones comerciales UE-China tras rechazar Pekín límites voluntarios a los híbridos Turquía envía apoyo defensivo a Arabia Saudí mientras Siria niega unirse a la lucha contra los hutíes El riesgo crediticio de SpaceX marca un récord tras el informe sobre una financiación de 40.000 millones para chips El ex jefe del BND Hanning, en prisión mientras los aliados revisan la información compartida Christa Pike despierta y habla tras sobrevivir a dos inyecciones letales en Tennessee Israel conmemora los tres años del ataque de Hamás mientras los bombardeos golpean Gaza Matemáticos cuestionan la verificación tras la publicación por OpenAI de cientos de resultados declarados El banco central de la India sube los tipos por primera vez desde 2023 Los embajadores de la UE acuerdan la mayor ampliación de la lista de sanciones a Rusia Shiroka-Pula asume la presidencia de Kosovo y la UE se alarma por la ley del tribunal Irak devalúa el dinar mientras la perturbación en Ormuz golpea las exportaciones de petróleo Hungría levanta el veto y la UE abre dos grupos de negociación con Ucrania y Moldavia Fuerzas israelíes asaltan localidades de Cisjordania y destrozan memoriales mientras colonos atacan una vivienda Lituania desplegará el ejército en la frontera con Kaliningrado y Dinamarca acusa a Rusia de sabotaje Toque de queda para las fuerzas de EE. UU. en Okinawa tras la detención de un marine por el asesinato de una mujer Flávio Bolsonaro promete una reforma constitucional antes de la segunda vuelta en Brasil y demócratas de EE. UU. cuestionan la revocación de un visado Shell prevé márgenes de refino récord mientras la guerra de Irán transforma los mercados de combustibles Un diputado de AfD elegido presidente del parlamento de Sajonia-Anhalt sacude la coalición de Merz China abre una base de formación de pilotos en Laos Se amplían las investigaciones tras el intento de secuestro de un vuelo de flydubai Muere Maricarmen, símbolo de los desahucios, mientras los sindicatos españoles convocan huelga general Paramount Skydance completa la adquisición de Warner Bros. Discovery Alemania bloquea la compra por Cosco de una empresa logística del puerto de Hamburgo Hackers usaron una herramienta de IA china contra bancos surcoreanos y un sospechoso de Qilin queda detenido en Alemania La Unión Africana lanza la primera agencia de calificación crediticia del continente El consulado británico en Jerusalén Este se prepara para cerrar Porsche prevé recortar el 25 % de su plantilla y apuesta por coches más caros Newsom condena la frase de Trump de que Irán podría «aniquilar» Los Ángeles Finlandia ordena a Google detener las obras en sus emplazamientos de centros de datos El líder birmano Min Aung Hlaing visita Malasia entre dudas sobre el regreso de los rohinyás El alcalde de Esmirna se une al partido de Erdoğan Equipos chinos y europeos presentan los primeros relojes nucleares operativos El humo de los incendios de Indonesia deja a Singapur con el aire más contaminado del mundo Omán evacúa a la tripulación herida de un petrolero atacado en Ormuz ChatGPT for Teens, calificado de «riesgo inaceptable» para los menores El Comité Militar de la OTAN visita Kiev El Parlamento del este de Libia destituye a su presidente Saleh tras 12 años Japón retirará cientos de valores del Topix en una reforma sin precedentes Un ataque ruso causa al menos 24 muertos en Ucrania el día del cumpleaños de Putin Ataques hutíes a aeropuertos saudíes y de Adén matan a tres extranjeros en Arabia Saudí Los ataques a petroleros en Ormuz marcan un máximo semanal mientras EE. UU. e Irán se disputan el control del estrecho Se reanuda la venta global de bonos: el rendimiento a 30 años de EE. UU. marca su máximo desde 2002 El FMI advierte de que los precios de la energía seguirán altos mientras la AIE acelera la liberación de reservas de petróleo Reportan tropas eritreas en el norte de Etiopía mientras se rompen las relaciones Arde un petrolero frente a Sochi y Bulgaria pone fin a la búsqueda de la tripulación de un buque hundido Kenia rastrea contactos tras la primera muerte por ébola, que revela fallos en el control EE UU y la OMS presionan a Rusia por detalles tras una sospechosa muerte por peste El desplazamiento en Yemen supera las 200.000 personas y la ONU alerta del hambre Las inundaciones en Tailandia dejan al menos 52 muertos y se anuncian nuevas tormentas Los bonos franceses vuelven a subir en rentabilidad y el jefe del banco central descarta ayuda del BCE Francia suspende las granadas aturdidoras en las protestas estudiantiles mientras el malestar se extiende a Bélgica Arrancan las conversaciones comerciales UE-China tras rechazar Pekín límites voluntarios a los híbridos Turquía envía apoyo defensivo a Arabia Saudí mientras Siria niega unirse a la lucha contra los hutíes El riesgo crediticio de SpaceX marca un récord tras el informe sobre una financiación de 40.000 millones para chips El ex jefe del BND Hanning, en prisión mientras los aliados revisan la información compartida Christa Pike despierta y habla tras sobrevivir a dos inyecciones letales en Tennessee Israel conmemora los tres años del ataque de Hamás mientras los bombardeos golpean Gaza Matemáticos cuestionan la verificación tras la publicación por OpenAI de cientos de resultados declarados El banco central de la India sube los tipos por primera vez desde 2023 Los embajadores de la UE acuerdan la mayor ampliación de la lista de sanciones a Rusia Shiroka-Pula asume la presidencia de Kosovo y la UE se alarma por la ley del tribunal Irak devalúa el dinar mientras la perturbación en Ormuz golpea las exportaciones de petróleo Hungría levanta el veto y la UE abre dos grupos de negociación con Ucrania y Moldavia Fuerzas israelíes asaltan localidades de Cisjordania y destrozan memoriales mientras colonos atacan una vivienda Lituania desplegará el ejército en la frontera con Kaliningrado y Dinamarca acusa a Rusia de sabotaje Toque de queda para las fuerzas de EE. UU. en Okinawa tras la detención de un marine por el asesinato de una mujer Flávio Bolsonaro promete una reforma constitucional antes de la segunda vuelta en Brasil y demócratas de EE. UU. cuestionan la revocación de un visado Shell prevé márgenes de refino récord mientras la guerra de Irán transforma los mercados de combustibles Un diputado de AfD elegido presidente del parlamento de Sajonia-Anhalt sacude la coalición de Merz China abre una base de formación de pilotos en Laos Se amplían las investigaciones tras el intento de secuestro de un vuelo de flydubai Muere Maricarmen, símbolo de los desahucios, mientras los sindicatos españoles convocan huelga general Paramount Skydance completa la adquisición de Warner Bros. Discovery Alemania bloquea la compra por Cosco de una empresa logística del puerto de Hamburgo Hackers usaron una herramienta de IA china contra bancos surcoreanos y un sospechoso de Qilin queda detenido en Alemania La Unión Africana lanza la primera agencia de calificación crediticia del continente El consulado británico en Jerusalén Este se prepara para cerrar Porsche prevé recortar el 25 % de su plantilla y apuesta por coches más caros Newsom condena la frase de Trump de que Irán podría «aniquilar» Los Ángeles Finlandia ordena a Google detener las obras en sus emplazamientos de centros de datos El líder birmano Min Aung Hlaing visita Malasia entre dudas sobre el regreso de los rohinyás El alcalde de Esmirna se une al partido de Erdoğan Equipos chinos y europeos presentan los primeros relojes nucleares operativos El humo de los incendios de Indonesia deja a Singapur con el aire más contaminado del mundo Omán evacúa a la tripulación herida de un petrolero atacado en Ormuz ChatGPT for Teens, calificado de «riesgo inaceptable» para los menores El Comité Militar de la OTAN visita Kiev El Parlamento del este de Libia destituye a su presidente Saleh tras 12 años Japón retirará cientos de valores del Topix en una reforma sin precedentes

Imagen simbólica: Matemáticos cuestionan la verificación tras la publicación por OpenAI de cientos de resultados declarados

Imagen simbólica

Matemáticos cuestionan la verificación tras la publicación por OpenAI de cientos de resultados declarados

3 fuentes

OpenAI publicó el martes una gran colección de resultados matemáticos generados por IA. Los matemáticos están impresionados, pero dudan de cómo se comprobaron.

OpenAI subió los resultados a GitHub con una entrada de blog el martes 6 de octubre. FAZ cuenta más de 700 contribuciones con soluciones, demostraciones o fragmentos de demostraciones, mientras que The Guardian informa de más de 370 resultados, desde la teoría de números y la geometría algebraica hasta la lógica matemática. Según el Wall Street Journal, citado por FAZ, incluyen avances en tres de los cinco problemas del milenio pendientes; Alex Kontorovich, de la Universidad Rutgers, dijo que a un humano que lo lograra se le aseguraría la medalla Fields. OpenAI afirma que planteó unos 4000 problemas al modelo y que ha descrito su método y la potencia de cálculo necesaria.

Dudas sobre la verificación y el acceso

OpenAI dice que consultó a expertos del Advisory Group on Mathematics and Artificial Intelligence del Institute for Advanced Study. El propio instituto afirmó que no respalda probar los problemas más difíciles con modelos propietarios y advirtió de un sistema de dos niveles y de argumentos de IA que ningún humano puede verificar. OpenAI prometió dar voz a los matemáticos, pero no dijo que fuera a dejar de hacerlo. El matemático de NYU Tristan Buckmaster dijo al New York Times que las consultas pueden haber aportado al modelo información que le ayudó a llegar a los resultados.

Ir a la edición