JUEVES 8 DE OCTUBRE DE 2026 · ROSARIO, SANTA FE
Radar activo Agenda Newsletter Opinión
Lito, mascota de MonoLitoMonolito
Sumate
Último momento
CIENCIAOpenAI matemáticas: publicó 372 familias de resultados hechos con IA y los especialistas piden pruebas CIENCIANobel de Química 2026 para Henri Kagan y Kenso Soai, que resolvieron el misterio de la química del espejo NEGImpulso 360, el encuentro de tecnología y negocios, llega a la Tecnoteca CIENCIANobel de Física 2026 para Francis Halzen, explicado por científicos del CONICET que trabajaron con él GAMINGKiosco Simulator, el juego argentino del turno noche en un kiosco del conurbano, ya tiene página en Steam GAMINGGame Pass pierde nueve juegos el 15 de octubre, entre ellos Clair Obscur: Expedition 33 AUDIOVISUALEl Planetario de Rosario se convierte en estudio de arte inmersivo: llega Micelia 360° y abre una formación gratuita IAMarca de agua invisible: OpenAI marcará los textos de ChatGPT y Codex en la Unión Europea CIENCIAOpenAI matemáticas: publicó 372 familias de resultados hechos con IA y los especialistas piden pruebas CIENCIANobel de Química 2026 para Henri Kagan y Kenso Soai, que resolvieron el misterio de la química del espejo NEGImpulso 360, el encuentro de tecnología y negocios, llega a la Tecnoteca CIENCIANobel de Física 2026 para Francis Halzen, explicado por científicos del CONICET que trabajaron con él GAMINGKiosco Simulator, el juego argentino del turno noche en un kiosco del conurbano, ya tiene página en Steam GAMINGGame Pass pierde nueve juegos el 15 de octubre, entre ellos Clair Obscur: Expedition 33 AUDIOVISUALEl Planetario de Rosario se convierte en estudio de arte inmersivo: llega Micelia 360° y abre una formación gratuita IAMarca de agua invisible: OpenAI marcará los textos de ChatGPT y Codex en la Unión Europea
Sección

GitHub

CienciaCIENCIA
Ciencia

OpenAI matemáticas: publicó 372 familias de resultados hechos con IA y los especialistas piden pruebas

En OpenAI matemáticas hay un hito y una polémica: la empresa subió a GitHub más de 700 manuscritos, agrupados en 372 familias de resultados generados por un modelo interno que no es público. Solo una parte está verificada con Lean, un lenguaje que revisa cada paso lógico, y varios matemáticos reclaman transparencia.

2 horas atrás

Todas las notas