热点事件持续更新
NEAR AI 解决数学题推动链上代码审计平民化
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
NEAR AI 团队使用 DeepSeek V4 模型在 PutnamBench 上解决了 672 道数学题，平均每题成本 0.17 美元。这一成果展示了形式化验证的低成本潜力，并推动了链上代码审计的平民化。早先报道称 NEAR AI 团队使用 DeepSeek 解 600 道数学题。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月26日
- 深潮 TechFlowNEAR AI 团队用 DeepSeek 解 600 道数学题，推动链上代码审计平民化
NEAR AI 团队使用 DeepSeek V4 模型在 PutnamBench 上解决 672 道数学题，平均每题成本 0.17 美元，展示了形式化验证的低成本潜力，推动链上代码审计平民化。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。