数学家Burt Totaro撰文讨论霍奇猜想的现状。该猜想由Hodge于1950年提出，关乎拓扑与代数几何的关系，至今未解。虽进展有限，但催生了Hodge结构变形、绝对Hodge圈等理论。2025年Markman证明了4维和5维阿贝尔簇的霍奇猜想，是重大突破。作者强调，数学思想的价值在于人际持续交流，AI单独生成的证明并不令人满意。