Hacker News Front Page · 6bitquant ·
The Mathocalypse
Scott Aaronson sostiene que la publicación de cientos de supuestas demostraciones de problemas matemáticos abiertos por parte de OpenAI marca un cambio histórico, aunque todavía no está claro si todas son correctas ni si los especialistas podrán entenderlas. Destaca resultados sobre la conjetura de juegos únicos, la desaleatorización, la complejidad cuántica y varios algoritmos, y contrasta la publicación inmediata de OpenAI con el proceso de revisión y comunicación de Anthropic. Argumenta que el reto no es solo verificar las pruebas, sino preservar una comunidad que valore la comprensión y el descubrimiento matemático en una época en que la IA puede acelerar ambos.
Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: “mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on …