DeepSeek for Mathematics 探索數學
🚀AI subverts the field of mathematics! Objectively evaluate the 671 billion parameter open source model DeepSeek-Prover-V2-671B! Specializing in formal theorem proof, completely changing the way researchers explore mathematical truths
🚀AI顛覆數學領域！客觀評量6710億參數開源大模型DeepSeek-Prover-V2-671B！專攻形式化定理證明，徹底改變研究者探索數學真理的方式
🔥🔥🔥YouTube時間戳：
00:00:00 - DeepSeek發布數學證明大模型DeepSeek-Prover-V2-671B
00:00:20 - 模型特性與適用領域
00:00:35 - 開始測驗模型數學能力
00:01:08 - 第一題：青蛙爬井問題
00:01:45 - 第二題：彈珠顏色比例計算
00:02:26 - 第三題：2*3網格染色法數量
00:03:01 - 第四題：整數乘積與差值問題
00:03:32 - 第五題：階乘與2024的關係
00:03:59 - 第六題：巧克力工廠打包時間
00:04:44 - 第七題：畫框面積比例
00:05:11 - 第八題：代幣賽局問題
00:05:59 - 之後的題目：高級數論與代數題
00:09:23 - 總結：模型在15題測驗題中答對12題
00:09:55 - 影片結束
You May Like:
No comments:
Post a Comment