「极数迭代科技」共找到 1242 篇相关文章
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。
大模型之后，AI 开始“自己动手”了
从生成式AI到Agentic AI，互联网从“信息获取”转向“任务完成”。全球科技巨头抢滩智能体，国内腾讯云升级智能体开发平台。腾讯吴运声表示，技术与业务需求双轮驱动其发展，还分享了应对落地挑战的办法。
AI工具的真相与幻象：从客服看AI应用的理性边界
文章以某科技公司AI产品部门负责人张文的经历为例，讲述AI客服系统失败、AI编程助手成功的情况，指出AI应用存在期望与场景不匹配问题，还探讨了AI落地转变及组织搭建难题与解决办法。
拟合接近满分，外推却会跑偏：Meta 给缩放律加了一个指数
大模型训练前，团队常用 Chinchilla 缩放律估算模型规模和数据量，但它在模型和数据极不平衡的边界预测易跑偏。Meta FAIR 提出的 Skaling 只增加一个耦合指数，降低外推误差，还采用 L 形采样降低试算成本。
DeepSeek低价风暴打服硅谷！海外平台争相倒贴V4 Flash
DeepSeek V4 Flash掀起价格风暴，全球开发者为之疯狂。海外平台如Nous Portal、Cline等纷纷补贴，其能力大幅提升，价格却极低，让开发者更愿尝试开源模型，AI应用层或迎转机，且DeepSeek Code可能将至。
无锡梁溪国资领投！长三角商业航天再落关键一子
继4月数亿元Pre - A轮融资后，龙擎空天近日完成近亿元Pre - A+轮融资，由无锡梁溪国资平台领投。两轮融资用途明确，其‘终端 + 芯片’模式有独特优势，还启动‘算力上天’战略，折射商业航天产业变革。
独家丨数千万天使轮融资，中科院背景团队「熵旋芯智」押注存内概率计算
AI 科技评论独家消息，熵旋芯智获数千万元天使轮融资，由英诺天使基金领投。该公司是国内唯一基于 MRAM 构建存内概率计算平台的企业，采用全栈软硬协同策略，有望大幅提升能效比，计划 2027 年初交付芯片。
后AlphaFold时代的冷思考，AI制药的破与立 | GAIR live 028
雷峰网等组织“后AlphaFold时代AI制药的破与立”线上圆桌，三位学者探讨AI制药问题。指出算力难颠覆生命法则，数据有缺陷，还给出赛道选择建议，提及AI Agent重塑科研关系及中国AI制药优势与挑战。
智源：ArXiv CLI重磅开源！2亿+开放论文，即将化身科研智能体的技能包
智源研究院联合高校与社区开发者研发的 DeepXiv 开源并免费开放。它是面向智能体的科技文献综合性工具集，提供数据接入、一站式能力集成、丰富接入形式等核心能力，还通过实战演示展示其在科研任务中的价值。
国内首个硅谷科创展团将入驻AWE2026东方枢纽展区
国内首个硅谷科创展团将入驻AWE2026东方枢纽展区，由硅谷科技评论发起，集结15家企业，近60位高端买家也将参展。展团覆盖多前沿赛道，展示创新技术与产品，展区实行专业观众提前24小时预约制。