alt Hacker NewsNow that we've seen AI produce a fair number of proofs (and disproofs), I'm curious when we'll start seeing it build genuinely novel theory. Does anyone have predictions on when and how we'll get there and will it take new architectures/ training paradigms, or is the current approach enough?
Replies
Davidzheng • last Saturday at 11:55 AM
There's no clean line between a collection of theorems and a theory.
➕ show 1 reply
slashdave • last Saturday at 4:37 PM
It will not happen with existing LLM techniques.
I’m personally hoping for the next big AI gangbanger to be theoretical physics. Boy does that field need a good reshuffle. I think when any novel mathematical theory can be done by AI you’ll see simultaneously theoretical physics getting wrecked as hard as pure math is. At that point we might see new physics or paradigm shifting technology emerging.