从想到问题到让 AI 证明，只需要 3 天：霍普夫猜想（Hopf Problem）

霍普夫猜想（ Hopf Problem ）：
在所有偶数维球面 S^{2n} 中，拓扑上能够赋予“近复结构（ Almost Complex Structure ）”的只有二维球面 S^2 和六维球面 S^6 。

论文证明了 S^6 上的结论是：YES!
论文地址： https://alpo.ge/s6.pdf

这种问题通常人类是要想破头的（物理上的头痛欲裂），结果现在只要想到问题，让 AI 去解决问题，3 天就搞定了百年难题。

忽然有种感觉我上我也行的错觉了🐶 当前，还有哪些这类题目可用捡漏来着嘛？