人形机器人与具身智能核心零部件领军企业—— 南京因克斯智能科技有限公司（以下简称 “因克斯”）正式宣布，完成近 2 亿元人民币新一轮融资。由华控基金、深创投集团共同领投，普华资本跟投，绿洲资本、锦秋资
刚刚，AI又破解了一个数学难题！Erdos#1026问题已经被攻克，且给出了正式证明。而在此之前，这个问题已经困扰了数学界50年。陶哲轩在Mastodon上宣布了这一消息，还在一篇博客中详细讲述了这个故事。
“人工智能要发展到下一个台阶，一定要突破两座大山。第一座大山是Transformer，第二座大山是反向传播算法。”在大模型规模不断拔高、算力与数据卷到极致的当下，RockAI创始人刘凡平提出了一个与主流共识截然不同的判断。
在深入技术细节之前，我们先用一张漫画来直观理解 COIDO (Coupled Importance-Diversity Optimization) 解决的核心问题与方案：正如钟离在漫画中所言，面对海量视觉指令数据的选择任务，传统方法需要遍历全部数据才能进行筛选造成大量「磨损」（高昂计算成本）。同时在面对数据重要性和多样性问题时，传统方法往往顾此失彼。
大家还记得Mira Murati吗？那个曾经主导ChatGPT开发的“AI女王”，OpenAI的前CTO，2024年突然离职后，让整个科技圈炸锅！短短几个月，融资20亿美元，估值飙到120亿美元，现在更传出新一轮融资目标直冲500亿美元！这速度，这手笔，简直是AI界的“神话”！而最近的重磅炸弹来了：他们的首款产品Tinker正式全面开放！不再需要等待名单，人人可用！
GPT-5.2打赢Gemini 3.0 Pro，竟是靠高推理与海量Token「作弊」？网友的这个发现，在AI社区一石激起千层浪。更多网友七嘴八舌表示：GPT-5.2，并没有那么好用！
近日，杭州力文所生物科技有限公司成功完成数千万人民币 Pre-A 轮融资，由金雨茂物领投，君科丹木跟投，舟渡资本担任独家财务顾问。本轮资金将用于加速全原子模型蛋白质设计平台 Pallatom 的迭代升级、商业化管线拓展以及全球人才引入。2021 年，真格基金在种子轮投资力文所，天使轮持续追加投资，一路陪伴公司至今。
网友吐槽GPT-5.2「不通人性」。 X 上充斥着对 GPT-5.2 的恶评。昨天，OpenAI 十周年之际，拿出了最新的顶级模型 GPT-5.2 系列，官方号称是「迄今为止在专业知识工作上最强大的模型系列」，在众多基准测试中，GPT-5.2 也都刷新了最新的 SOTA 水平。
北航刘偲教授团队提出首个大规模真实星座调度基准AEOS-Bench，更创新性地将Transformer模型的泛化能力与航天工程的专业需求深度融合，训练内嵌时间约束的调度模型AEOS-Former。这一组合为未来的“AI星座规划”奠定了新的技术基准。
David Sacks 最近带着他的新产品 Glue 正式走向市场，并刚刚完成了 2000 万美元的 A 轮融资。这个名字你可能很熟悉，他是 PayPal 黑帮成员之一，也是 Yammer 的创始人，更是 All-In 播客的联合主持人
