01:37
2026-08-11
lesswrong.com
artificial-intelligence
Creative math research by AI as the latest sign of the end
In a blog post, a user described a brainstorming session with OpenAI's ChatGPT 5.6 Sol High that produced a novel generalization of the Birch and Swinnerton-Dyer conjecture, one of the Millennium Probβ¦