Grant Sanderson

Headlines · 2

1. 5h
   3Blue1Brown: Now Is the Best Time to Study Math, Even as AI Masters Proofs

   3Blue1Brown founder Grant Sanderson argues in a new video that now is one of the best times to enter mathematics. He says AI's current math ability may be overestimated while its rate of progress has never been overestimated, and that even if AI fully surpasses humans at proving theorems, math's own value and its funding sources would be barely affected; what would change is academic culture and how credit is allocated. He expects research to tilt toward theory building, with proofs demoted to "raw data" like numerical computation, while teaching remains a core source of value because the real bottleneck is whether people want to learn.

   36氪 人工智能 · 🔥 9
2. Oct 11
   Terence Tao's blog sparks debate: is math about proofs or human understanding?

   A guest essay on Terence Tao's blog by 3Blue1Brown creator Grant Sanderson, titled "If math is more than proofs, we need better celebration of the rest of it," has triggered a fierce debate among mathematicians and the AI community. Sanderson argues that if AI can generate proofs without any "understanding," proof loses value as a metric, and he proposes "motivated exposition," open exposition problems, reformed PhD defenses and tenure criteria that reward clear explanation. The article also contrasts Tao's widely circulated video warning that AI must be slowed down with his recent push for the open-source math model project SAIR, and cites a researcher's claim that GPT-5.4 Pro solved Erdős problem 1196, which human mathematicians including Tao then turned into a readable paper.

   36氪 人工智能 · 🔥 0

Experience and discussion from the community

Share my Grant Sanderson experienceAsk about Grant Sanderson