AI 推翻 87 年未解数学猜想，人类未发现反例
AI has now disproved an 87-year-old conjecture by finding a counterexample human…
数学界和 AI 从业者必看：AI 首次独立推翻经典猜想，证明过程经 Lean 验证，标志着 AI 在数学推理上的里程碑。建议关注 Anthropic 后续在形式化数学上的布局。
AI has now disproved an 87-year-old conjecture by finding a counterexample humans never spotted.
The conjecture asks a question about polynomial maps between sets of variables. Given the outputs, can you always recover the single input behind them? A German mathematician posed it in 1939, and it remained unresolved since.
Levent Alpöge, working at Anthropic, showed the answer is no. The proof was already verified in Lean, the checking language for Math.
The human edge is slowly disappearing in Math.
---
fortune .com/2026/07/21/ai-solves-jacobian-conjecture-levant-alpoge-claude-fable-5/
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力