つづき

https://theconversation.com/hello-there-the-jacobian-conjecture-is-false-thanx-why-a-tiny-social-media-post-has-mathematicians-rethinking-ai-283883

歴史的なAI共同研究と業績（2026年）
1. ヤコビアン予想（Jacobian Conjecture）の反例発見（2026年7月）
　略す
2. 6次元球面（S⁶）の複素構造問題の解決（2026年8月）
　略す
https://x.com/MTSlive/status/2091960184491143205

https://mathoverflow.net/questions/1973/is-there-a-complex-structure-on-the-6-sphere
Is there a complex structure on the 6-sphere?
Asked 16 years, 10 months ago
Modified yesterday
Answers
62
Levent Alpöge (math PhD, now at Anthropic) claimed a positive solution on X
https://xcancel.com/__alpoge__/status/2091639597193368014
on August 23, 2026, crediting Claude. He attached images of two pages with "enough to replicate i think", commenting:

On August 27th, 2026, Boris Alexeev (math PhD, now at OpenAI) posted a Lean formalization of the proof to GitHub.
https://github.com/plby/HopfProblem
(引用終り)
以上