DeepMind的AI解了6道研究级数学难题：专家说5道够发论文，这条线正在移动
先说清楚这10道题是什么。 不是数学竞赛题，不是经典难题。是未发表的研究级数学问题，来自FirstProof挑战赛——参赛选手包括职业数学家和数学博士。这些题目的要求是：答案得对，还必须附带严格的数学证明，能经受同行评审。 Aletheia
#AI研究
共 4 篇文章
李飞飞的World Labs拿了10亿美元，要让AI真正看懂三维世界
在 AI 行业一遍遍卷 benchmark 分数、卷上下文长度的时候，李飞飞在做一件看起来不那么迫切、但可能更根本的事——让 AI 理解三维空间。 World Labs 完成了 10 亿美元融资，其中 Autodesk 一家就投了 2 亿。
Google把NotebookLM塞进了Gemini：这不只是加了个文件上传
4月8日，Google宣布在Gemini里上线了Notebooks功能，把NotebookLM直接接入了Gemini的主工作流。 表面是个产品更新，背后有Google的一个重要判断：未来的AI助手竞争，不是谁的模型答题更准，而是谁能更好地管
图灵奖得主离开Meta后第一件事：花10亿美元做一个不是大语言模型的AI
Yann LeCun 从 Meta 离开之后，干了一件让所有人都在等待的事。 他创办了 AMI Labs，完成了 10.3 亿美元种子轮融资，估值 35 亿美元，欧洲有史以来最大的种子轮。然后他说：我要造一个不靠预测下一个词来工作的 AI。