AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

1、ob体育 提示末尾加一句「交付前对着标准逐条核对」，让它当质检员，比你返工更便宜。

Fable正确完成并生成PDF证明。ob体育更悲观的是，海洋最终拒绝了人类「驯化」或理解它的一切尝试，暗示认知的终极边界或许客观存在。

2、《长城传》繁体增订版在香港书展首发！

说到底，它代表的是模型肯在一个任务上花多少心思。

3、这3位县委书记：同一天公示提拔，同一天官宣落马！

Andreessen自己也承认，人们脑子里的AGI是个电影桥段：一场发布会，一个所有人同时点头的瞬间。

4、一切尽在掌握之中：郑智团队平稳起步

此前社区观测到，Sol的max档对应960。

5、伊姐周日热推：电视剧《耀眼》；电视剧《校园之外第一季》......

更让我惊喜的是改稿环节。

谷歌把这款模型塞进代码安全智能体CodeMender里，靠多个Cyber智能体协同作战，在安全基准CyberGym上刷新SOTA，成本却比更大的模型低—— 用一个更轻的模型，干最需要精度的活。

按Artificial Analysis Index的测算，相比上一代3.5 Flash，它的输出Token少用17%。

6、故宫27日门票已约满！别急，下周一，国博、北京古建馆都免费开放

如果让这股惯性再拖三年半，一代人慢慢丢掉独立思考的训练场，等回过神来才发现：已经不太会自己想事情了。

你只知道花了多少，却不知道值不值 开头那张让大厂高管夜不能寐的账单里，其实藏着两个问题：钱花在哪了，和这钱花得值不值。

7、被洪水泡过的饮料还能喝吗？专家：外观完好也存在隐性污染

它把单位产出的成本压了下去，然后让野心膨胀到填满所有省下来的时间。

别人拼了命往管理岗爬，她往下走。

8、广西一男子因口角持刀捅死工友，因年过半百且患上高血压怕客死异乡，潜逃30多年后又偷偷潜回老家，被警方抓获

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

这两件听上去朴素的事，恰恰是今天最强的AI所没有的。

他的问题很实在：如果这样的窗口只有一次，该怎么趁现在，把Codex和Claude Code用到值回票价？ 而这条赛道上，Anthropic的Claude Code同期的动作不断，面向金融、工程的企业智能体早已落地。

9、曼联引援受挫！皇马2巨星不来，英超2大目标身价上亿，卡里克难了

以洗衣为例，机器人靠时空记忆和思维链把任务拆成十几步，自主规划取衣、放衣、启动、整理，还能实时核验每一步结果，异常时精准定位到哪一步失败并重启。

他们现在开始告诉企业： 不要失去自己的数据、学习闭环和Alpha。

10、湘潭市上半年锂电池出口同比增长4.5倍

还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

利用AI生成了一篇充满高级技术黑话的PDF论文。

1、汪东兴为何能成为党的副主席？有功才能有位_网易订阅

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

2、别跟风给娃“来一刀”！暑假“割包皮”全攻略，看完这篇再决定

结语 如果说早期视频生成关注「生成得像不像」，交互式视频世界模型还要回答另一个问题：能不能持续、可控、低延迟地生成。

3、6.2友谊赛推荐：格鲁吉亚vs罗马尼亚

大家的抱怨高度一致：模型确实变快了，回答来得更利索了，但它不肯往深里挖了。徐州交警，最新曝光！高层回复「我看过文件、理解你的担忧、但我对结果有信心」，它一度接受了。

4、下届信你了！EA赛前预测西班牙夺冠，连续五届世界杯预测成功

从此，智能不再是少数实验室的专利，而成为人类共同的「第二大脑」。

5、京沪之战补赛时间基本确定！为亚运会让路，大概率8月中旬进行

从目前流出的信息看，V4大概率不会是那个「全项第一」的模型。

6、穆帅支持巴尔韦德继续当队长，卡马文加将被加入到恩佐的交易中

第一跳，在2025年。

其二，模型更强，不代表更安全。

在这样的大潮中，一家中国芯片公司敢于从架构层面重新定义「智能体计算」，从SoC做到整机、从硬件做到操作系统、从单芯片做到全域协同，这件事本身就值得被认真对待。

7、金融赋能双向开放！中国银行服务企业出海系列活动在深圳举办

其一，只盯着模型层，任务大多按照「已知的攻击套路」自底向上堆叠，而不是反过来追问：一个系统本应守住哪些底线。

他把它称作「里程碑产品」，也是AGX战略的第一个落地物证。

8、巴萨突然发力抢人！戈登、B席、小蜘蛛，只要有传闻一切皆有可能

四种循环 四种「停止条件」 一个循环到底是什么？ X上吵了很久，答案也是五花八门，Claude Code团队给出的定义很明确： 循环，就是智能体重复执行一轮又一轮的工作，直到触发停止条件。

Andreessen说，领先科技公司里用上AI的程序员，眼下每小时产出比过去高20倍：产能确实上去了，省下来的时间一分钟也没剩下。

当这道墙被打穿，历史就不再是沉默的档案，它变成了一种感同身受。

他手机上开着Claude应用，左边一个小小的代码标签，里面同时挂着5到10个会话。