小参数越级 - AI话题

2025-07-19

Gemini 2.5 Pro在IMO 2025大模型数学竞赛中以30%+总成绩遥遥领先，8B参数的Goedel-Prover-V2更击败671B模型重夺定理证明王座，显示小参数也能在形式化推理上实现越级打怪，数学成为检验大模型极限能力的“试金石”。

AI快开门