signal量子位2026-10-03
Shing-Tung Yau's New Paper Thanks GPT and Claude
Shing-Tung Yau co-authored a paper thanking GPT 6 Astra and Claude Pro for help with proof strategies and calculations. The paper claims to prove that all 28 seven-dimensional spheres, including 27 exotic ones, admit metrics with strictly positive sectional curvature. Yau had personally listed this problem in 1982, and the proof includes SageMath verification code.
- for who
- Mathematicians and researchers exploring AI's role in mathematical proof and discovery
- what changes
- It may shift mathematicians' stance on AI from skepticism to practical use in research workflows
- to do
- Learn and use AI tools for literature search, finding papers, and summarization, as Yau now advises
key points
- Yau's paper thanks GPT 6 Astra and Claude Pro for proof exploration help
- All 28 seven-dimensional spheres admit strictly positive sectional curvature, solving a 1982 problem
- AI tools now used by top mathematicians, shifting from skepticism
#mathematical research#shing-tung yau#ai-assisted proof
score
score 5 out of 10. 0-10: how dense the facts are, multiplied by how much you can do with them after reading. 8+ means the topic's evidence bar is met: benchmarks and availability for a new model, amount and investors for a funding round, revenue figures for a solo-money story. Below 5 an item does not enter the digest. A press release scores 3 or less, a reprint loses 2, anything older than 14 days loses 1, a headline that misleads loses 3.
read the source