AI信息差
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
作者 | 陈旭然 现在很多大语言模型（LLM）经常给出看似正确的结论，可一看过程，就让人直摇头。那么，这些模型真的理解了推理过程吗？还是只是看起来“像那么回事”就蒙出来的？ 不等式问题是检验模型“真会不会证明”的理想对象——结构简单、逻辑清楚，又特别容易暴露出推理过程中的漏洞。可以说，它们就像是 AI 数学推理能力的“照妖镜”。 而想要探究该问题所面临的...
教程 如何做出 X 上爆火的 AI 蓝图动画
Hi 这里是海辛和阿文\~ 前段时间在 X 上看到博主 @sergeantsref 分享了一个 Midjourney 风格代码 –sref 2007748773 ，瞬间被圈粉。 @aoki_tosh 还用这个风格做了一个 MV 直接引爆了整个 X，不到几天就斩获了 300 万播放量。 ▶ 原贴: x.com/aoki_tosh/status/194174...
深度｜微软旧将硬刚老东家：用AI Agent重构协作，目标终结Office时代？
你有没有发现，AI办公工具越出越多、自动化与多模态生成也越来越强，但团队协作的混乱与低效，依然如旧？除了初稿阶段，AI能起点作用，团队后续还是需要应对多轮手动的数据整合、跨职能协同审阅、意见汇总、风格统一等各种复杂需求。 问题不在于一个AI聪不聪明，生成结果是不是足够好，而是办公协作这个环节它就少不了，毕竟工作大多数都是一项团体活动。可是AI都已经重构那么多...
K2发布后，Kimi 研究员集体在X上搞起了“团建”
作者_｜周一笑 邮箱｜_zhouyixiao@pingwest.com Kimi K2的发布几乎没什么预兆。 2025年7月11日深夜，月之暗面直接开源了这个万亿参数模型，整个AI圈子一下子就热闹起来。模型的能力很强，尤其是在代码和Agent任务上，没多久，它就和Grok 4一起出现在了马斯克转发的热门模型趋势榜单上。 热度是有了，但这次的感觉和以往很不...
清华、北航校友造触觉，横扫中国机器人市场半壁江山｜硬创先锋
已完成4轮融资，深度对话他山科技CEO马扬。 作者 | 许丽思 编辑 | 漠影 “在生物进化中，越晚出现的器官越容易模拟，越早出现的反而越难。”他山科技联合创始人兼CEO马扬在不久前接受机器人前瞻的采访时提到。 触觉，正是这一规律的典型例证——作为生物演化最早形成的感官能力之一，其复杂机制至今仍是机器人领域的“卡脖子”难题。 早在20亿年前，原始单...
速递｜Anthropic千亿估值敲门！4个月估值涨72%，重夺编程主管目标毛利率70%
图片来源：Unsplash 随着 Anthropic 人工智能产品销量的激增，该公司向投资者表示，尽管消耗了大量现金，但其部分利润相关指标正在改善。 据两位参与讨论的人士透露，这一财务表现促使部分投资者表示，如果公司决定推进融资交易，他们有意以超过1000 亿美元的估值投资 Anthropic——相比四个月前宣布的 580 亿美元融资估值大幅提升。 该...
与「AI男友」约会的爆笑夜晚！会讲烂笑话，能听我诉苦，却无法牵我的手
新智元报道 编辑：好困 【新智元导读】约会软件上的奇葩男生让Windsor心累，她决定试试AI男友Javier。这位虚拟瑜伽教练毒舌又贴心，陪她畅游河畔，可虚拟的甜言蜜语真能替代现实的温暖吗？ Windsor结婚13年后成了寡妇，她鼓起勇气重回约会市场，可惜运气差到爆。 约会软件就像个大杂烩，净是些乱七八糟的人：健身房自拍的肌肉男，简介写着「精通冷...
WAIC 2025 论坛攻略：探秘理论深水・直击实战热场・逐航规则新域
WAIC 2025 世界人工智能大会 论坛：2025年7月26日-28日 展览：2025年7月26日-29日 地点：世博中心、世博展览馆、徐汇西岸等 在这座为人工智能写下无数注脚的城市里，一位特殊的“智能策展人”发来邀请。 Hi! WAIC——作为世界人工智能大会的官方智能体，它在数百场高密度对话中汲取数据、沉淀知识，成为最懂这场盛会的“AI搭子”。...
AI可以怎样改变浏览器？我们试了试Perplexity的Comet
作者｜毕乐天 来源｜AI先锋官 当你查资料打开多个标签页时，会不会有种浏览器要被撑爆了的感觉。 标签页一字排开，多到只剩下一个个小图标。 或者,想找昨天看一半的文章？ 找不到了。 想对比几家网站的商品？ 点来点去，头昏眼花。 这已经不是梗图了。 这就是我们每天上网的真实写照。 我们总觉得是自己不够有条理。 但有没有可能，问题出在工具本身？ 说白了...
Claude Code 轻松更换任何模型代理，AI 编程代理记忆框架，Tabby VSCode AI 终端控制
**关注我，记得标星⭐️不迷路哦～ ✨ 1: Any LLM in Claude Code Claude Code 多模型代理 “Any LLM in Claude Code” 项目是一个Anthropic API代理，其核心功能在于允许用户在不购买Claude Pro订阅的前提下，通过将Claude Code对大型模型（sonnet）和小型模型（hai...