Timeline for What advantage humans have over computers in mathematics?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 28 at 17:07 | comment | added | Sidharth Ghoshal | Yea I was thinking similar to how OEIS can let us find wild connections by noticing the same integer sequence in two places, a good AI should be able to notice the same polynomial in two places, or the same group sequence , or the same "proof strategy", etc... essentially rapidly discovering every coincidence we "could have found ourselves but never bothered to look for" and that alone might create a lot of progress for math. It would be monstrous moonshine like events happening at a rate which scales quadratically with the number of papers uploaded to arxiv. | |
| Apr 2, 2016 at 8:16 | comment | added | joro | I think large database of formal proofs (say the size of arxiv.org) might find new results via series of implications among papers of which the authors weren't aware. Such database will find many contradictions too, due to errors in papers IMHO. graphclasses.org is probably one of the first steps in such formalization. | |
| Apr 2, 2016 at 8:09 | comment | added | Douglas Zare | By the way, it's not just a database of completed proofs that would help, but a collection of partially completed proofs, perhaps with an indication of whether they were successfully finished or not. | |
| Mar 16, 2016 at 18:28 | comment | added | Douglas Zare | I'm not sure. Some of the publicized progress on Turing tests comes from people having lower standards for conversation now. There was a program that fooled a large minority of judges by claiming to be a kid speaking a second language, and most of what it said was strange and incoherent and didn't address the questions asked. That doesn't represent our progress toward strong AI. | |
| Mar 16, 2016 at 7:04 | comment | added | joro | Is there similar progress in artificial intelligence? AFAICT computers are getting better on the Turing test, but this may be due to just heuristics. | |
| S Mar 15, 2016 at 21:47 | history | answered | Douglas Zare | CC BY-SA 3.0 | |
| S Mar 15, 2016 at 21:47 | history | made wiki | Post Made Community Wiki by Douglas Zare |