Has AI made any progress as a mathematical theory-builder,,,,?
By jjgreen · 2026-10-24 · 2 points · 2 comments
https://mathoverflow.net/questions/516336/has-ai-made-any-progress-as-a-mathematical-theory-builder-rather-than-just-a-pr
By jjgreen · 2 points · 2 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews