logoalt Hacker News

nopinsightyesterday at 1:37 AM0 repliesview on HN

I suspect an AI, possibly a successor to current LLMs, will achieve that by the early 2030s. It might help illuminate many mysteries in math and beyond for us all.