2026-10-07 23:48 UTC
*sigh* rather than seriously considering the MathAndAI dot org declaration from 28 Fields Medal winners (including Terry Tao), OpenAI just plowed ahead full-steam and released another 372 major results in mathematics around unsolved problems (although the proofs are reportedly nearly impossible to independently understand—but verification via Lean appears to be included for many—and read like the author was stoned).
I will tap the sign, once again, even though none of the AI companies are paying any attention. #maths #mathematics
https://scottaaronson.blog/?p=10169
Replies (2)
-
@darkuncle@infosec.exchange 2026-10-08 00:16
this from Quanta on the topic is a good read: https://www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/ #maths #mathematics
-
@darkuncle@infosec.exchange 2026-10-07 23:52
if part of the value of research and experimentation is to further human knowledge and wisdom, and our understanding of the universe, the AI-powered approach to solving open problems reminds me of my kids memorizing answers to their high school science tests: you may know the answer, but if you don’t know *why* it’s the answer, having that knowledge is of no value because you can’t build on it later. #maths #mathematics