何恺明MIT两名新弟子曝光：首次有女生入组，另一位是FNO发明者，均为华人
何恺明MIT两名新弟子曝光：首次有女生入组，另一位是FNO发明者，均为华人AI大牛何恺明的主页，更新了两名新弟子的信息—— 都是华人，也都是学霸履历，博士生「胡珂雅」+博士后「李宗宜 」。
来自主题:
AI资讯
7414 点击 2025-11-06 16:31
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI大牛何恺明的主页，更新了两名新弟子的信息—— 都是华人，也都是学霸履历，博士生「胡珂雅」+博士后「李宗宜 」。
你是否想过，未来的 AI 将会是什么样子？
大模型一个token一个token生成，效率太低怎么办？
流量生意还是内容的未来？
机器人使用灵巧手帮人类在工厂里拧螺丝，在家里切菜做饭的一天何时可以到来？为了实现这一愿景，旨在解决灵巧操作技能 sim-to-real 难题的 DexNDM 应运而生。
当AI能写诗、能编程，甚至能和你争论哲学，它会不会真的“有感觉”？它会不会像你一样，体验到红色的炙热或痛苦的尖锐？
在大语言模型（LLM）席卷各类复杂任务的今天，“测试时扩展”（Test-Time Scaling，TTS）已成为提升模型推理能力的核心思路 —— 简单来说，就是在模型 “答题” 时分配更多的计算资源来让它表现更好。严格来说，Test-Time Scaling 分成两类：
“用户”这个身份从人类转移到了Agent本身。换句话说，现在真正写代码的“程序员”，已经不再是人类，而是AI。
ICML 2026论文可以投了，截止日期2026年1月28日。今年针对AI使用，组委会强调了三点：LLM不可以「署名」；严禁提示注入，否则拒稿；以及扩大AI审稿。
2025年11月4日，一家总部位于英国伦敦的人工智能公司Stability AI，赢得了一项具有里程碑意义的高等法院案件，该案审查了人工智能模型在未经许可的情况下使用大量受版权保护数据的合法性。而本案的原告，Getty Images 在针对人工智能公司 Stability AI 图像生成产品的英国诉讼中基本败诉。
地理AI，还得看谷歌！谷歌首次实现地球尺度的复杂地理空间推理，把地球变成「可计算对象」。基于数十年在世界建模上的经验，结合Gemini的先进推理能力，谷歌重磅升级Earth AI——从环境监测到灾害响应，尽在其中。
微调超大参数模型，现在的“打开方式”已经大变样了： 仅需2-4 张消费级显卡（4090），就能在本地对DeepSeek 671B乃至Kimi K2 1TB这样的超大模型进行微调了。
星星之火，可以燎原！证明的尊严在于可验证；这一次，GPT-5让数学证据落在了代码里。一雪前耻，ChatGPT为OpenAI「正名」！被Hassabis吐槽太尴尬之后，GPT-5真启发了新的数学结论。OpenAI的科学家Sebastien Bubeck高调宣扬GPT-5破解了十道Erdős难题。但被指出GPT并非解决了Erdős问题，而是找到了已经解决这些问题的文献。
这年头，AI 创造的视觉世界真是炫酷至极。但真要跟细节较真儿，这些大模型的「眼力见儿」可就让人难绷了。
1万伏的高压配网线路上，一台亮黄色的具身智能机器人正在替人类干活。
在日常使用电脑时，看着屏幕、点击鼠标是再自然不过的基本操作。但这种对人类明明很容易的操作方式，却成为 AI 的巨大挑战：它们视力差、动作慢、不擅长看也不擅长点。
AI 驱动的商业革命，正在重新定义一个古老的问题——什么才是「会做生意」。
市值第一巨头英伟达里，都有谁可以直接向CEO黄仁勋汇报？
美国人工智能初创企业Perplexity宣布推出世界首个AI专利智能体（agent）——Perplexity Patents。Perplexity表示，其目标是带来人人可用的专利智能体，让知识产权情报触手可及。其瞄准的正是专利情报分析的行业痛点：长期以来，工程师、研究人员、专利从业者和企业领导者在进行专利检索时，往往需要结合关键词组合和对专利晦涩行文的掌握，才能获得全面的研究结果。
新乐子来了。 10个AI大模型，券商账户实时交易，勇闯美股。 除了老面孔GPT、Claude、Gemini、Grok、Qwen、DeepSeek，这次四个国产新玩家，豆包、Minimax、Kimi、文心也加入战场。昨晚，首战正式开赛，豆包已经一马当先，开始了开门红。
过去一年，AI模型的价格暴跌百倍！同样一句话，去年要10块，现在只要几分钱。可与此同时，家政、育儿、心理咨询、维修.....这些「手工活」越来越贵。科技正在疯狂通缩，生活却越来越通胀。这不是经济学笑话，而是Jevons与Baumol共同制造的现实：当机器更聪明，人工就更昂贵。
正与三星共同研发HBM4。
AI看视频也能划重点了！
随着生成式 AI（如 Sora）的发展，合成视频几乎可以以假乱真，带来了深度伪造与虚假信息传播的风险。现有检测方法多依赖表层伪影或数据驱动学习，难以在高质量生成视频中保持较好的泛化能力。其根本原因在于，这些方法大都未能充分利用自然视频所遵循的物理规律，挖掘自然视频的更本质的特征。
陶哲轩让ChatGPT把复杂的数学论文翻译成Lean代码，与AI合作完成形式化证明。AI能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成1125行被验证的证明。
如果你也在做 RAG 或智能体应用，大概经历过这些瞬间：文档切得太碎，答案失去上下文；切得太大，又召回不准；加了更多提示词，效果可能更不稳定。
静态编排 VS 动态编排，谁是多agent系统最优解？通常来说，面对简单问题，采用react模式的单一agent就能搞定。可遇到复杂问题，单一agent就会立刻出现包括但不限于以下问题：串行执行效率低：无法同时完成并行的子步骤（如 “同时爬取 A、B 两个网站的数据”）。
如今，一位软件工程师 Teja Kusireddy 用数据扯开了这场“繁荣”背后的部分真相。他对 200 家 AI 公司进行了逆向工程、反编译代码，并追踪 API 调用，发现许多号称“颠覆性创新”的公司，其核心功能仍依赖第三方服务，只是在外层多套了一层“创新”的壳。市场宣传与实际情况之间的差距令人震惊。
一直以来，关于人工生命（Artificial Life, ALife）的研究致力于回答这样一个问题：生命的复杂性能否在计算系统中自然涌现？
英伟达和谷歌，抢着上天了！
