GPT-5.6 Pro 找到图论猜想反例,公开对话仅 58 个英文单词
图论领域存在近 30 年的 Dinitz-Garg-Goemans 猜想,被 GPT-5.6 Pro 给出的一个 7 节点、9 条有向边反例击穿。研究者 Dmitry Rybin 在公开论证过程中只输入 4 条提示词,共 58 个英文单词。模型最终交付示意图、4 页证明证书、穷举验证程序、机器可读数据和 LaTeX 源码,核心矛盾落在猜想要求的负载上限与成本下限无法同时满足。

图论领域存在近 30 年的 Dinitz-Garg-Goemans 猜想,被 GPT-5.6 Pro 给出的一个 7 节点、9 条有向边反例击穿。研究者 Dmitry Rybin 在公开论证过程中只输入 4 条提示词,共 58 个英文单词。模型最终交付示意图、4 页证明证书、穷举验证程序、机器可读数据和 LaTeX 源码,核心矛盾落在猜想要求的负载上限与成本下限无法同时满足。

三星电子最大工会SFEU宣布5月21日起罢工18天,拒绝6月7日前谈判。9万成员占韩国员工70%以上,全球DRAM、NAND供应预计减少2-4%,HBM生产中断引发抢料恐慌。

Aave在推进v4升级之际,围绕收入归属、DAO治理边界与核心贡献者影响力的争议持续发酵,ACI与BGD Labs先后退出使这场分歧被进一步放大。

BC.GAME 2025年围绕BC Token推进空投4亿枚、销毁2.5亿枚,代币涨43%市值破亿。品牌升级启用"Stay Untamed"口号,续约莱斯特城,签下s1mple与electronic,获肯尼亚牌照,再夺SiGMA最佳加密赌场。

美国财政部长贝森特与白宫幕僚长威尔斯亲自会见Anthropic CEO Amodei,白宫称会谈有建设性。此前五角大楼因军事合约分歧将其列为供应链风险,公司已提起诉讼。

调查显示,A7A5被53.7%的受访者视为美元稳定币之外最重要的替代选项,研究预计其到2026年或拿下非美元稳定币市场41%的份额。

ICE宣布战略投资OKX并取得董事会席位,OKX估值升至约250亿美元。徐明星称,这笔交易不是终点,而是传统金融与数字资产基础设施深度融合的开始。

德国财政部长Lars Klingbeil在4月29日预算发布会上提出,计划从2027年起改变加密货币税收规则,以额外筹集20亿欧元税收。当前持有超12个月的比特币免税政策或将被取消,行业专家警告此举将严重削弱德国作为加密枢纽的竞争力。
