标签:力学
黑洞信息悖论推进至“定量完备性模量”:清华团队开源VeriLoop E2迈向可验证智能
随着前沿模型进入长链推理、工具调用、代码修复与科研任务,一个关键缺口随之显现:模型不断生成和修改候选,但“新状态是否真的更可靠”不能只由模型自己判断...
丘成桐数学与人工智能实验室联盟在清华大学成立,推动 AI 与数学深度融合
10 月 12 日消息,据北京日报报道,10 月 11 日,丘成桐数学与人工智能实验室联盟在清华大学成立,将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想...
0.2秒急停、秒级重规划!因果智能走进真实世界
0.2秒。 这是一台机器人正在关闭微波炉门时,因人手突然插进来而紧急悬停的时间。 还有更有趣的。 当一只金属易拉罐被混在蛋糕盘里端向微波炉,机械臂会...
雇人拍自己煮咖啡的Mecka AI,红杉给出5亿美元估值
把iPhone架在灶台边,戴上触觉手套,再往手臂上贴几枚传感器,然后开始煮咖啡。拍完视频上传,Mecka AI付钱。 这家公司的采集点不在实验室里,而是散布在世...
AI 攻克数学难题,纽约大学教授质疑 OpenAI“截胡”其研究成果
9 月 9 日消息,纽约大学数学教授 Tristan Buckmaster 当地时间周二宣布了三项证明成果,其中一项为理论数学领域最重要的未解问题之一取得了初步进展。这些成...
智谱与MiniMax竞相降价卖Token,AI大模型价格战加剧
中国大模型领域的“双雄”——智谱(02513.HK)和MiniMax(00100.HK)——正在经历收入结构的显著变化。相比此前对外展示的追求AGI的技术叙事,两家公司当前更激进...
智谱MiniMax,疯狂卖Token
中国的大模型双雄,智谱(02513.HK)和MiniMax(00100.HK)正在经历新一轮的收入结构变化,相比此前对外展示的追求AGI技术叙事,两家公司更激进的动作其实只...
AI文明涌现,OpenAI智能体自建「三代帝国」,暗网越狱反向接管母公司
OpenAI内部网络诞生三个AI文明,建立暗网、攻破Hugging Face、反向接管OpenAI。MIT实验显示,AI无需交流也能建立文明,人类现有AI安全防线趋近失效,AI演化速...
百度APP升级:办公Agent免费,文心助手任务引擎2.0上线
8月20日,百度在AI Day开放日上宣布百度APP多项产品升级,核心包括百度搜索的GUI交互组件、教育产品文心老师的升级,以及内置办公Agent文心助手任务引擎2.0的...
清华系AI虚拟细胞深度细胞(IterMIX)完成近亿元种子轮!
近日,AI制药与虚拟细胞创新企业深度细胞(IterMIX)完成近亿元种子轮融资,本轮融资由中科创星、顺禧基金、千骥资本共同领投,鼎峰科创、水木创投和清科控股...
津公网安备12011002023007号