🧠 Traditional 🧑🏫 breakthroughs enriched the field; today, AI solves problems without contextualizing or communicating them, bypassing scholarly activities and undermining the long‑term health of mathematics. @tao proposes a “Math 2.0” vision to shift emphasis toward holistic contributions—exposition, community building, and new directions 👇 mathstodon.xyz/@tao/1173952693…
Similar posts
3 posts close in meaning, closest first
RE: mathstodon.xyz/@tao/1173952677… (a) AI didn't solve any problems. Models were used, by humans, to solve problems humans had clearly defined and prioritized. (b) This "success" is neither surprising nor shocking. LLMs are actually quite hard to get to work on mathematical problems. (c) Verifying and digesting the "results" requires time and effort. Until then, this is not real maths. (d) AI is (and as long as it is algorithm-based remains) 100% incapable of pushing mathematics in new directions.
"I come not to bury Caesar but to praise him!" -- Terence Tao lately (in effect), about AI's impact on his field, mathematics #AI #math
1. OpenAI released today (openai.com/index/sharing-ai-pr…) 372 results in 722 manuscripts; detailed as follows: github.com/openai/math/blob/ma… 2. Matthew Schwartz recently released a harness for augmenting and automating research; detailed as follows: bootloops.ai 3. I have read, in several contexts, projections for the impact of augmented and automated AI research on the theoretical sciences. While we have seen AI's success in Natural Language Processing (NLP), Software engineering (SwE) and advanced mathematics (at the level of the Millennium problems and as described by the OpenAI release today); I am very curious about how AI research will intersect with theoretical physics.
Show more of this post
Aspects of quantum mechanics (field theories, computing, and foundations) pose challenges that appear, to me, potentially unique to the domain of theoretical physics where the successes of formalization (through chains of reasoning or Lean verification) seen in NLP, SwE and advanced mathematics may not apply as directly or as immediately. I am certain that we are about to learn what happens when LLM's collide with theoretical physics
