Anthropic को खुद उम्मीद नहीं है कि Claude की techniques Riemann Hypothesis prove करेंगी। Riemann zeta function का हर nontrivial zero उस critical line पर है जहां real part आधा होता है, यह conjecture अभी unproved है। Anthropic का सीमित दावा फिर भी बड़ा है। Claude के एक unreleased research version ने unconditional proof बनाया जो उस line पर zeros की हिस्सेदारी का known lower bound 41.6% से 67.2% करता है। यह asymptotic proportion की bound है, सभी zeros के वहां होने का proof या बाकी zeros की जगह पर कोई claim नहीं।
खबर jump का scale है। Anthropic के paper के मुताबिक 41.6% का record 2020 से कायम था। Announcement के rounded figures पर Claude ने 1 result में इसे 25.6 percentage points बढ़ाया। Paper में दी historical progression का कोई single step इस jump के करीब नहीं है। Proof Baluyot, Goldston, Suriajaya और Turnage-Butterbaugh के pair-correlation work तथा Bombieri के पुराने work पर काफी निर्भर है। इसका नया move उस machinery की linear-algebraic reading है, जो quadratic form के जरिए line पर और line से बाहर के zeros को साथ देखती है। Result human mathematics को आगे बढ़ाता है; वह उसके बिना पैदा नहीं हुआ।
Verification किसी plausible model transcript से मजबूत है। Anthropic ने Mathlib की zeta function definition पर बनी Lean 4 formalization release की और कहता है कि वह बिना unfinished proof placeholders के standard comparator पास करती है। Anthropic mathematicians Levent Alpöge और Ralph Furman ने result को study और validate किया। Brian Conrey और Dan Goldston ने कम समय में paper को externally examine किया। Conrey का अपना work critical-line bounds की classic history में है, इसलिए उनकी scrutiny मायने रखती है। फिर भी limit साफ है: model, paper और validation account Anthropic ने release किए। External examination independent peer-reviewed publication के बराबर नहीं है।
Human spark असामान्य रूप से छोटा और specific था। Bun के creator और non-mathematician Jarred Sumner ने Claude से hypothesis पर serious attempt करने को कहा। Anthropic के अनुसार model ने पहले 650 ideas try किए और असफल रहा, फिर डेढ़ दिन लगभग 60 subagents coordinate किए। 31 million output tokens में उन्होंने 2,400 shell commands चलाए, candidate arguments check किए और एक दूसरे का work review किया। Sumner का input मुख्यतः encouragement messages था। बाद में Claude ने counterexamples खोजे, novelty check करने के लिए 54 papers download किए और finding को independently फिर prove किया। ये counts 1 महंगे research run का वर्णन हैं, repeatable benchmark का नहीं।
Consequential हिस्सा motivational anecdote या model brand नहीं है। वह concrete theorem है जो century-old bound को आगे ले जाता है, machine-checkable artifact के साथ आता है और अपने maker की explicit limit दर्ज करता है। Research model unreleased है, इसलिए outside researchers अभी test नहीं कर सकते कि capability generalize होती है या नहीं। Disclosure single-source Anthropic account है, इसलिए wider mathematics community को proof और novelty पर अभी काम करना है। Result उस process में टिकता है तो number theory record का हिस्सा है। इससे Riemann Hypothesis जरा भी कम unsolved नहीं होती।