Open
Episode cover
YouTube01 May 2025
9m

🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！

Podcast cover

AI超元域

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.

Open in Podwise

Shownotes are not generated by Podwise.

🚀AI颠覆数学领域！客观测评6710亿参数开源大模型DeepSeek-Prover-V2-671B！专攻形式化定理证明，彻底改变研究者探索数学真理的方式！代数、几何、微积分样样精通！AI取代数学家教！