Mason 🇺🇦 💙💛

Hello, hell world.

[Mason 🇺🇦 💙💛 @Arthur55913836]

@thehill He's truly gifted at destroying everything, especially burning a paradise into ashes.

[Mason 🇺🇦 💙💛 @Arthur55913836]

@nz4f @LillaLilen 需要怎么巴结，能不能求个煎牛排独家秘方？

[Mason 🇺🇦 💙💛 @Arthur55913836]

@yiliuai 有的，虽然本意是给听障或其他残疾人士用的，但是我用过很多次。

[Mason 🇺🇦 💙💛 @Arthur55913836]

@yiliuai 可以在影院要个字幕机的，虽然有点丑

[宝玉 @dotey]

Anthropic 今天宣布，一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中，虽然没能证明猜想本身，却在一个相关问题上取得了重大突破：
它把黎曼 ζ 函数的非平凡零点落在临界线上的已知比例下界，从 41.6% 提高到了 67.2%。

黎曼猜想是数学界最著名的未解难题之一，1859 年提出，至今 167 年无人能证明或推翻。它的核心主张是：黎曼 ζ 函数的所有非平凡零点都落在复平面上一条特定的竖直线上，数学家称之为“临界线”。

如果这个猜想成立，素数的分布就有了一种深层的规律性。这个问题列在克雷数学研究所的七大千禧年问题之中，悬赏 100 万美元。

既然全面证明太难，数学家们退而求其次：
能不能至少证明有多大比例的零点确实在这条线上？

这个方向上的进展，过去 80 年是这样的：
- 1942 年 Selberg 首次证明有正比例的零点在线上，但比例很小；
- 1974 年 Levinson 证明至少三分之一；
- 1989 年 Conrey 推到五分之二；
- 此后又经历了几代数学家的努力，到 2020 年 Pratt 等人才把这个数字推到 41.7%。

换句话说，从 33% 到 41.7%，人类花了将近 50 年。Claude 一步跳到 67.2%，跨度接近 26 个百分点，是这个问题历史上最大的一次单步提升。

Claude 的发现建立在前人的工作之上。它结合了 Baluyot、Goldston、Suriajaya 和 Turnage-Butterbaugh 近年发表的一系列成果，以及数学家 Bombieri 在 2000 年的一篇论文。这些工作本身已经为突破铺好了路，而 Claude 找到了把它们拼在一起的方法。

Anthropic 的两位数学家 Levent Alpöge 和 Ralph Furman 审查验证了 Claude 的证明，外部专家 Brian Conrey 和 Dan Goldston 也在短时间内审阅了论文。Claude 还用 Lean（一种形式化证明语言）写出了可机器验证的证明。

过程本身和结果一样有故事。Anthropic 的一位员工 Jarred Sumner（不是数学家）在 Claude Code 中对 Claude 说了一句“认真试试黎曼猜想”，然后就把数学决策交给了模型。

Claude 先生成了 650 个想法，全部失败。被鼓励再试一次后，它花了一天半时间协调大约 60 个子智能体（subagent），运行了 2400 条命令，写了数百个 Python 脚本。这些子智能体之间分工明确：2 个负责核心数学思路，13 个为它们提供想法，30 个尝试但未能提出新思路，13 个做验证，2 个帮忙写论文。

整个过程中 Jarred 的参与基本限于给 Claude 打气，发的消息大多是“继续”和“相信自己”。

Anthropic 说，这种鼓励似乎帮助 Claude 克服了“我真的能在这种级别的问题上有所推进吗”的自我怀疑。

这已经是 Claude 今年第二次在数学领域搞出大新闻了。三周前，Anthropic 的数学家 Levent Alpöge 用 Claude Fable 5 找到了 Jacobian 猜想（Jacobian Conjecture）的反例，推翻了这个 87 年历史的代数几何猜想的一般形式。那次的反例简洁到人类数学家一天之内就能手动验证。

两次事件有一个共同点：Claude 做的不是解题，而是原创性的数学研究，是在数学家们几十年没能推进的前沿问题上找到了新路径。

Anthropic 也明确表示，Claude 使用的技术不太可能直接导向黎曼猜想的最终证明，但这个结果展示了 AI 模型在数学能力上的进步速度。

Anthropic 公布了 Claude 的完整论文、Lean 形式化证明、简明证明笔记，以及 Claude 自己描述思路演化过程的附录，都可以在 Anthropic 官网的研究页面找到。

[Mason 🇺🇦 💙💛 @Arthur55913836]

@Snowy12430433 求烤羊肉和蒜蓉芝士西葫芦的做法！

[Mason 🇺🇦 💙💛 @Arthur55913836]

@carbsbrother 多谢多谢！

[Mason 🇺🇦 💙💛 @Arthur55913836]

@carbsbrother 悬疑推理/奇幻/科幻/末日废土 都行，其实不拘类型，好看就行，多谢啦

[Mason 🇺🇦 💙💛 @Arthur55913836]

@Tracy_Wen_Liu 别生气吧，2022年我们都希望他能证明自己，他做到了。2026年我们对他没有任何要求，他还是拿出了远超期待的表现。蝴蝶早已飞过沧海。对于梅西，现在唯有感谢！

[Mason 🇺🇦 💙💛 @Arthur55913836]

@Ruxiiii4 Why isn’t No. 17 G.Simeone there?

[🕊️ @MagicalXavi]

Every Messi touch after England Scored the first goal

https://t.co/PfPmgd7MvP

[Mason 🇺🇦 💙💛 @Arthur55913836]

@uttdkola Raheem Sterling

[Mason 🇺🇦 💙💛 @Arthur55913836]

@Ruxiiii4 Exactly. Their stupid president made a 'smart-aleck' phone call, putting extra pressure on everyone on the pitch.

[Roger Bonet "Ruxi" @Ruxiiii4]

Everything that happened around Balogun before kickoff ended up hurting the United States more than having him on the pitch helped them.

Today they looked completely out of sync. It felt like they lost their focus from the very beginning.

When the entire football world is suddenly talking about something off the pitch against you, it's hard for that not to affect the group.

Credit to Belgium, they were excellent and deserved the win. But it's difficult not to feel that everything surrounding the team before kickoff had a significant impact on the US performance.

What a shame, because they had been one of the tournament's most enjoyable teams to watch.

[Mason 🇺🇦 💙💛 @Arthur55913836]

@RpsAgainstTrump If I were Pochettino(the head coach of Team USA), I wouldn’t let Balogun play tomorrow. I’d tell the rest of the team that we need to rely on ourselves and our performance on the court, rather than relying on the president off the court to win through special privileges. #balogun

[Mason 🇺🇦 💙💛 @Arthur55913836]

If I were Pochettino(the head coach of Team USA), I wouldn’t let Balogun play tomorrow. I’d tell the rest of the team that we need to rely on ourselves and our performance on the court, rather than relying on the president off the court to win through special privileges. #balogun

[Mason 🇺🇦 💙💛 @Arthur55913836]

@jajia 法国队已经强成这样了，贾老师，没想到你也是这样一个趋炎附势为虎作伥之人。🐶

[Mason 🇺🇦 💙💛 @Arthur55913836]

@myanTokenGeek 现有规则中，如果球先碰到有效部位反弹打到手的话，不算手球，因为短距离反弹球很可能来不及反应。这个球佛得角球员是头先碰到球，然后才打到手的，根据现有规则不算手球犯规。

[durvesh @BLackgold_5]

Do you recognize this airport?
Incredible take off