「证据链」共找到 402 篇相关文章
DeepSeek V3.2爆火，Agentic性能暴涨40%解密
文章解密了DeepSeek V3.2 Agentic性能暴涨40%的原因，即采用交错思维链机制。还对比了其与早期ReAct范式，介绍其效果、原理，以及MiniMax为落地该机制做的工作，最后提到多家模型达成技术共识。
Telegram创始人搞了个狠活：100%隐私的去中心化AI网络
Telegram创始人帕维尔·杜罗夫推出专注机密AI计算的去中心化网络Cocoon，或终结中间商垄断。它基于TON区块链，有三层架构，四步完成AI查询，但面临延迟和竞争挑战，未来将采用DAO治理。
稀土分离最难的一步，美国公司想用量子计算和机器人实验室来解决
稀土分离是稀土供应链中技术资本门槛最高的环节，传统方法依赖大量试错效率低。美国稀土公司USA Rare Earth联合两家科技公司，计划用量子机器学习加自动化实验室研发新型萃取剂，优化分离工艺，验证量子方法的工业价值。
GPT-6 Astra全面解析 - “欢迎来到AGI时代。”
GPT - 6 Astra在全球AI大宕机后正式亮相，是全球最智能且最对齐的模型。它有诸多新特性，如操作电脑能力强、ARC - AGI - 3跑分高、审美提升等，但也带来思维链难监控等新问题。
起底Sharpa：一家还没赚钱的公司为何估值快赶上禾赛？
神秘具身智能公司Sharpa亮相引发关注。它以灵巧手技术获认可，后转型整机公司发布机器人North。其团队有禾赛背景，自带硬科技基因，受资本青睐，反映供应链切入下游和整机的产业趋势。
中科院联合清华等发布视觉语言行动推理模型VLA-R1，让机器人先思考再行动
中科院自动化所、清华和GigaAI联合发布视觉 - 语言 - 行动模型VLA - R1，让机器人先思考再行动。它通过构建数据集教模型思维链，结合监督微调与强化学习提升性能，经多场景测试表现出色。
Agent接管EDA工作流，不只写脚本！浙大打通真实芯片设计闭环
大模型正以Agent形态进入真实EDA工具链。浙大卓成团队构建OpenClaw + FluxEDA联合架构，打通关键链路，解决模型操作真实EDA工具的难题，在多任务中完成连续分析与优化闭环，推动EDA工作流范式转变。
霍尔木兹海峡封锁18天后，芯片产业还能撑多久？
霍尔木兹海峡封锁18天，全球半导体产业担忧能源储备还能撑多久。芯片产业存在‘能源软肋’，关键材料供应有‘垄断性风险’，全球供应链有关联性风险，凸显了产业在效率与安全间寻求平衡的必要。
黑洞信息悖论推进至“定量完备性模量”：清华团队开源VeriLoop E2迈向可验证智能
针对大模型长链推理、科研任务中无法自我验证结果可靠性的结构性缺口，清华团队推出开源项目VeriLoop E2，拆分模型探索权与外部证据提交权，在多场景完成验证，推进可验证智能发展。
博士80小时熬夜改代码，Codex 2小时交卷！科研奇点来了
近日，Agentic AI工程师Dan McAteer实验发现，OpenAI Codex的Goal Mode完成机械可解释性研究任务，效率比博士高40倍。Codex /goal模式能自主循环，契合科研流程。此外，递归自我改进证据涌现，AGI或早已实现。