Cédric Villani

Headlines · 1

1. 1d
   Terence Tao Warns of “Proof Indigestion” as AI Mathematics Accelerates

   A report says Fields Medalist Terence Tao has urged AI companies to slow down their pursuit of mathematical breakthroughs, arguing that machine-checked proofs are advancing faster than human interpretation, peer review and textbook integration. It also reports that OpenAI has formed an independent Mathematics and AI Advisory Group at the Institute for Advanced Study, while stating that the group will not advise on OpenAI’s internal mathematical progress.

   量子位（原生 RSS） · 🔥 4

Experience and discussion from the community

Share my Cédric Villani experienceAsk about Cédric Villani