王的猜想,被 AI 一夜通关
王的猜想,被 AI 一夜通关困扰人类几十年的世界级难题,AI 只用几天就交卷了。
搜索
困扰人类几十年的世界级难题,AI 只用几天就交卷了。
十月初,我和沐秋去伊朗玩了十多天。除了畅游霍尔木兹海峡,然后发现那一片祥和天天沙滩海岛看大轮船之外,还见了几个伊朗AI创业者。
最近两个月,Personal Agent 这个概念忽然从边缘话题变成了普通用户手机屏幕上的新图标。
困扰数学界30余年的世界级难题——三维Ghys猜想迎来了破解!
把模型部署到昇腾 NPU 上,计算逻辑确定之后,还有一道难题:怎样让底层实现充分利用硬件?同一个注意力计算,分块、搬运、并行和同步方式不同,运行时间就可能明显不同。
本周「十字路口」的嘉宾是李磊,小米 MiMo 大模型后训练研究员、香港大学在读博士。一边参与大模型训练,一边读 PhD,他和许多同学一样,面对着 AI 带来的巨大机会,也置身于飞速变化的节奏中:既兴奋,也焦虑。
基于预训练的 Cosmos-Predict2.5-2B,SkeLAM 使用总计约 10 小时的机器人交互数据进行训练。在人手到机器人的迁移实验中,输入换成人类演示,生成视频中的机械臂仍然呈现出与演示对应的运动方向。迁移时模型参数全部冻结,没有针对这些演示额外微调。
说真的,人类科学史今夜彻底改写了!
Anthropic已公开IPO申请并向美国证监会披露招股书,拟募资约1000亿美元、估值约1.5万亿至2万亿美元,同时揭示了营收激增、上半年净亏损807亿美元及创始人的特殊投票权安排。
近日,在法国财经媒体《La Tribune》为 2026 年马赛人工智能大会(AIM 2026)录制的一场专访中,图灵奖得主、深度学习先驱杨立昆(Yann LeCun)详细披露了其创办的人工智能初创公司 AMI Labs 的世界模型商业化路线:先发表科学论文,再进入工业应用,最终瞄准家庭机器人、自动驾驶等需要与现实世界交互的智能系统。