NEAR AI 解决数学题推动链上代码审计平民化

1. 17:50
   深潮 TechFlow

   NEAR AI 团队用 DeepSeek 解 600 道数学题，推动链上代码审计平民化

   NEAR AI 团队使用 DeepSeek V4 模型在 PutnamBench 上解决 672 道数学题，平均每题成本 0.17 美元，展示了形式化验证的低成本潜力，推动链上代码审计平民化。

当前热度 9·可比范围峰值 10（10月26日 18:00）·近 24 小时可比范围变化 –

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。