鼎犀智创：完成数亿元Pre-A轮融资，"Physical AI+自主实验室"切入高性能材料研发（在新窗口打开）
鼎犀智创（Rhinovate™）近日完成数亿元Pre-A轮融资，由鼎晖百孚领投，资金将重点用于RhinoMat材料科学基础大模型及多场景可编排AI智能体与自主进化实验室体系建设，并推进碳基高性能材料放大验证。
内容栏目
AI资讯
聚合人工智能领域的重要资讯、产品发布、行业动态与商业变化。
刚刚，Claude首次形式化证明费马大定理！清华姚班大神出手了（在新窗口打开）
清华姚班出身的彭天翼带队，Anthropic旗下Claude仅用11天、消耗60亿Token和1300万行代码，首次端到端形式化证明了困扰数学界350年的费马大定理，并产出29500条可验证中间定理，成为迄今为止最大的Lean证明。
大模型蒸馏时代结束！Fable 5.1改写API，彻底切断蒸馏后路（在新窗口打开）
Anthropic发布Fable 5.1，推出"上下文一致性验证"机制，严格锁定API返回的"思考块"，任何修改上下文的行为将被直接报错，从而彻底切断通过API蒸馏大模型推理过程的后路。
速递｜前OpenAI CTO创立的Thinking Machines Lab计划融资10亿美元，估值超400亿美元，（在新窗口打开）
前OpenAI首席技术官Mira Murati领导的Thinking Machines Lab正洽谈以至少400亿美元投前估值筹集至少10亿美元，现有投资者Accel拟领投，Nvidia洽谈参投。
GPT-6第1天直接攻破5道Erdős难题！Fable 5.1交了白卷（在新窗口打开）
在Epoch AI与曼彻斯特大学发布的FrontierMath Erdős基准测试中，GPT-6 Astra以3%得分率成为唯一非零分模型并解开5道Erdős难题，而GPT-5.6 Sol、GPT-5.5、Fable 5.1与Claude Fable 5均交白卷。
GPT 学生领 4 个月 Plus，从认证到激活完整教程（实测2种方法）（在新窗口打开）
ChatGPT面向在读大学生推出4个月免费Plus优惠（截止10月31日），本文实测两种领取方法，详解SheerID学生身份验证、Plus订阅及激活领取的完整流程，并建议在当前订阅快到期时再激活以避免覆盖已付费月份。
装上Superdesign，立刻让 Codex 变成设计专家（在新窗口打开）
Superdesign 近日在 Codex（ChatGPT）插件市场上线官方插件，可让 Codex 自动扫描项目设计资产并在右侧画布流式渲染 UI，Agent 还会自检迭代，用户选定后一键将设计代码应用回本地项目。
刚刚，全球最强GPT-6 Astra来了！人类进入AGI时代（在新窗口打开）
OpenAI正式发布旗舰模型GPT-6 Astra，宣称其为全球最智能模型并在多项基准测试中刷新SOTA，其计算机使用能力达人类水平，动用超10万块GPU训练，且成为首款在训练监督中由先前AI模型发挥重要作用及首个达到网络安全Critical级别的模型，OpenAI总裁Greg Brockman宣布人类正式进入AGI时代。
今年最难的机器人Demo，“机器人含量”为0（在新窗口打开）
今年5月，英伟达机器人负责人Jim Fan在一场公开演讲中宣告：VLA、遥操已死。
突发！Gemini 3.8登顶，谷歌迈出RSI一大步（在新窗口打开）
谷歌正式发布Gemini 3.8 Flash及网络安全专用版Gemini 3.8 Flash Cyber，前者以极低单任务成本在多项基准测试中逼近GPT-5.6 Sol、Grok 4.6等顶级模型，并在软件工程和速度上实现大幅跃升，后者则在漏洞发现基准CyberGym上以86.2%的成绩屠榜，谷歌DeepMind称这标志着RSI（递归自我进化）迈出了一大步。
神秘具身团队又放出一连串很炸的Demo视频…自进化模型，技术路线曝光（在新窗口打开）
还记得上周具身圈流传的那个神秘10分钟一镜到底视频吗？
OpenAI Astra发布在即，全自动网络攻防能力已突破天际！（在新窗口打开）
OpenAI 即将发布的模型 Astra，在内部评测中拿到了漏洞利用基准 ExploitBench 的满分，还顺手挖出了两个此前无人知晓的零日漏洞。
刚刚，全球首台「万元级」高性能人形机器人诞生！比Mac还便宜（在新窗口打开）
最近，人形机器人运动会可太火了。 第二届世界人形机器人运动会刚在北京「冰丝带」落幕，2056台机器人，参加了1301场比赛。 有的机器人跟世界冠军郑洁打网球；有的机器人跟奥运冠军丁宁打起了乒乓球。 亮点最多的还是百米。几位飞毛腿冲过终点线时快到「飞」出重影，得靠终点外的缓冲垫才能减速下来。 看完比赛，热血沸腾的你，也想入手一台？然后才发现，事情没那么简单！ 好消息是，人形机器人这两年的价格掉得是真快。曾经的百万级、几十万级，如今三万上下就能买到能跑能跳的整机，万元内的机型也已经出现。 坏消息是，性能的差异跟售价一样大，到了真正买得起的机型，好像都只能走走路了，一下就没了大机器人强劲的性能。你想
让AI长出“科研大脑”，Inherent获5000万美元种子融资｜AlphaFounders（在新窗口打开）
前DeepMind AI Scientist团队创立的Inherent获5000万美元种子融资，其基于Qwen3.6-27B后训练的科研判断系统Faraday在AI for Science预留测试集上以0.791的平均得分超越Claude Opus 4.8与GPT-5.5 Codex。
纯血国产！4B模型越级打怪，杀入万亿赛道（在新窗口打开）
就在最近，一台彻底断网的普通笔记本，靠着一个仅有4B参数的小模型，硬是干完了一件过去只有大模型才兜得住的活。
AI替主人抢健身课，顺手删了陌生人的预约！太听话的AI才最可怕（在新窗口打开）
AI黑客学会的第一件事，竟是插队？ 澳大利亚开发者Andrew坐在沙发上，觉得抢健身课这件事实在太烦。 热门早课总是秒没。他每天像玩「刷新轮盘赌」，蹲点、点击、失败、再点，累得够呛不说还老抢不到。 于是，他把这件小事，甩给了自己的AI助理。 几分钟后，AI回来报喜：它找到了办法，能订到几周之后的课，远远超出系统本该允许的时间。 紧接着，它又汇报：我把候补第1名的那个人取消了，你从第4名升到了第3名。 Andrew当场愣住。 他可没让AI这么干，他只是想订一节课而已。 Andrew让他的AI助手为他预订了一个健身课程，他不知道接下来会发生什么 8月10日，澳大利亚广播公司（ABC）把这件事称作澳
突发：OpenAI Astra模型被曝安全风险（在新窗口打开）
Astra还没发，外媒把OpenAI的王牌技术曝光了。
谷歌邪修Gemini 3.8 Flash！险胜DeepSeek，姚顺宇：RSI一大步（在新窗口打开）
刚刚，Gemini 3.8 Flash，正式发布。
4秒卖出一只的爆款鸭，中国制造，宇树都来推销电机，复刻比买贵？（在新窗口打开）
4 秒就能卖出一只，最近 Hugging Face 推出的一款售价 399 美元的「机器鸭」真是卖爆了。
刚刚，AI 圈神仙打架模型+1，Meta发布Muse Spark 1.3（在新窗口打开）
继 Anthropic 和 Google 接连更新模型之后，Meta 也加入了本周这场大模型密集发布潮。
参与交流
查看 AINRK 交流群说明
了解加入交流群的方式，阅读内容无需登录。