When Computers Write Proofs, What's the Point of Mathematicians?
378,511
Published 2023-08-31
Read the full article at Quanta Magazine:
www.quantamagazine.org/why-mathematical-proof-is-a…
How Close Are Computers to Automating Mathematical Reasoning?
www.quantamagazine.org/can-computers-be-mathematic…
- VISIT our Website: www.quantamagazine.org/
- LIKE us on Facebook: www.facebook.com/QuantaNews
- FOLLOW us Twitter: twitter.com/QuantaMagazine
Quanta Magazine is an editorially independent publication supported by the Simons Foundation: www.simonsfoundation.org/
#math #proof #computerscience
All Comments (21)
-
To learn more, read the article on the Quanta Magazine website: www.quantamagazine.org/why-mathematical-proof-is-a…
-
The shade he casually throws at physicists 😂
-
I am learning math by myself at the moment and I have to say... as someone who hated math in school, now I see the beauty of it because I started learning it in a proof based way. I also learned programming and I feel like the logic of programming and programming languages has helped me gain a new look on math and I'm here for it
-
"So who are we going to become ? We're going to become more like physicists, probably and say any old nonsense, and just hope the computer verifies it." Savage hahaha
-
I find it funny that the worst case scenario for a mathematician seems to be to become more like a physicist. The worst case scenario for a physicist usually is becoming an engineer. As a physicist getting more seasoned, I find it sometimes actually refreshing to do something that might be useful during my lifetime. Indeed I am getting old it seems.
-
Imagine that in 10 years from now, AI is so advanced that some AI company comes along and says their new product was able to generate tens of thousands of new mathematical theorems and it keeps generating new ones exponentially based on ones it already proved. What do the mathematicians do then? Just understand and parse through these theorems, and write explanatory textbooks about hundreds of potentially new mathematical fields that just emerged? Life looks really dull when it's just catching up to AI.
-
The proofs behind mathematical theorems can often carry more weight than the theorems themselves, revealing additional insights that remain a challenge to fully capture. Consequently, the future may see an intricate interdependence between humans and computers, each relying on the other's strengths to advance our collective knowledge.
-
Eventually, when AI surpass us, some problems it will solve might even be too hard for us to understand.
-
I was struck by Andrew’s choice of words and manner of speaking. It shows how well his thoughts converge together and are translated into something remarkable. I have no doubt that years of mathematical experience forces one to transcend into a flow state of ideas.
-
Super interesting discussion. I could listen to hours of this. Thank you!
-
Well for us to even understand these proofs we would still need a great deal of familiarity with advanced mathematics and the underlying axioms. Computers could really just help us push the boundaries of mathematical discovery much further by laying down new foundations for understanding deeper theorems yet unsolved or even discovered. I think they could become a real good companion for the mathematician. Its an exciting time to be alive!
-
I think. That, we humanity, should always be able (trained) to rebuild everything from scratch. Universities should become the Guardians of this skill.
-
I dabbled with COQ. There appeared to be 3 proof methods. 1) rewrites, 2) propositional reasoning, 3) deconstruction of inductive structures, create by induction, then prove by recursion. It seemed in a simple way that a proposition is a long list of symbols, and the proof is a means to strip away the symbols step by step. Also, the approach was very automated so proof would occur without knowing the individual steps sometimes.
-
5:40 That physicist dig was very funny ... And also very true.
-
Gratz on 800k Team Quanta! ^.^
-
i believe this is a predicament which will encompass many professions as AI technology progresses
-
It's always "i'm scared for us, what about me..." we rarely think bigger than ourselves
-
Looking back in history, for example at a big innovation like the computer, I feel confident in saying that although AI will play a bigger and bigger part, it will never be more than a tool. A future mathmatician will be able to expertly navigate this tool to find what he's looking for. Mathmaticians won't disappear, they'll evolve.
-
Oh please. We are barely scratching the surface of mathematics. There are a trillion things we still don't know mathematically
-
I work in differential algebra. I am trying to prove that all polynomial (algebraic) ODEs can be solved, at least parametrically, via a finite sequence of linear ODEs by introducing new intermediate differential variables. I would love if computer software and hardware technology were at a point where it could help me prove what I want, but currently it's not.
