Timeline for What advantage humans have over computers in mathematics?
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2017 at 11:30 | comment | added | yters | Is it reasonable to always infer from "N years ago everyone believed X is impossible, now X is possible" to "today everyone believes X is impossible, so we might expect in N years X will be possible" ? | |
| Aug 3, 2017 at 17:18 | comment | added | user21349 | Geometry was motivated by surveying, probability by gambling, calculus by mechanics. Even if much of mathematics is abstract rather than applied, I doubt that the interesting problems would have been identified if people hadn't had applications in mind. Understanding applications requires understanding the world, and AI is phenomenally bad at that. AIs for problems like chess and translation have recently been remarkably successful precisely because methods were found that avoided having to have any understanding. Completely different from the human mind. | |
| Mar 17, 2016 at 18:23 | comment | added | Robert Israel | For some examples, see math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/tf1.html | |
| Mar 16, 2016 at 11:14 | comment | added | Konstantinos Gaitanas | I ask a question "can $x^3=y^3+z^3$ be possible for integers?"With no conjecture.Anyway for now I have never heard of a conjecture that came from a computer-whatever this could mean.So for now, the answer seems to have some value I think | |
| Mar 16, 2016 at 10:39 | comment | added | Brendan McKay | I don't see the difference. We ask a question, then we conjecture an answer, then we look for a proof or disproof. No reason a computer can't do all of that. | |
| Mar 16, 2016 at 10:25 | comment | added | Konstantinos Gaitanas | @BrendanMcKay I mentioned at the beggining "we ask questions" not "make conjectures" | |
| Mar 13, 2016 at 11:33 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Mar 13, 2016 at 11:32 | comment | added | joro | Is it provable that computers can't ask math questions? Strongly doubt it. | |
| Mar 13, 2016 at 11:04 | comment | added | Brendan McKay | There are already computer programs that conjecture generalisations to observed facts. They aren't very good yet, but 100 years ago few people could imagine a computer at all. | |
| Mar 13, 2016 at 10:22 | comment | added | Wojowu | I like the last example. A key point in figuring out how to show that general quintics are unsolvable as opposed to quartics was to ask "what makes degrees 4 (or smaller) and 5 (or larger) fundamentally different?" and now we know that the answer is solvability of symmetric groups of corresponding size. I don't see how a computer would by itself figure out a correct question and a correct answer. | |
| Mar 13, 2016 at 10:09 | history | answered | Konstantinos Gaitanas | CC BY-SA 3.0 |