*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
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
@darkuncle
Well said! Very well said indeed!
