GPT-5.4 Pro

Headlines · 1

1. 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 GPT-5.4 Pro experienceAsk about GPT-5.4 Pro