Yc

AlphaProof Nexus de Google DeepMind resolvió docenas de problemas matemáticos abiertos, incluidos nueve problemas de Erdős, dos de los cuales no se habían resuelto durante 56 años, según un estudio en Science. La publicación llega mientras OpenAI enfrenta un boicot por publicar pruebas de IA en GitHub sin revisión por pares.

Investigación • The Decoder

Productividad

Si te encuentras copiando y pegando entre herramientas de IA, usa un administrador de portapapeles o una herramienta como Raycast para agilizar el flujo de trabajo.

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