Scott Aaronson says OpenAI AI proofs shift math | TLDR
Computer scientist Scott Aaronson discusses the implications of OpenAI releasing nearly 400 AI-discovered solutions to major open math and theoretical…
Ähnliche Seiten
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics