@Lean / 博客 RSS 訂閱

Nov 29 2025

Transofomer周 - Deepseek math V2的價值

我之前説過講一下math V2的論文，今天來還個願 其實為什麼這論文沒人重視呢？主要是兩個原因： 1- 絕大多數人討厭數學 2- 之前出過一個prover2，大家也不知道幹啥的也和數學有關，然後又來一個 討厭數學就不説了（甚至有人討厭香菜），主要説第二個，prove2為什麼讓人不知道是幹啥的？ 它其實是lean 生成器，

data , 生成器 , 人工智能 , 深度學習 , Lean

收藏 評論