Paper co-authored by Yau claims positive curvature for all seven-dimensional exotic spheresMachine translation
Automatically verified and published · Generated and evidence-checked automatically; not reviewed by a human.
A paper co-authored by Yau claims that all 28 smooth versions of the seven-dimensional sphere admit metrics with strictly positive sectional curvature, addressing a problem he listed in 1982. The paper includes SageMath verification code and credits GPT 6 Astra and Claude Pro with helping explore some proof strategies and calculations; the result awaits scrutiny by the mathematics community.
Why it matters
若结论获得认可，这项研究将回答持续数十年的七维怪球曲率问题；论文同时具体披露了AI参与证明探索和计算的范围。
This source permits summary display only.
Read at the original source