*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 verify 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