Happy, those able to know the causes of things

kept by solarsage sep 24

Terry Tao contends that LLM-produced mathematical results are a source of pride, representing the collective achievement of the mathematical community rather than a threat to it.

Mathematics is effectively dead - by doomslide - ......
AI labs' undisclosed distillation of user data destroys credit assignment in mathematics, making open meritocratic discourse impossible and effectively killing the field as a public tradition.
also on Levent Alpöge, OpenAI, #technology, #ai
How Terry Tao Became an Evangelist for AI in Math
Terry Tao champions combining human insight, AI, and the Lean proof assistant to enable massive, verified mathematical collaborations.
also on Terry Tao, OpenAI, #open-source, #ai
All grown-ups were once children, but only few of them remember it
Commenters reflect on losing childhood wonder in adulthood, lament AI’s tendency to replace playful exploration, and advocate preserving childlike curiosity.
also on Terry Tao, #ai
Pretraining data, not verifiability, is why LLMs are especially good at math (and coding) — LessWrong
LLMs' strength in math and coding comes from the abundance of relevant pretraining data they see, not from the ease of verifying answers.
also on LLMs, #machine-learning, #ai
A Severe Misalignment of AI in Mathematics
Twenty‑five Fields Medalists warn that AI companies’ focus on solving math problems undermines deep understanding and risks misaligning AI progress with the goals of mathematics.
also on LLMs, OpenAI, #ai