GPT-6 Astra 展现出顶尖数学家级别的逻辑直觉！其成功证明“刘维尔版本”哥德巴赫猜想，无条件覆盖全偶数域，且整套证明代码已通过 Lean 4 形式化验证。仅用两页纸推导，巧妙将加法拓展至有限域并完成优雅反证（1 = -1）。这一强大逻辑引擎未来还将赋能企业风控与决策分析等场景。 这数学直觉真的有点过于硬核了！连 Lean 4 都能跑通，逻辑确实稳得可怕。看来 AI 搞定更多百年数学难题只是时间问题了。而且这类集成人类无数成功案例的解题方法和思路运用到其他的复杂问题的时候往往能制造很多惊喜，期望很快有更多的突破，只要电力算力够AI可以永远不停思考和尝试！

王虹和邓煜根本不是数学家，就是做难题的机器，真正数学家是需要创造力，可以发现新的算法，数学公式和定理，图灵，维纳那些人才是数学家，图灵发现了猎豹身上的斑纹的是一种递归数学结构，维纳发现了负反馈算法，维纳滤波器，王虹，邓煜 这些做题机器最后都会被人工智能取代，包括张益唐，陈景润还是要厉害一些，因为哥德巴赫猜是数论里面最难的数学题，而且人工智能完全束手无措。

《爱丽丝镜中奇遇》里红皇后说：你得拼命奔跑，才能留在原地。 最近一篇新论文把这句话变成了让 AI 进化的核心机制——让 AI 和给它打分的考官互相博弈、一起变强，而不是让 AI 对着死考卷作弊。 名字就叫"红皇后哥德尔机"，剑桥和 NVIDIA 出品，论文全文：

我觉得做自媒体一定要严谨，不然迟早就被 AI 的幻觉骗地团团转。 这个故事有 N 个 Bug，居然还在传播。 我阅读了 Knuth 老爷子的原文，主要问题如下： 首先，这特么就不是一个困扰学界 N 年的顶级难题，更不是什么哥德巴赫猜想。 它就是老爷子写的教材《计算机程序设计艺术》里的一道练习题，让读者解决有向哈密顿环。 而且老爷子给了 m=3 的情况，让读者自己算算其他情况。 老爷子确实提到了“我算了几个礼拜”。 但是！你要知道，他今年 88 高龄了，他几个礼拜算出一个答案已经很不错了。 试想，你 88 岁的时候还能高强度算数学么？连牛顿都不行，牛顿晚年就不搞物理了，在研究炼金和神学了。😂 而且报道里说 86 岁，也是不负责任，他出生于 1938 年，今年 88，虚岁 89。 而且，接下来，报道给出了最迷惑性的内容： 它仿佛在暗示，好像 AI 自己一下秒杀了这个题目。 实际上，在原文里，奇数是 Filip Stappers、偶数是 Ho Boon Suan 两位数学背景的人士分别解决的，他们确实分别使用了 Claude 和 GPT。 但是这是两位数学背景的人士好么？ 这两位已经有了一些想法，让 AI 来助力而已。普通人拿 AI 是不可能破解的。 ----分割线---- 而且，我对这两位的工作也有些顾虑（只是轻微的）。 其一，老爷子原文提到：“Filip 还告诉我，在奇数情况解决后，他让 AI 继续研究偶数情况。但在那之后，过了一会儿它似乎卡住了。最后，它甚至无法正确编写和运行探索程序”。 这才是我们熟悉的 AI 好么？😂——上下文超了。 根据我的经验，上下文快塞满之后，那 AI 的记忆和智商都不剩啥了。 其二，老爷子原文提到：“（AI 生成的 14 页论文） Ho 说这完全是机器完成的；他不需要以任何方式编辑论文。” 这是最恐怖的😨。 我在工作中最怕的就是，有人突然甩过来一个十几页的 AI 写的长篇论文。 你们扪心自问，AI 一下子生成出这种完美论文的概率有多大？ 对于这种 AI 长文，我并没有时间仔细去看这些证明，相信你也不会有时间的，恐怕老爷子也同样未必有时间。 AI 它是一个大语言模型，擅长处理语言，它最特别的就是它会圆谎，让你以为这是正确的。 所以对此我存有一定的轻微疑问。 不过，如果说这几位研究人员和学者确实真的，通过 AI 解决了这么一道题目，我也乐于道歉。 我凭借自己经验，感觉这个故事，幻觉含量略高，我内心希望这事更加严谨一点。 ----分割线---- 当然了，即便他们真的解决了这个问题。这也只是一道教材上的、面向读者的开放题目而已，并没有报道中渲染的那么困难。 如果这就得出学术界就是缺算力的结论，恐怕有些武断。

⚽️ 7 月 26 日挪+瑞超+巴甲+韩K赛事预测（扫盘版） 小赛事，联赛事，不确定性太大。仅作参考。 1⃣ 首尔FC vs 蔚山现代（韩K联） 负 / 防平 比分：1:2、0:1　防 1:1 理由：蔚山整体实力和经验仍占优势，首尔主场具备一定韧性，但面对强队稳定性不足。蔚山反击效率更高，看好客队不败，防一手平局。 2⃣ 仁川联 vs 富川FC（韩K联） 胜 / 防平 比分：1:0、2:0　防 1:1 理由：仁川主场战斗力更强，整体防守稳定。富川客场进攻效率一般，若仁川率先进球，有望掌控比赛节奏。 3⃣ 光州FC vs 济州SK（韩K联） 让胜 / 让平（+1） 比分：0:1、1:1　防 0:0 理由：两队实力接近，济州整体经验略占优势，但光州主场不容易被击败，让球方向更值得关注。 4⃣ 安养FC vs 江原FC（韩K联） 负 比分：0:1、1:2　防 1:1 理由：江原整体实力更强，安养进攻端创造机会能力有限，客队赢面更大。 5⃣ 布鲁马波 vs 哈马比（瑞典超） 负 比分：1:2、0:2　防 0:1 理由：哈马比近期状态稳定，整体攻防质量明显占优，客场依旧值得高看。 6⃣ 天狼星 vs 哥德堡（瑞典超） 胜 比分：2:0、2:1　防 1:0 理由：天狼星主场表现不错，哥德堡客场发挥不稳定，看好主队拿下三分。 7⃣ 国际图尔 vs 赫尔火花（芬超） 胜 / 防平 比分：2:1、1:0　防 1:1 理由：国际图尔整体实力略强，但赫尔火花防守韧性不错，主胜仍是首选，需防平局。 8⃣ 坦山猫 vs 拉赫蒂（芬超） 让负 / 让平（-1）比分：1:1、2:1　防 1:0 理由： 主队赢球希望更大，但净胜两球难度不低，让球方向倾向客队。 9⃣ 布兰 vs 瓦勒伦加（挪超） 胜 / 防平 比分：2:1、2:0　防 1:1 理由： 布兰主场优势明显，瓦勒伦加客场竞争力有限，看好布兰不败，首选主胜。 🔟 赫尔辛基 vs TPS图尔（芬超） 胜 比分：2:1、2:0　防 1:0 理由： 赫尔辛基整体实力明显占优，主场稳定性更高，只要正常发挥，赢球概率较大。 1⃣1⃣ 盖斯 vs 哈尔姆斯（瑞典超） 胜 比分：2:0、2:1　防 1:0 理由： 盖斯近期状态不错，主场攻防均衡，哈尔姆斯客场抢分能力一般。 1⃣2⃣ 马尔默 vs 埃夫斯堡（瑞典超） 让负 / 让平（-1）比分：1:1、2:1　防 1:0 理由：马尔默实力占优，但埃夫斯堡具备较强反击能力，让球盘更倾向客队方向。 1⃣3⃣ 萨普斯堡 vs 汉坎（挪超） 让负（-1）比分：1:1、2:1　防 1:0 理由： 萨普斯堡主场优势明显，但净胜两球难度偏大，让球方向更值得关注。 1⃣4⃣ 奥斯KFUM vs 莫尔德（挪超） 让胜（+1）比分：1:1、0:1　防 1:2 理由： 莫尔德实力占优，但客场未必轻松，大概率小胜，让一球更看好主队方向。 1⃣5⃣ 桑纳菲 vs 博德闪耀（挪超） 负 比分：0:2、0:1　防 1:2 理由： 博德闪耀整体实力高出一档，无论控球还是进攻效率都占据优势，客胜值得支持。 1⃣6⃣ 奥勒松 vs 维京（挪超） 负 比分：1:2、0:2　防 1:3 理由： 维京近期状态更稳定，进攻火力更强，客场依旧值得高看。 1⃣7⃣ 弗拉门戈 vs 圣保罗（巴甲） 胜 比分：1:0、2:0　防 2:1 理由： 弗拉门戈主场统治力较强，整体阵容深度明显占优，看好主场全取三分。 1⃣8⃣ 格雷米奥 vs 弗鲁米嫩塞（巴甲） 让胜（+1）比分：1:1、1:0　防 0:0 理由： 两队实力接近，比赛节奏预计较谨慎，让球方向更倾向格雷米奥不败。 最近predict上了很多盘口，中期选举、法国各种总统选举，意甲，英超，西甲，橄榄球，各种联赛，陆续补上了 还有个诺贝尔和平奖，笑死我了，明天说。

【抄袭LV “老花” 图腾 中国茶饮店遭判赔1030万】 中国茶饮品牌 “茉莉奶白” 花纹商标，去年遭法国精品品牌路易威登（简称LV）控告侵权。 中国江苏省苏州市中级人民法院本月判决， “茉莉奶白” 构成商标侵权，需赔偿人民币1030万元。 综合中国媒体报道，法院一审认定LV名下持有7枚四叶花卉图形注册商标，且长期使用于产品，具备市场辨识度；而 “茉莉奶白” 在产品及装潢使用高度近似的图案，构成商标侵权，除了需在判决生效10日内赔偿LV，所有门市及宣传渠道，都不得使用 “涉案近似花卉图形”。 此案在中国社群引起广泛讨论，有中国网友指出，LV商标形似中国古代装饰花样 “柿蒂纹” 及 “宝相花”，认为这是LV对中国 “文化挪用” 却 “反向起诉” 中国品牌。 中国官媒《北京日报》也指出，这起诉讼 “敲响了保护中国纹样版权的警钟” 。 中国《国际金融报》报导，“茉莉奶白” 在2024年更换商标为黑色几何四叶花纹，曾申请商标却遭驳回，“品牌改版前已明确知晓标识侵权风险，仍持续落地全线应用。” 美联社报导，LV的四叶花卉 “老花” 图腾可追溯至1896年，品牌表示该商标设计灵感源于欧洲日本主义及新哥德式艺术。

【極端熱浪橫掃歐洲 多國醫療交通系統承壓】 極端熱浪持續肆虐歐洲，當地時間26日，預計有超過1.5億人暴露在35攝氏度以上的高溫之下。多國氣溫打破6月最高紀錄，醫療系統瀕臨極限，當局嚴陣以待，防範高溫引發的死亡人數攀升。 法國首都巴黎24日氣溫飆升至40.9攝氏度，創下當地6月歷史新高。熱浪中心向東移動，德國靠近法國邊境地區26日甚至錄得41.3攝氏度的極端高溫。 英格蘭南部和東部大部分地區已連續第三天維持高溫紅色預警；荷蘭幾乎全境發布紅色預警，預計氣溫將衝擊40攝氏度高點，迫使許多學校緊急停課。 酷暑對公共衛生體系造成沉重打擊。法國醫療系統壓力驟增，與高溫相關的就診人數激增三倍，心臟驟停病例明顯上升。巴黎急診醫生協會會長透露，短短24小時內，巴黎醫院急診部門便錄得55人死亡，遠高於平日的三至四起。 英國醫療體系同樣不堪重負。英國氣象局26日數據顯示，薩福克郡當天錄得37.3攝氏度，連續三天刷新該國6月高溫紀錄。倫敦緊急救援部門求助電話量飆升50%。英國皇家內科醫師學會臨床副會長威廉姆斯警告，醫院病房人滿為患，加上高溫侵擾，令病患、醫護及基礎設施承受巨大壓力，包括磁共振成像（MRI）掃描儀在內的部分關鍵設備因過熱無法正常運作。 德國部分道路因曝曬嚴重隆起開裂；德國鐵路公司擔心信號系統、軌道和電纜受損，被迫允許乘客免費取消長途車票。 瑞典25日深夜發生因高溫導致鐵軌變形事故，一列貨運列車脫軌，致使斯德哥爾摩與哥德堡之間的交通一度中斷。 在瑞士，由於河水溫度升高至25攝氏度，無法有效冷卻核反應堆，位於北部的貝茲瑙核電站——歐洲最古老的核電站之一，已被迫暫時關閉。（來源：香港新聞網） 詳情： #高溫# #氣候異常# #歐洲# #天氣#

A股七大热门科技谁能扛起大旗？ 一：玻璃基板 大哥：京东方 二哥：TCL科技 三哥：彩虹股份 四哥：莱宝高科 五哥：旗滨集团 二：先进封装 大哥：深科技 二哥：长电科技 三哥：太极实业 四哥：华天科技 五哥：晶方科技 三：CPO 大哥：中际旭创 二哥：新易盛 三哥：华工科技 四哥：中天科技 五哥：亨通光电 四：PCB 大哥：东山精密 二哥：生益科技 三哥：沪电股份 四哥：深南电路 五哥：胜宏科技 五：存储芯片 大哥：兆易创新 二哥：江波龙 三哥：德明利 四哥：佰维存储 五哥：北京君正 六：算力 大哥：寒武纪 二哥：工业富联 三哥：中科曙光 四哥：紫光股份 五哥：浪潮信息 七：人形机器人 大哥：埃斯顿 二哥：绿的谐波 三哥：三花智控 四哥：拓普集团 五哥：领益智造