When will an AI discover an important new result in Mathematics for the first time?
-
eg which of these is not important and new:https://en.wikipedia.org/wiki/Computer-assisted_proof#List_of_theorems_proved_with_the_help_of_computer_programs …
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 ;)
- 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.