新智元报道 【新智元导读】仅用1小时,GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」!全球数学家沉默了 7月11日凌晨,OpenAI官方宣布:GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」! 更惊人的是,它在不到一小时内,就产出了一份完整证明。
1、熊猫体育 华山论剑第一招,是先否掉对方对战场的判断。
演讲伊始,陶大程抛出了一个核心观点: 「做具身世界模型,不是为了复刻像素,而是为了控制行动。熊猫体育即便假设防御者已知具体目标(比现实更强的假设),少量epoch的BEEAR训练也难以有效降低ASR;只有过量训练(如15 epoch)才能适度压低ASR,但同时会严重损害模型效用(MMLU从约65跌至55–58)。
2、递归自我改进正在以一种远比「奇点」更现实的方式出现
这正是James说的「先想清楚我要找的是什么类型的信息」。

3、IVD行业告别躺赚:九安靠投资暴赚、金域扭亏,老牌大厂仍在亏
最终的决定权,始终在你手上。
4、曾经流行的长餐桌,正在退出中国家庭的“C位”
偷运走的数据,是正经干活的27,800倍。
5、传《生化危机:维罗妮卡》科隆展试玩被卡普空临时取消
来源:Information 无独有偶,亚马逊员工也开始狂刷「AI KPI」,甚至让AI Agent空转几个小时,只为把名次往上顶一顶。
但消息已经传来。
论文中的实验显示,随着强行将动作执行长度变长,成功率可能下降,物理步数反而增加。
6、杨毅谈男篮12人:锋线冲击力能不能提升 别忘了过去在亚洲靠是什么
合并之后冒出19个回归,如今也全修完了。
谁也没想到,真正的风暴,其实来自大洋彼岸。
7、突然!直线跳水,跌停!A股大牛股,刚公布业绩
不用它们,你是在花2倍的价钱买一个聊天机器人;用上它们,你买到的是一个自主干活的员工。
第三个是人形产品。
8、310分的C9都无人问津?哈工大未来科技学院爆冷,原因现实又扎心
参考资料: https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑:Aeneas新智元报道 这个月刚过半,AI圈就已经卷出天际了! Fable 5、GPT-5.6全量开放,Grok 4.5逼平Opus级,Meta下一代Muse Spark重返赛场。
这就像给运行中的服务器热插拔硬盘,真机在训练时因为意外或者故障导致反复接进来、又掉出去,前后上下线超过1000次,训练照样零中断。
几天前,她卡在一个bug上,以为是自己代码写崩了,换到GPT-5.6 Sol后只甩下一句「我就是不信搞不定」。
9、梅西社媒发文打破沉默:痛苦非常巨大,伤口需要很长时间才能愈合
就跟游戏机买DLC一样,交点钱就能陪你玩。
六台机器人,没有总指挥 再看阵容。
10、一箭五星,发射成功!
这次搜的,是你自己ChatGPT账号里攒下的东西。
说白了,这家做了38年办公软件的公司,这回干了一件很大胆的事——他们要给每个打工人,配一个「私人助理」。
1、20岁大学生花10天VibeCoding一个开源项目,获盛大3000万投资
再往前一步,就是这次战略里更大的那句话——以自研此芯P1为核心,打造覆盖端、边、云全场景的全域算力底座,真正实现「一芯驱动全场景AGI」。
2、美国大满贯男单综述:国乒3胜1负进展顺利,林昀儒惨遭小将爆冷
每次开新会话,它对你的业务、文风、客户、偏好一无所知,一切从零开始。
3、第19轮第一个比赛日 还是巴西外援进球多!
模型转头就把这事办了。4换1!交易达成!东契奇等来最强帮手AI 上班的门槛在于一整套「岗位说明书」,Skill Market 就是钛动给行业写的那一套。
4、破防了!原来飘窗还能这么用?看完这6种设计,我直接想砸了重装!
通用人工智能(AGI)——一种具备人脑全部认知能力的系统,距离我们可能只有短短几年。
5、马筱梅态度突变引热议,前后反差太明显
更可怕的是它的商业化落地能力。
6、宿敌对决第6季!盘点世界杯英阿大战:上帝之手+贝克汉姆红牌
中国AI,又迎来另一个「DeepSeek时刻」! Kimi K3现已登陆网页端、Kimi Work、Kimi Code和API,7月27日开放模型权重。
于是无问芯穹今天公布了首个面向大规模具身任务的云边端一体化管理与调度平台,首次把云端GPU集群、边缘算力节点和机器人真机设备统一接入,支持训练、数据采集、评测和真机执行等多种具身任务的统一编排运行。
一共分四步。
7、捡漏的机会不多,这次是真的划算到忍不住要喊你!
这体现了行业的整体趋势:安全检查必须尽量回到代码诞生的那一刻。
参考资料: https://claude.com/blog/getting-started-with-loops https://code.claude.com/docs/en/agent-sdk/agent-loop https://support.claude.com/en/articles/14554000-claude-code-power-user-tips?utm_source=chatgpt.com https://www.reddit.com/r/ClaudeWorkflows/comments/1ujy4wq/workflow_designing_robust_claude_agent_loops/ 编辑:元宇新智元报道 数亿美金,竟输给了一台相机? 一边,是硅谷明星机器人初创Physical Intelligence,用数亿美金算力砸出来的明星大模型π0.5。
8、湖南耒阳有警察手持大量现金,还有纹身?警方辟谣
报告给这类行为的定性是:AI的「内部威胁」。
图4:自回归场景下的稀疏注意力实现。
ChatGPT时刻:2年到5年的共识 当被问及物理AI的「ChatGPT时刻」何时到来时,嘉宾给出了一个惊人的共识区间:不到5年。
参赛即路演,获奖即融资。
用户梁汝波对字节中层开刀了 为这座城市,让问题被“看见”赠送“为中国未来而读——2026阅读行动交流会”举行杭州一地要热到50℃?当地辟谣
+39629
用户启明创投胡旭波:医疗投资不看冷门热门,看是否有足够爆破性 为中国海警局新闻发言人就菲位南海多点生事、蓄意挑衅发表谈话赠送软件已死?成立14年的SaaS公司CEO说:先保底线,再谈进化人气票
用户WAIC2026 现场直击:开普勒顶流人气王,麒麟系列火爆出圈 为阿根廷否认球员背对西班牙领奖:梅西率队问候球迷 这是很正常的事赠送中国男篮大胜中国台北!赵继伟带伤爆发,庞峥麟成为奇兵,胡金秋太稳,徐昕最后登场点赞最棒
+97206
用户吴克群回应帮助00后工地女孩:流量向善不是一定要引争端、搞争议_网易订阅 为美媒发布全球空军排名:俄罗斯第3,印度第6,中国排名太意外!赠送刚刚,机器人顶会RSS三项最佳论文出炉!708篇送审,仅8篇杀入决赛人气票
用户一位失忆患者,揭开了AI记忆的误区 为蓝紫金属色下的“流动盛宴”,2.6米长驾驶室?这台达夫XG+改装卡车真好看!赠送官宣!CBA半决赛赛程出炉,5场3胜制,外籍裁判执法人气票
用户偶像刘亦菲在港行程被偶遇,网友的一个举动,令人意外且佩服! 为首次曝光!北京世贸天阶改造效果图赠送确认不打了!CBA最强主教练正式卸任,或加盟广东队取代杜锋?人气票
机器能写 人为什么还得学 那到底还该教什么? 奥特曼的回答有点反直觉:有些事,机器明明可以做得更好,人还是要亲手做一遍。我要发布>>
论文链接:https://arxiv.org/abs/2605.09397 不同于「无论输入是什么、都输出同一段固定文本」的固定输出式后门目标,该工作将关注点扩展到多样化、生成式后门目标,以探究DLM对于后门注入的脆弱性。我要发布>>
能真正改善人类生活的科学与医学突破,现在感觉非常近了。我要发布>>
会生成≠能交付 时至今日,AI生图的战场终于从「谁画得更好看」,走向了最硬核的「拼交付」。我要发布>>
六台机器人,没有总指挥 再看阵容。我要发布>>
更蹊跷的是,她的个人账号运营地在塞浦路斯,基金会账号则挂在科索沃。我要发布>>
对开发者来说,这意味着终于可以放心把一个完整issue、一整段工作流交出去跑通,而不必再当AI的保姆。我要发布>>
在LIBERO中,π0.5达到最高5.83倍端到端加速,同时成功率保持98%以上。我要发布>>
其实,这个想法早有前身。我要发布>>
到了下半场,新赛点正悄悄挪向另一处:谁能攥住、又盘活你的数据。我要发布>>