精选75Przemek Chojecki | PC论文研究
AI 证明 Sendov 猜想，陶哲轩撰写解读
Very nice piece of mathematics:
Very nice piece of mathematics:
非常精彩的数学成果：
- AI run by Lech Mazur found a proof and a formalization of Sendov's Conjecture
- Terence Tao, who had previously worked on the problem, wrote a blogpost with a proof digestion.
- 由Lech Mazur运行的AI找到了Sendov猜想的证明及其形式化。
- 此前研究过该问题的陶哲轩撰写了一篇博客文章，对证明进行了消化解读。
AI+human math collaboration at its best.
人工智能与人类数学合作的最佳体现。
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力