Mathematics
Archivo temático • 3 resultados
Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA
2026-10-07
Tecnología
Una prueba asistida por IA para el empaquetado óptimo de 11 cuadrados ha pasado la verificación formal con Lean. La ejecución de verificación de EvolvingPrograms completada aceptó los 7,920 módulos Lean locales, con una auditoría final que reportó cero admisiones.
Investigación de IA • Hacker News
Enlace permanente
2026-10-08
Tecnología
OpenAI ha retirado dos artículos matemáticos generados por IA después de que un error de signo invalidara un argumento clave, solo un día después de publicar más de 700 manuscritos a la vez. La Asociación de Matemáticas Humanas está pidiendo un boicot, y el medallista Fields Terence Tao ha advertido sobre la calidad de las demostraciones generadas por IA.
Investigación en IA • Hacker News
Enlace permanenteLa avalancha de demostraciones matemáticas generadas por IA de OpenAI se desvió de las pautas establecidas por un grupo de investigadores matemáticos consultados por el laboratorio fronterizo, según TechCrunch. El enfoque de la empresa hacia las soluciones matemáticas supuestamente aún no cumple con los estándares del campo.
Investigación en IA • TechCrunch AI
Enlace permanente