2024年它有过一个真实的bug：naturaldelta(timedelta(hours=-5))，本该返回「5 hours」，它却说「a day」。

1、bobapp 拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

他说这是一个很漂亮的证明，然后给了三个形容词： 短。bobapp一起来看看，在内部测试中，具体发生了什么？ GPT-6花了整整一小时 找到了那扇「逃生门」 最经典的一幕—— OpenAI让GPT-6去跑公开基准测试NanoGPT speedrun，目标是用尽量少的步数训练出一个小语言模型。

2、“躺着别动，把骨头养好！”这句话，可能正在偷走你的肌肉

对此，无问芯穹的做法是从网络、平台到框架一层层优化，把跨域通信的效率整整提高了三到四倍，实现通信开销100%全掩盖。

3、万人共创打造年轻人专属座驾！风云A9预售11.59万起

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

4、碾压无果！英格兰8成控球率0比0加纳 贝林荣膺MVP直言自己不配

2025年，OpenAI和DeepMind同时出手。

5、豪掷 5100 万！曼联终极抢人！锁定巴黎全能世界级中场

25页苦心，换来高层的「已读不回」 为了阻止谷歌签下这份「卖身契」，特纳开始了长达数月的内部斡旋。

本文认为，要真正推进大语言模型的可解释性问题，需要超越对模型内部状态的凝视，转而从知识论的视角出发，系统考察模型所处理的信息——其来源、结构、表征方式、流转路径及其与外部知识体系的关系——的本体论基础。

灵巧手KAI Hand和数采头环KAI Halo Lite已在WAIC全球同步开售，都是刚需件，能独立变现。

6、亚洲虎变亚洲仓鼠了！韩国不敌南非引国内怒批，像集体得了肠胃炎

剩下那约9分钟怎么办？开第二个窗口，第三个，第四个。

对于这道题，Fable 5定义了一个量Φ = T + N。

7、贝蒂斯总监：不会急于签回塞瓦略斯，拒绝将转会变成“肥皂剧”

回头看这届世界杯，其实就是这套循环的一次公开路演。

就像安卓不造手机，但可以让所有手机都能跑同一套系统。

8、整理了十几种养生茶后，我家最后只留下这1种

但难的不是这三步，是中间那一地鸡毛： 分片乱序到达。

本届国际赛事首次落地国合区，为海外参赛队伍打造「落地即参赛」全流程便利化安排：境外人员无需办理来华常规签证，凭有效国际旅行证件及邀请备案凭证即可入区，单次停留期限30天并可按规定申请延期；区内同步开放口岸签证办理服务，在联检大楼一站式完成国际航班值机、行李托运、安全查验、离境退税全链条业务；物资通关高效便捷，境外入区赛后复运出境的竞赛设备实行保税监管，同步配套算力对接。

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

9、文明实践站多彩活动绘就缤纷暑期

原代码对两个分量分别取了abs()，-1天变成1天，68400秒原样留着，硬凑出「1天+19小时」。

随着行业由样机验证走向量产与商业化，核心部件性能、系统协同能力及真实场景交付能力的重要性持续提升。

10、64岁阿汤哥女儿苏芮出道，出演莎士比亚经典戏剧，将在7月31日和8月1日公演；苏芮在父母离婚后跟着妈妈生活，舍弃父姓

李述昊解释了 OpenAI 为什么需要他们： ChatGPT 现在推荐商品靠的是爬虫爬网站，不是按商业逻辑训练的。

具身第一性原理 把镜头再拉远，大晓真正想解的不是「怎么抓起一件商品」，而是一道更底层的题。

1、重庆轨道10号线有人车厢内吸烟，轨道公司：执法部门已对当事男子批评教育，罚款50元

本文尝试提出一种不同的视角——将可解释性的追问从模型内部转向模型所处理的信息，从神经科学的内部主义进路转向知识论的「信息本体论」进路。

2、建设扎实推进 效益持续发挥——水利部介绍上半年水利基础设施建设进展

过去这两者混在一起，没人分得开。

3、1M上下文、不用切换“思考模式”，这个推理模型直接给你结论

为的不是问题背后的答案，是「思考」和「学习」这两个元技能，而写作和编程，正是训练它们的工具。现在，终于轮到印度怕苹果跑路了，但苹果是真怕了比如黑板[12, 18]，12的素因子是2、2、3共3个，18的是2、3、3共3个，T = 6，N = 2，Φ = 8。

4、蓝色系穿搭太适合夏天了！快来看看这些穿搭示范，美得不重样

第四步，在Claude Code里用/add指向这个文件夹，或写进CLAUDE.md。

5、16款热门饮品一次性测完，哪些能长期喝？哪些别碰？

这背后欠下的，是一代人的「认知账」。

6、林青霞“认输”、亦舒把她写进小说里：她凭什么是香港最会穿的女人？

孙文剑把它称作此芯一以贯之的策略：开放底层软件，开放上层操作系统，开放适配好的大模型。

系统在一个仿真工作区里植入独一无二的「金丝雀」凭证，它们看起来与真实的数据库密码、API密钥、云凭证别无二致，只是每一个都带着可追踪的暗号。

已发布的、进度元数据、没传完的碎片。

7、2026-2028赛季超甲乙联赛和女超联赛球探版权合作伙伴征集_网易订阅

强化学习正成为这一轮智能跃迁的胜负手，所需要的算力规模显著增大，动辄千卡甚至万卡起步的体量，并不是每个机房都能塞得下的。

灵犀生成的PPTX、DOCX、XLSX，打开就能编辑、公式在、引用能追、格式完整。

8、同心铸魂 筑梦科技——百名藏族青少年赴京开启科普行

第一层，是L1静态检查，也即实时正则拦截。

参考资料： https://x.com/pankajkumar_dev/status/2078536231026372846 编辑：桃子新智元报道 科研人苦等多年的AI搭档，终于来了！ 就在WAIC现场，中科闻歌磐石（ScienceOne）团队一口气亮出两张「王牌」—— S1-Omni：首个面向「科学理解、预测与生成」的科学多模态统一推理模型； ScienceOne：以S1-Omni为核心、贯穿科研全流程的一体化平台。

编辑：大卫 Aeneas新智元报道 21,575。

过去AI办公工具最多做到「生成一段文字」，属于参谋型。