又一个百年数学问题被“AI+外行”攻破
又一个百年数学问题被“AI+外行”攻破浙江大学AI博士生、无界AI联合创始人马千里借助GPT-5.6、Fable 5、DeepSeek等AI模型组成的科研Agent团队,在北大董彬教授发起的ICMConjectures项目中用48小时产出约2万行Lean形式化代码,攻破了数学家Colombo于1928年提出的百年矩阵行列式难题。
搜索
浙江大学AI博士生、无界AI联合创始人马千里借助GPT-5.6、Fable 5、DeepSeek等AI模型组成的科研Agent团队,在北大董彬教授发起的ICMConjectures项目中用48小时产出约2万行Lean形式化代码,攻破了数学家Colombo于1928年提出的百年矩阵行列式难题。
北京航空航天大学史振威与邹征夏教授团队开发了面向广域地球观测的生成式基础模型MetaEarth3D,只需给定文字或卫星图即可生成无界连续一致的三维世界场景,并自带空间标注使空天AI模型空间理解能力平均提升22.85%。
每天1000个注册名额,凌晨6点刷新,用完了就得进Waitlist排队,等短信通知。
刚刚落幕的2026世界人工智能大会(WAIC)针对人工智能安全的讨论被推到了前所未有的高度。大会《主席声明》明确提出,"要筑牢安全底线、防范滥用恶用,确保人工智能始终处于人类控制之下"。
刚刚,BeingBeyond智在无界发布首个基于人类视频数据的隐式触觉世界动作模型—— Being-H0.8。
过去两年,人形机器人赛道的竞争焦点,正从整机硬件进一步延伸到模型能力。
近日,可信物理智能企业 Xspark AI(无界智航)完成首轮近亿元天使轮融资。本轮融资由鼎晖VGC、初心资本、SEE Fund 无限基金联合领投,深圳天使母基金、水木校友种子基金等多家财务投资机构,以及北洋海棠基金、特步家办等产业方跟投,多维资本担任融资财务顾问。资金将主要用于核心技术研发、产品迭代以及 Physical AI 的规模化落地。
当前,物理 AI 正面临着关于泛化能力的普遍质疑。当模型缺乏对真实物理规律的深度认知、难以跨越复杂多变的开放场景时,如何让机器人真正理解物理世界并精准规划决策,已成为具身智能破局的关键。
你从桌上端起一杯水,大脑用了不到一秒,同时完成三件事: 估算杯子的重量,预判水面晃动的幅度,顺便绕开了旁边那个玻璃杯。
真没想到啊!物理AI的账单,有一天竟然能和大模型一个价。