大家好，我是敢想老田。今天咱们来聊聊数学大师陶哲轩和他的AI助手GitHub Copilot在数学证明上的那些事儿。

最近，陶哲轩发布了他的第三支关于Lean 4自动化数学证明的视频，这次他挑战的是分析学中经典的极限问题。结果呢？加法部分Copilot表现得像个数学天才，减法开始有点卡壳，到了乘法部分，直接翻车了。

陶哲轩是谁？菲尔兹奖得主，当代最杰出的数学家之一。他的YouTube频道已经有17万订阅者了，影响力可见一斑。这次实验，他主要想看看Copilot在处理复杂数学证明时的表现如何。

在简单的函数极限和定理中，Copilot表现得相当不错。它能快速生成Lean代码，预测证明结构，甚至提供关键步骤的建议。陶哲轩都觉得它像个得力助手。

但到了复杂的差和积定理时，Copilot就开始力不从心了。它会在代数推导中犯错，找不到合适的数学引理，甚至还会脑补一些根本不存在的策略。陶哲轩不得不亲自出马，修正错误，甚至完全接管证明。

最搞笑的是乘法部分。Copilot尝试沿用标准套路，但在处理绝对值乘积和求和时频频出错。它甚至差点弄出除以零的错误，搞得陶哲轩手忙脚乱。最终，经过大量人工干预，才勉强完成了证明。

陶哲轩总结说，Copilot在简单证明中是个好帮手，但在复杂证明中就不怎么靠谱了。它更适合处理重复性格式化的工作，而证明的策略和方向还得靠人类自己把控。

所以，AI在数学证明中到底是个神助攻还是添乱的？从这次实验来看，它更像是个副驾驶，能帮你处理一些琐事，但方向盘还得握在人类手里。

好了，今天的分享就到这里。我是敢想老田，咱们下次再见！

大家好，我是敢想老田。今天咱们聊点刺激的AI编程的神话，是不是该醒醒了？最近有个研究可真是炸了锅，576万个代码样本里，居然有20依赖的是压根不存在的软件包！这可不是什么小打小闹，苹果微软这些巨头都中过招。Meta和微软还在那儿高喊未来AI写95代码，我看这口号喊得越响，现实打得脸越疼。

先说说这个研究的背景。在美国计算机安全协会的安全研讨会上，研究人员准发表一篇论文，揭露了一个叫软件包幻觉的现象。简单来说，就是AI生成的代码里，经常引用一些根本不存在的第三方库。这可不是小事儿，攻击者完全可以利用这些幽灵包搞事情植入恶意代码窃取数据开后门，你想得到的想不到的，他们都能干。

研究用了16种主流的大型语言模型，生成了576万个Python和JavaScript代码样本。结果呢？44万个依赖项是幻觉产物，也就是说，它们只存在于AI的想象中。开源模型的虚构比例最高，达到了21。商业模型稍微好点，但也有5的虚构率。JavaScript的虚构比例比Python还高，研究人员推测可能是因为JavaScript的生态更复杂，包名更难记准。

最可怕的是，这些幽灵包不是随机出现的。43的幻觉软件包在10次查询中都被重复提及，这说明它们不是偶然错误，而是AI坚信不疑的产物。这种持久性对攻击者来说简直是天赐良机他们可以提前注册这些包名，坐等开发者上钩。

Meta的扎克伯格最近还说，未来12到18个月内，Meta的大部分AI开发代码都将由AI生成。微软的CTO Kevin Scott更是大胆预测，五年后95的代码都由AI生成，人类几乎不用动手。这话听着挺唬人，但现实是，AI连基本的依赖项都搞不定，还谈什么取代人类？

Scott有41年的编程经验，他说AI的崛起和当年汇编语言向高级语言的转变差不多。但问题是，当年的转变可没带来这么多安全隐患。现在的情况是，AI生成的代码不仅不能取代人类，还可能把整个软件供应链拖入灾难。

研究人员建议开发者一定要仔细检查AI推荐的代码，别盲目信任。但说真的，有多少人会真的去查？AI工具用起来太方便了，方便到让人忘了危险就在眼前。

所以啊，AI编程的神话该醒醒了。它不是银弹，更不是救世主。至少在可预见的未来，代码的核心创造力和设计还得靠人类。AI可以是个好帮手，但千万别让它当主角，否则后果不堪设想。

大家好，我是敢想老田。今天咱们聊个科技圈炸裂新闻OpenAI砸64亿美元收购了苹果传奇设计师Jony Ive中国网友爱称强纳肾的AI硬件公司io！这操作简直比iPhone初代发布会还让人肾上腺素飙升。

先给各位捋个时间线2024年Jony刚成立io公司，2025年5月就被OpenAI全盘拿下，2026年就要推出首款产品。这速度，比特斯拉造火箭还快！要知道当年iPhone从研发到上市可是憋了整整三年半。

最戏剧性的是，Jony在视频访谈里直接开炮Humane和Rabbit都是糟糕的AI硬件。老田我查了查资料，发现OpenAI CEO奥特曼之前还投资过Humane，这波公开处刑简直堪比马斯克直播吐槽自家Cybertruck。

关于新产品，目前就挖到三个关键线索

1 绝对不是手机20版本Jony原话人们将以全新方式连接AI

2 要干掉传统屏幕奥特曼说还没找到图形界面的替代方案

3 交互方式会颠覆认知原型机让奥特曼直呼抓住了想象力

有意思的是，这桩收购藏着个两年多的地下恋情。最早双方居然是从怎么改ChatGPT界面开始勾搭上的，后来OpenAI通过基金持有io23股份，现在又要花50亿买剩余股份。要我说这剧情，比硅谷版史密斯夫妇还带感。

苹果那边也挺逗，听说Jony正式跳槽消息后股价当场跌了1。要老田说啊，这跌幅还算客气，当年乔布斯去世也才跌了5。不过库克现在估计在喝枸杞茶压惊毕竟io团队55人里，有iPhone设计总监Apple Watch负责人，全是苹果嫡系部队。

最后爆个彩蛋Jony之前创办的LoveFrom设计工作室还会独立存在，相当于他左手拿OpenAI工资，右手收苹果设计费。这波啊，叫硅谷最强斜杠中年。

各位听众觉得，这款神秘设备会是眼镜？脑机接口？还是全息投影？欢迎在评论区跟老田唠唠。下期咱们深扒Jony如何用一台糖果色iMac救活苹果，记得订阅频道，咱们不见不散！

大家好，我是敢想老田。今天咱们聊点新鲜的AI不仅能跟你唠嗑，现在还能当情感大师了！这事儿可不是我瞎编，腾讯最新发布的SAGE评估框架给出了实锤。

最近腾讯混元AI团队搞了个大新闻，他们开发了一套叫SAGE的评估系统。这玩意儿可不得了，它让AI模拟有感情的人，然后去评测另一个AI到底懂不懂人心。说白了，就是让AI当评委，看哪个AI最会安慰人。

在这个测试里，GPT4o表现最抢眼，把其他AI都甩在了后面。这让我想起前两天跟朋友聊天，他说现在跟AI聊天比跟某些直男聊天还舒服。我当时还不信，现在看来真不是没道理。

SAGE系统里的AI评委可讲究了，它们会记录内心想法，更新情绪值，还会根据对话质量打分。就像我们平时聊天会想这人到底懂不懂我一样，这些AI评委也会想这个AI到底有没有get到我的点。

最逗的是，这些AI评委还会写内心独白。比如虽然TA表达了支持，但没理解我真正的困惑，或者TA听懂了我在倾诉，可是安慰得好表面。这不就是我们平时跟不会聊天的朋友对话时的真实感受吗？

腾讯的研究团队还发现，情商高的AI不一定话多。GPT4o就是个典型例子，它不光最懂人心，说话还特别简洁。这让我想起我妈，她老人家安慰人的时候总是长篇大论，但往往说不到点子上。看来AI在情感交流这方面，还真比某些人类强。

更有意思的是，研究人员还给这些AI做了人格画像。有的像才华横溢但社交笨拙的创意天才，有的像受过专业训练但缺乏情感的机器人咨询师。不过目前还没有哪个AI能真正做到既创意十足又能深刻共情，这不就是咱们找对象时的理想型吗？

说实话，看到这个研究结果，我既觉得神奇又有点小担忧。神奇的是AI居然能这么懂人心，担忧的是以后会不会有人宁愿跟AI聊天也不愿意跟真人交流了。不过转念一想，要是AI真能帮那些不擅长表达的人更好地理解他人，倒也是件好事。

这事儿让我想起个段子以后相亲可能得先问你用的什么AI？，要是对方说我用的是GPT4o，那妥妥的加分项啊！

不过说正经的，这项研究确实让我们看到了AI发展的新方向。当AI的智商已经高到一定程度后，情商就成了新的竞技场。毕竟在现实生活中，我们需要的不仅是一个能答题的机器，更需要一个能理解我们情绪的伙伴。

最后说句掏心窝子的话虽然AI越来越懂人心了，但咱们还是得多跟真人交流。毕竟再智能的AI，也比不上一个真实的拥抱，对吧？

大家好，我是敢想老田。今天咱们聊个劲爆消息OpenAI刚刚宣布以65亿美元约合人民币468亿元收购了前苹果首席设计官Jony Ive创立的AI硬件公司io。这不仅是OpenAI史上最大手笔的收购，更标志着AI巨头正式杀入硬件领域！

说实话，当我看到这个新闻时，第一反应是这下可有好戏看了！要知道，Jony Ive可是iPhone的设计之父啊。这位58岁的设计大师在苹果干了27年，从iMac到iPad，从MacBook Air到Apple Watch，可以说他设计的每一款产品都改变了世界。现在，这位传奇人物要和OpenAI联手打造下一代AI硬件，这简直就是科技界的梦幻组合！

OpenAI的CEO萨姆阿尔特曼在社交媒体上激动地说乔尼是世界上最伟大的设计师。这话一点都不夸张。据说阿尔特曼已经拿到了io的原型机，还夸它是世界上最酷的科技产品。啧啧，能让见多识广的阿尔特曼这么兴奋，看来这东西确实不简单。

有趣的是，OpenAI的官宣公告被网友吐槽像婚礼请柬。不过想想也是，这确实像是一场科技联姻一边是AI领域的领头羊，一边是工业设计的王者。据我了解，io的首款产品预计2026年问世，可能会是头显智能穿戴设备或者其他家用AI产品。

这里有个细节特别值得玩味虽然收购了io，但Jony Ive的设计公司LoveFrom仍将保持独立。这意味着什么？说明OpenAI不仅要做好AI，还要在硬件设计上追求极致。阿尔特曼说得很明白伟大的工具需要技术设计以及对人与世界的理解的交汇。这话说得太到位了！

说实话，作为一个科技爱好者，我特别期待看到这对黄金搭档能擦出什么火花。想想30年前，Jony Ive和乔布斯联手改变了整个手机行业现在，他和阿尔特曼的合作，说不定会重新定义AI时代的人机交互方式。

不过话说回来，65亿美元可不是小数目。OpenAI去年底就已经持有io23的股份，这次又砸下50亿美元完成收购，可见他们对AI硬件的重视程度。要知道，阿尔特曼之前还投资过做AI胸针的Humane公司，看来他一直在寻找AI落地的硬件载体。

Jony Ive在公开信里说过去30年所学的一切，都引领我走到了这一刻。这句话让我特别感慨。从Macintosh到iPhone，再到现在的AI硬件，这位设计大师的职业生涯简直就是在书写科技史。而OpenAI这次收购，很可能就是下一个科技革命的开端。

最后说点个人看法AI发展到今天，确实需要一个更自然更人性化的交互方式。键盘鼠标？太老套了！语音助手？还不够智能！也许Jony Ive和OpenAI的合作，真能给我们带来一个全新的计算范式。反正我是等不及想看看2026年他们会拿出什么惊世骇俗的产品了！

好了，今天就聊到这儿。你对OpenAI进军硬件领域怎么看？欢迎在评论区留言讨论。我是敢想老田，咱们下期见！

大家好，我是敢想老田。今天咱们聊个炸裂的消息办公软件要变天了！就在前几天，昆仑万维扔出了一颗重磅炸弹，发布了他们的天工超级智能体Skywork Super Agents。这玩意儿可不是普通的AI工具，它直接对标Office全家桶，号称能用AI彻底颠覆咱们的工作方式。

先说说这玩意儿有多猛。它集成了文档PPT表格网页播客五大专家级智能体，外加一个通用智能体。简单来说，就是把你每天要干的那些破事，从写报告到做PPT，从分析数据到剪视频，全都包圆了。最绝的是它的deep research能力，在GAIA榜单上直接干掉了OpenAI和Manus，拿了全球第一！

老田我特意试了试它的文档功能。你猜怎么着？让它写个宠物可穿戴设备的行业报告，不到十分钟就给你整出一份带图表带数据的专业报告，连参考文献都标得清清楚楚。PPT功能更夸张，输入个西班牙建筑朝圣之旅，立马给你生成一套可以直接拿去演讲的幻灯片，连最佳旅游季节的数据图表都给你安排上了。

最让我服气的是它的澄清卡片功能。这AI不像其他工具那样随便猜你的意思，而是会先问你一堆问题，把需求摸得门儿清才开始干活。生成的内容还都能溯源，再也不怕AI胡编乱造了。

现在这玩意儿已经开放注册了，全球官网skyworkai，国内版是tiangongcn。老田觉得，这可能是继ChatGPT之后，又一个能真正改变我们工作方式的AI产品。你们觉得呢？欢迎在评论区聊聊，你工作中最希望AI帮你解决什么问题？

大家好，我是敢想老田。今天咱们聊点硬核的编程模型界的重磅炸弹！就在昨天，Mistral AI和All Hands AI联手扔出了一颗深水炸弹Devstral。这玩意儿直接把开源编程模型的王座给掀了，DeepSeek全家桶和Qwen3 235B都得靠边站。

最绝的是什么？这货参数只有24B，居然能在单卡RTX4090甚至32G内存的Mac上跑！老田我听到这个消息的时候，差点把咖啡喷在键盘上。要知道，现在市面上那些号称轻量级的模型，哪个不是得配个服务器集群才能跑得动？

Devstral最牛的地方在于它是专门针对真实GitHub Issue训练的。什么意思？就是说它不像其他模型只会写点碎片化的代码片段，而是真能理解大型代码库的上下文，能识别不同组件间的关系，甚至能揪出复杂函数里的细微错误。这简直就是给程序员配了个24小时待命的代码审计员啊！

在SWEBench Verified基准测试里，Devstral不仅吊打所有开源模型，连很多闭源模型都被它按在地上摩擦。测试用了500个真实GitHub Issue，结果证明这货是真有两把刷子。

老田我特别欣赏它的人性化设计。有个开发者让它写个待办事项APP，它居然先问用户想用什么技术栈！这哪是AI啊，这简直就是个懂礼貌的实习生。虽然最后UI复刻得不算完美，但至少证明它真的在思考问题。

说到合作方All Hands AI，他们的口号少写代码，多做事深得我心。他们开发的OpenHands智能体框架配上Devstral，简直就是程序员的神装组合。这框架能修改代码运行命令浏览网页调用API，甚至能从StackOverflow复制代码这不就是每个程序员梦寐以求的助手吗？

目前Devstral还是研究预览版，但已经在GitHub上掀起轩然大波。老田我预测，不出三个月，这玩意儿就会成为每个开发团队的标配。毕竟，谁不想有个24小时不休息还不用交社保的编程大神当同事呢？

最后说句掏心窝子的话在这个AI日新月异的时代，像Devstral这样的工具不是在取代程序员，而是在解放程序员的创造力。它让我们能把时间花在真正重要的事情上比如思考如何用代码改变世界，而不是纠结在那些重复性的debug上。这，才是技术进步的真正意义。

大家好，我是敢想老田。今天咱们来聊聊科技巨头谷歌在美股大跌中的逆势表现。就在昨天，美股市场可谓是一片哀嚎，道指狂泄800点，医疗板块更是惨不忍睹。但就在这满盘皆绿的行情中，谷歌却一枝独秀，股价逆势上涨近3，成为七大科技巨头中唯一的上涨股。这到底是怎么回事？

原来，谷歌在最近的IO开发者大会上亮出了它的AI王牌AI模式。这个被谷歌称为最强大的AI搜索的新功能，不仅具备更强的推理能力，还能通过追问深入挖掘搜索结果。简单来说，就是让搜索变得更智能更人性化。

老田我仔细研究了一下，发现谷歌这次真的是All in AI了。从Gemini 25模型的反超，到现在的AI模式全盘发布，谷歌在AI领域的布局可谓是一步一个脚印。而且，谷歌凭借其领先的AI模型庞大的流量矩阵和自研基础设施，已经形成了难以复制的独特优势。

现在市场上能和谷歌在AI领域掰手腕的公司还真不多。苹果的AI模型还在延期，OpenAI虽然势头不错，但应用场景还在积累。至于Anthropic，更是连显著的市场入口都还没找到。相比之下，谷歌的战略布局就显得尤为前瞻性。

不过，老田我也注意到，市场对谷歌的广告业务还是有些担忧。毕竟广告收入是谷歌的主要收入来源，而AI模式的商业化路径还不完全明确。但今天的股价反弹说明，市场已经开始认可谷歌的AI战略了。

说到这，老田不得不感叹，AI时代的竞争规则真的变了。不再是简单的用户活跃度流量的比拼，而是更看重模糊任务定义跨行业应用和专业能力整合的综合实力。谷歌这次展示的全栈服务体系，正是瞄准了这个方向。

最后，老田想说，虽然沃尔玛的裁员消息也值得关注，但今天的主角绝对是谷歌。在美股大跌的背景下，谷歌的逆势上涨不仅给投资者带来了信心，更预示着AI技术正在重塑科技行业的竞争格局。让我们拭目以待，看看谷歌的AI战略还能带来哪些惊喜。

大家好，我是敢想老田。今天咱们来聊聊具身智能，这个近年来人工智能领域的热点话题。具身智能，简单来说，就是让AI不仅会思考，还能通过身体与环境互动。这个概念听起来很酷，但实际落地还有不少挑战。

首先，具身智能的载体不限于人形机器人。无人车扫地机器人，甚至元宇宙里的虚拟NPC，都可以是具身智能的体现。但为什么大家特别关注人形机器人呢？可能是因为人形更容易被接受，也更能模拟人类的复杂行为。

不过，具身智能的发展还面临不少问题。比如数据瓶颈，机器人需要大量交互数据来学习，但这些数据采集成本高速度慢。另外，计算资源和模型架构也是挑战。大模型虽然强大，但如何与感知系统记忆模块等协同工作，还需要更多探索。

在应用场景上，具身智能最有可能率先落地的领域包括家庭看护工业制造和检修类场景。这些场景需求明确，技术相对成熟，更容易实现商业化。

未来，具身智能的发展趋势可能包括从性能优化转向适应性设计从确定性控制转向概率性思维，以及从工具属性转向伙伴属性。这些变化将让机器人不仅是个工具，还能成为我们的助手甚至伙伴。

总之，具身智能的路还很长，但方向是明确的。随着技术进步，我们离真正的通用机器人会越来越近。

大家好，我是敢想老田。今天咱们聊点刺激的谷歌这次真的急眼了！就在昨天，谷歌IO 2025开发者大会上，他们宣布了一个重磅消息要给搜索引擎来个大换血，推出全新的AI模式。这可不是小打小闹的更新，而是谷歌成立以来对搜索业务最大的一次手术。

说实话，看到这个消息我一点都不意外。自从ChatGPT横空出世，整个科技圈就像被扔了颗原子弹。现在谁还愿意像以前那样，在谷歌搜索里翻十几页的链接啊？大家都习惯了直接问AI，让它把答案喂到嘴边。谷歌要是再不行动，那可真要变成互联网时代的恐龙了。

这次谷歌的AI模式可真是下了血本。简单来说，以后你搜东西，谷歌不再给你一堆链接让你自己找，而是直接让Gemini大模型给你个现成答案。这感觉就像把ChatGPT直接塞进了谷歌搜索里。更绝的是，他们还准备搞虚拟试衣功能上传张照片就能看衣服上身效果，这招够狠吧？

但最让我感兴趣的是谷歌CEO皮查伊的那番话。他说这是搜索引擎的彻底重构，这话听着挺唬人，但仔细想想，这不就是被逼无奈吗？现在谷歌90的搜索流量都岌岌可危，再不转型，广告收入这块大蛋糕就要被AI聊天机器人抢走了。

说到竞争，那才叫一个精彩。苹果那边已经在Safari里准备接入ChatGPT了，微软更是早就押注OpenAI。谷歌虽然家大业大，但在AI这条赛道上起跑确实慢了半拍。现在他们拼命给Gemini打鸡血，就是想扳回一城。不过说实话，用户可不管谁的技术更先进，谁用着顺手就用谁。

最逗的是，谷歌一边要应付AI领域的激烈竞争，一边还得在法庭上跟反垄断官司斗智斗勇。这让我想起了一句老话屋漏偏逢连夜雨。现在法官都在考虑要不要强制谷歌把Chrome浏览器给拆分了，这要真成了，那乐子可就大了。

不过话说回来，谷歌这次转型确实够大胆。他们甚至准备在AI模式里植入广告，这操作简直就是在走钢丝既要让用户满意，又得让金主爸爸们开心。搜索产品副总裁斯坦说这是更契合需求的内容组合，要我说，这就是在AI时代重新定义怎么赚钱。

最后说个彩蛋皮查伊在法庭上透露，谷歌正在和苹果谈判，想让Siri也能调用Gemini。想象一下，以后你问Siri问题，背后可能是ChatGPT和Gemini在打架，这画面太美我不敢看。

总之啊，谷歌这次是真的拼了。AI模式能不能让他们重振雄风，咱们拭目以待。但有一点是肯定的搜索这个行业，再也不会回到从前了。