When will an AI discover an important new result in Mathematics for the first time?
-
has already happened. (computer assisted proofs.)
"important new result". It hasn't yet happen, and we aren't anywhere close.
-
-
I'm not going to get into the business of telling a mathematician which of their results are "important" :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How much human assistance allowed? Fully autonomous discovery probly AGI-hard
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
four-color thm seems pretty important. can you distinguish between checking cases vs "intelligent" proof?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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 …
-
Humans much in the loop on those results. Maybe "computational theory discovery" (a computer Grothendieck) right metric
End of conversation
New conversation -
-
-
why does the four color theorem not count?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.