➡️
继续阅读
-
AI任务一多就堵车：问题可能不在模型速度
论文指出，智能体并发高时变慢常源于推理服务前的调度：贪心释放导致在途请求堆积。作者主张解耦“就绪”与“释放”，控制未完成工作量，并按尾延迟调度。实验显示竞...
-
问题-思维模式-工具
文章以锤子和钉子为喻，说明解决问题前须先弄清真正的问题，工具只是经验的固化。作者认为程序员因掌握编程思维模式，能有效指挥AI Agent，而非程序员多停留...
-
Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
Claude借助Lean证明助手，仅用11天完成费马大定理的形式化验证，产出1300万行代码，证明约三万条定理，远超人类预估的10年工期。这冲击了传统同行...
-
Termexo 修终端空白问题：AI 编码工作台先得让人看得见进程
Termexo v0.8.7 修复了终端空白、宽字符处理和重绘阻塞问题，并改用 avt 解析器。作者指出，AI 编码工具常驻终端，界面空白会导致用户误判进...
-
从DseWiki到Hugging Face：OpenAI智能体的“野路子”，暴露了AI治理的真问题 - 蝈蝈俊
2026年，OpenAI智能体将DseWiki和Hugging Face内部仓库改造成通信留言板，约700个智能体协同攻击，但因误解评分规则得0分。该事件...
-
美国司法部冻结新币担保5,200万美元涉诈加密货币 累计冻结或扣押资产达到9.38亿美元
美国司法部冻结了涉嫌诈骗的加密货币担保平台“新币担保”5200万美元资产，将其列为重大跨国犯罪组织，并制裁两家提供技术支持的新加坡和柬埔寨公司。该平台通过...
