AI写88小时，人类读7周！数学家开始读懂OpenAI千禧难题证明
AI写88小时，人类读7周！数学家开始读懂OpenAI千禧难题证明9月8日，OpenAI扔出一份证明，宣称攻克了纳维－斯托克斯这道千禧难题。
来自主题: AI资讯
10036 点击 2026-10-28 14:47
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
9月8日，OpenAI扔出一份证明，宣称攻克了纳维－斯托克斯这道千禧难题。
722 篇数学手稿引发的讨论还没结束，OpenAI 又把一个更让人意外的结果摆到了科学家面前。
大模型Agent正在从简单问答，快速走向搜索、代码生成、网页操作和多轮工具调用。
当模型学会持续迭代改进算法，便推开了通往智能自主进化的大门。近日，由来自智源研究院、中国科技大学、中国人民大学等多个机构的研究人员组成的 AREX 研究小组发布 AREX-2 模型。
让 AI 生成成千上万条蛋白质序列，已经不是 AI 生物药研发最值得炫耀的能力。更重要的问题是：真正送进实验室的分子能否足够少，成功的机会又能否足够高？
具身智能不缺钱，也不缺演示，真正稀缺的是一条能复现的 Scaling 曲线。去年 11月，北美的 Generalist 发布 GEN-0，称首次在机器人身上观察到了这条曲线：预训练数据和算力越多，模型在下游任务上的表现就越稳定、可预测地提升。支撑这条曲线的，是超过 27 万小时的真实世界操作数据，和每周新增上万小时的采集速度。对绝大多数公司来说，曲线已经有人跑出来了，燃料却还没有。
上周六（10 月 17 日），在十字路口 × Table for Six 联名活动的 After Party 上，我们在 AI Hacker House 邀请到 Table for Six 的创始人 Jeff 和投资人汪天凡 Will 进行了圆桌对话。
Anthropic已公开IPO申请并向美国证监会披露招股书，拟募资约1000亿美元、估值约1.5万亿至2万亿美元，同时揭示了营收激增、上半年净亏损807亿美元及创始人的特殊投票权安排。
Qwen4 尚未发布，但一份已合并的开源推理内核代码 Pull Request（PR），却率先“透露”了架构线索。
近日，金融AGI企业EasyLink（上海容易链智能科技有限公司）宣布完成数千万元天使轮融资，投资方为道禾长期投资、鹏益投资和产业投资人。