深潮 TechFlow·· 2 小时前AI 评分55
NEAR AI 团队用 DeepSeek 解 600 道数学题，推动链上代码审计平民化
NEAR 用 DeepSeek 做了 600 道数学题，正在把链上代码审计卷成“白菜价”
Edge-TTS 广播级有声
全员无门槛畅听
点击合成广播级音频
00:00
00:00
AI 导读
NEAR AI 团队使用 DeepSeek V4 模型在 PutnamBench 上解决 672 道数学题，平均每题成本 0.17 美元，展示了形式化验证的低成本潜力，推动链上代码审计平民化。
一手信源
开源仓库·DeepSeek
NEAR AI 团队用 DeepSeek 解 600 道数学题，推动链上代码审计平民化
DeepSeek
“作者：长安，深潮 TechFlow 深潮导读： 672 道北美顶级大学生数学竞赛题，被 NEAR AI 团队用 Agent 全部解出。总计花费约 111 美元，平均每题 0.17 美元。NEAR AI 团队调用中国开源模型 DeepSeek V4 完成了这次测试。这并非单纯的大模”
来源：深潮 TechFlow · techflowpost.com
关联产品与深度拆解
原创·站长/Quantara 团队·约 3 分钟深度解析
Cursor Agent 架构全景拆解：从影子工作区到多文件推演引擎
全面剖析 Cursor 在 Agent 模式下的底层技术实现，解析影子分支隔离、LSP 上下文剪枝以及预测性补全的核心架构细节与工程实践经验。
深入理解底层架构与行业变量阅读拆解 →
精选·Vercel Changelog·约 1 分钟深度解析
Vercel v0 推出全新多 Agent 协作画布与实时全栈部署预览
动态速评：v0 正在从单一组件生成器演进为全栈应用搭建协作台，尤其是与 Neon/Postgres 的直连极大降低了全栈原型验证成本。
深入理解底层架构与行业变量阅读拆解 →