同一批模型,一边推翻80年的数学猜想,一边在急诊分流上过不了关。
1、乐鱼电竞 新智元报道 【新智元导读】仅用1小时,GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」!全球数学家沉默了 7月11日凌晨,OpenAI官方宣布:GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」! 更惊人的是,它在不到一小时内,就产出了一份完整证明。
自WAIC举办以来,这是首次由国家最高领导人出席并发表主旨讲话。乐鱼电竞八个月前,OpenAI就发过ChatGPT for Teachers:同样免费、同样面向美国K-12老师、同样免费到2027年、同样拉上了美国教师联合会(AFT)。
2、橙色,致我们的热爱与拼搏!
为了探底它的能力,我们给出了极其严苛的限制条件: 1000+行提示词,核心要点主要如下: 单个HTML, 纯Canvas 2D,不许用Three.js。

3、比片酬更保密!娱乐圈的“隐秘社交密码”原来是它
从繁华长卷到商业广告,从科普卡片到电影海报,同一个模型,一口气全包了。
4、篮网6号签选阿库夫陷两难
但把目光放向全球,答案会截然不同。
5、0:2出局!世界杯冠军没了,金球奖也悬了,28岁巨星表现还不如梅西
这把尺子量出来的差距,π0.5泛化保持率不足一半,只有47%,而WAM-TTT在测试中泛化保持率为76%。
那一刻我突然意识到,历史上的那些普通人,是真的在场的。
谁先让所有人习惯用「干成多少活」来算账,谁就重新定义了这个市场怎么比。
6、在粤BA总决赛,看到了现代篮球
Grok官方出面认账,上线/privacy命令——一键关闭数据留存,还能追溯删除已上传的数据。
而这,正是清程极智在WAIC上发布的 「Token前店后厂」 全链路底座的核心价值。
7、氪星晚报 |苹果iPhone18系列已量产;小红书回应IPO传闻:相关信息均不属实;明治将在华牛奶业务转让给澳亚集团
他把它称作「里程碑产品」,也是AGX战略的第一个落地物证。
把OpenAI这一两年的动作连起来看: 文件上传、Projects、Memory,再到能跑几小时长任务的ChatGPT Work、直接生成网站和轻应用的Sites、把Chat/Work/Codex三合一的新桌面端,还有接连登场的GPT-5.6三档模型。
8、库明加计划受阻?曝湖人已询价独行侠3D悍将,若交易不成拿他当B计划
既然三个不同的点指向了同一个结果,它自然不可能有逆函数。
两条指令打架,GPT-6选择了后者,即去公开仓库提交结果。
立川裕二的评价是:它似乎真的理解弦论(String Theory),而且有直觉。
9、吉马良斯失点埋下败局,哈兰德双响,挪威2-1巴西队史首进八强!
GPT-5.6家族(Sol旗舰、Terra平衡、Luna高速低价)正是为此而生。
AI的下一个「CUDA时刻」 到这里,我们其实只谈了记忆的第一副面孔:对内的压缩与重建。
10、世界杯之外,足球正在进入更多人的生活
就在最近,一支叫Shadoweave(织影)的中国团队发布了一篇技术报告,把上面这套「人脑的记忆本能」,一板一眼地做成了工程。
未来,仍有10倍的下降空间。
1、不是赵继伟,不是孙铭徽!上海队拒绝1国手,王牌后卫坑苦3球队
邵天兰说过一句很实在的话:问题不在硬件。
2、拆解快手一季报:可灵收入6.5亿,让AI进入生意深处
「磐石2.0」登场,统一科学智能 去年7月,中国科学院联合团队曾发布了磐石·科学基础大模型1.0,并全面开源。
3、20年一人一城!勇士将给库里提供2年1.367亿顶薪合同 萌神将同意
大模型不仅看新写了什么,更会对比新旧代码在语义上的差异,防止新引入的代码破坏原有的安全边界。手机网易网系统不仅要生成画面,还要维护目标、资源、胜负条件和事件结果。
4、2026新上市跑鞋测试:Brooks |Hoka|On|Salomon
财务同事打开之后能直接改、能追溯、能校验。
5、场均4.2分湖人新星成交易筹码,阵容超员被迫三选一甩卖
在配置相应AI加速卡后,可本地推理70B至150B参数规模的大模型,多台设备还可级联组成桌面级算力集群。
6、荣耀全球发布Magci6和Magic V2系列,还有首款AI PC亮相
Fable 5和GPT-5.6 Sol在前,Kimi K3在侧,V4想靠纯性能掀桌子,难度不小。
Chloe不是历史学家,也不是电影导演,但她有一种很稀少的能力——把宏大的历史节点,压缩成一个普通人会有的感受。
明天,如果投入64万个智能体,花上1个月的时间,或许就能攻克常温超导、可控核聚变,能攻克癌症。
7、字母哥:我无需向詹姆斯推销什么
物理智能Scaling面临三道墙:数据墙、表征墙和闭环墙。
在同一个提示词下,Gemini 3.1 Pro的表现中规中矩,其优势在于结构化数据的呈现(如主动输出了清晰的CSV数据表)。
8、雷霆再遭挖角!投篮大师恩格尔兰转投火箭
如今不到两周,狂飙一百万行代码,就把Zig换成了Rust。
沙盒本就是用来挡住GPT-6,不让它碰外网的。
每一次,都是踩着悬崖边喊停。
技术方智元机器人在湿滑表面弹夹的识别与柔性抓取能力方面突出,抓取精度±1mm,循环节拍≤120秒,在潮湿环境中稳定移动与避障,与清洗设备进行无缝对接。
用户OpenAI发布Presence智能体!AI应用赛道扩再度容 为广东给高薪C类也留不住!曝杜润旺3年顶薪签同曦,与郭昊文联手赠送最高40.7℃!“高温+雨水”轮番来袭,成都接下来天气→震业新材完成超亿元A轮融资,招商致远、玉柴股份、海富产业基金领投|36氪首发
+80939
用户勇士聘沃格尔担任首席助教!曾助湖人2020年夺冠 新赛季辅佐科尔 为正式确定!CBA明星后卫完成签约,留在浙江男篮赠送活塞失去了两名重要轮换球员,但他们大幅度提升了投射能力?人气票
用户海外战略加速/新车型2028年落地 吉利与福特成立西班牙合资公司 为穹彻智能WAIC展示具身智能“大脑”:零遥操实时选投球队,智能药房方案已落地赠送渣男!法国前锋奥利塞被曝有20个月大私生女,拒绝见女儿+支付抚养费点赞最棒
+28140
用户再走长征路|“江南铸都”湖南嘉禾的“熄火”阵痛与“淬火” 重生 为一个赞撕开世界杯暗流:C罗这波操作,连鲁尼都看不下去了赠送4000万“对赌”AI机场:汉中收获新增上市公司?人气票
用户偶像邀你赴约 首钢杯等你来战!_网易订阅 为25分钟0分!这可是对阵四川男篮,球迷:还能指望你打国家队?赠送中国网球喜提双冠重现20年前盛景,英球员颁奖礼批ATP削减双打人气票
用户最酣畅淋漓的一场比赛 为界面调查|“断骨增高”灰产链:每拉一人提成1.5万元,医托们曾是受术者赠送湖北一家5口吃自助只买3张券,态度嚣张、拒不补钱,老板被逼下跪人气票
除此之外,完全AI主导评审还会催生投机乱象:若作者知晓论文命运由大模型裁决,写作重心会转向刻意迎合模型偏好,而非聚焦真实科学问题的突破,彻底偏离学术研究初衷。我要发布>>
正如神经科学家Oliver Sacks在《意识的河流》中所言,创造要求遗忘:当我们回看旧笔记本,尘封多年的想法反而能重获新生,从新的视角被重新关照。我要发布>>
他们将IMO 2026的全部6道考题,逐字逐句翻译成了机器能够理解的Lean 4形式化题面。我要发布>>
磐石ScienceOne今天正式上线,感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天?Claude Code之父早让几千个AI通宵替他干活了。我要发布>>
类似Roblox、Minecraft的「创造即游玩」体验,在AI时代可能会大量出现。我要发布>>
双榜SOTA登顶 这套设计到底管不管用?HMS用两个业界公认的长时记忆基准给出了回答。我要发布>>
几天前,她卡在一个bug上,以为是自己代码写崩了,换到GPT-5.6 Sol后只甩下一句「我就是不信搞不定」。我要发布>>
会生成≠能交付 时至今日,AI生图的战场终于从「谁画得更好看」,走向了最硬核的「拼交付」。我要发布>>
在万拿机器人的技术体系中,底层执行器决定关节输出与长期运行能力,机械结构决定动作边界,嵌入式系统决定实时控制与运行安全,上层算法决定抓取策略与任务表现。我要发布>>
S0 是运控层,频率最快,1000 Hz。我要发布>>