scripod.com
E9 和DeepSeek-Prover作者辛华剑聊「形式化数学」：数学的工业化，Agentic AI，Benchmark

Overview

Shownote

Highlights

Transcript

Chapters

Pins

E9 和 DeepSeek-Prover 作者辛华剑聊「形式化数学」：数学的工业化，Agentic AI，Benchmark

海外独角兽

2025/06/12
海外独角兽

海外独角兽

2025/06/12
OverviewShownote
Highlights
Transcript
Chapters
Pins
Unprocessed episode, you can be the first!