人工智能

数学论文预印本领域正在经历一场静悄悄的变革。当大多数研究者还在争论大模型能否理解数学逻辑时，一家名为Axiom Math的初创公司已经拿出了实际成果：8篇由同一个系统生成或形式化证…

医学AI Agent不再只是“看完再答”：两篇ICML 2026论文将视觉证据嵌入推理链 当前医学多模态模型的常规流程，是将影像或视频编码成特征向量，再由大语言模型生成诊断结论与解…

< img id=”wx_img” src=” width=”400″ height=”400&#82…

企业级AI Agent的落地一直面临着一个尴尬的局面：个人效率工具百花齐放，但到了企业场景，深度定制、长期运维的门槛高得吓人。底层推理引擎、运行时沙箱、长会话管理……这些基础设施的…

最近，SpaceX在IPO文件里罕见地吐露了家底：AI芯片短缺已经成了它推进“轨道AI”战略的最大拦路虎。你没看错，那个把火箭回收玩成常规操作的马斯克，如今却为了几块算力卡急得跳脚…

过去几年，国内顶尖高校在基础科学领域的「抢人」动作愈发密集，而复旦大学在天文学科的布局，正在悄然编织一张颇具分量的版图。从传统强校到新兴力量，这场人才流动背后折射出的，是科研生态与…

Jay 鱼羊 发自 凹非寺 刚拿了一个新的博士头衔，老黄又被曝出「学术」新动向： 加盟清华大学经管学院顾问委员会。 这个顾问委员会由库克担任主席，马斯克、纳德拉、扎克伯格…以及李彦…

在AI Agent（智能体）赛道狂飙的当下，如何让代码Agent真正学会“自己动手改Bug”，成了业界突破的关键。传统强化学习往往卡在单步决策上，但真实开发场景需要多轮工具调用、上…

本地生活服务的战火已经从“抢商家”烧到了“抢信任”。5月27日，抖音生活服务公布了其过去一年在消费者权益保护和平台体验提升上的核心底牌。在本地生活赛道快速膨胀的背景下，抖音通过技术…

2026年的游戏行业正在经历一场静水深流的转型：AI不再只是噱头，而是开始渗透到生产、分发甚至文化传承的每个环节；经典IP通过技术与跨界合作焕发新生，而中小团队与新兴品类也在寻求差…