The End of Mathematical Proofs by Humans? 549
vivin writes "I recall how I did a bunch of Mathematical Proofs when I was in high school. In fact, proofs were an important part of Math according to the CBSE curriculum in Indian Schools. We were taught how to analyze complex problems and then break them down into simple (atomic) steps. It is similar to the derivation of a Physics formula. Proofs form a significant part of what Mathematicians do. However, according to this article from the Economist, it seems that the use of computers to generate proofs is causing mathematicians to 're-examine the foundations of their discipline.' However, critics of computer-aided proofs say that the proofs are hard to verify due to the large number of steps and hence, may be inherently flawed. Defenders of the same point out that there are non computer-aided proofs that are also rather large and unverifiable, like the Classification of Simple Finite Groups. Computer-aided proofs have been instrumental in solving some vexing problems like the Four Color Theorem."
Does it really work? (Score:1, Funny)
Re:Creativity (Score:4, Funny)
Re:If computers could write proofs... (Score:4, Funny)
Re:The best math is always elegant. (Score:3, Funny)
Re:Godel/Turing/Cohen... (Score:2, Funny)
Re:Consider the source (Score:5, Funny)
What does Slashdot know? It's a left-wing rag.
"peer" review (Score:5, Funny)
Why not have it verrified by other computers?
Re:Science by AI is flawed too (Score:2, Funny)
Re:Critics Reaction... (Score:2, Funny)
Motivation (Score:2, Funny)
Can it prove the Riemann Hypothesis? (Score:2, Funny)
Re:I must be confused....the 4 color theorem.... (Score:1, Funny)
so if I have 30 countries all touching and one has borders with 7 of them, very simple to color it with only 4 colors, hell my 4 year old can figure that out.
lay off the hemp and booze.
Well, a lot of us are happy of this... (Score:2, Funny)
Re:Science by AI (Score:5, Funny)
Yeah, right. The great AI machine will be delivered in the same week as my flying car. Taking orders now, please form an orderly queue.
According to rumors it will be bundled with Duke Nukem Forever.
Re:Science by AI (Score:3, Funny)
On the flip side, according to my calculations, I lost e3 neurons, e1 synapses, and e0.5 operations per second to beer last weekend alone. That almost never happens to a computer.
Re:Science by AI (Score:3, Funny)
Re:Science by AI (Score:2, Funny)
hey, don't ruin my hopes and dreams.
AI is total bunk! (Score:1, Funny)
Yes, you're right. No one will ever build a chess-playing computer, computer controlled "braking systems", "automatic warehouses", and certainly, we'll just never accomplish the so called "computer controlled piloting system! "Autopilots", indeed!. They'll just never happen! AI will never work! Pie in the sky, the whole lot of it!
--
AC