When will an AI discover an important new result in Mathematics for the first time?
-
theorem-proving != result discovery. Also these are done with a lot of (crucial) human help. Autonomous TP is crap right now.
Autonomous TP as in, feed in axioms, a theorem, and let the prover run. Only very basic results can be proven that way.
-
-
well, some were sufficiently unbasic that people couldn't prove them by themselves :) ... at least until Terry Tao came along ;)
-
unless there's falsifiable defn of "discv. imp. new result" I'm gonna stick with "been done" or "signpost will invariable move" :)
- Show replies
New conversation -
-
-
side question: does the computer need to come up with the theorem statement too?
-
that would be part of result discovery, yes.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.