近日，专注于建筑行业供应链优化领域的科技初创公司Parspec宣布成功完成2000万美元A轮融资，本轮融资由知名风险投资机构Threshold Ventures领投。这笔资金将有力支持Parspec进一步拓展其AI驱动的工作流工具，旨在彻...

最新研究发现，在数学问题中插入诸如'有趣的事实：猫一生大部分时间在睡觉'等无关短语，会导致大语言模型的错误应答率较基准水平飙升300%。这种与查询无关的对抗性触发现象具有跨模型规模的迁移性，且蒸馏版模型表现...

近日，一项名为“分离轴测试（Separating Axis Test）”的3D碰撞检测算法迎来重大性能突破。开发者cairnc在疫情期间发现该优化方法，通过特定技巧可使检测速度提升5倍，相关技术细节已在其GitHub仓库公开。该算法在Hac...

即将发布的Lean 4.22版本带来了一项激动人心的新功能——针对命令式程序属性的验证基础设施预览。这一突破性进展允许开发者通过形式化方法证明命令式程序的正确性，标志着定理证明工具向实用化迈出重要一步。作者Marku...

Sakana AI最新发布的TreeQuest技术通过创新的多模型协作框架（Multi-LLM AB-MCTS），实现了比单一大型语言模型（LLM）性能提升30%的突破。该技术采用自适应分支蒙特卡洛树搜索（Adaptive Branching Monte Carlo Tree...

AWS实验室推出的开源项目agent-squad为构建协作式多智能体AI系统提供了全新框架。该技术突破性地实现了多智能体之间的任务规划、工作委派和协同问题解决能力，标志着分布式人工智能向复杂任务处理迈出重要一步。其核...

谷歌DeepMind推出的Gemini 2.5大模型近日通过开源工具mem0实现了突破性的长期记忆功能。该技术方案利用Gemini API与mem0的协同工作，使聊天机器人能够存储和调用历史交互数据，从而显著提升对话系统的上下文感知能力...

印度证券交易委员会（SEBI）近日对美国知名量化交易公司Jane Street采取严厉措施，冻结其5.66亿美元资产并禁止其进入印度证券市场。监管机构指控该公司涉嫌操纵Nifty 50指数相关衍生品交易，违反市场公平性原则。Jan...