Claude Gets the Answer Right but Can't Prove Number Field Sieve Complexity

Anthropic researcher Geoffrey Irving noted that Claude gives the correct answer for the general number field sieve's time complexity yet cannot prove it under the Quantified Riemann Hypothesis, and is tracking formalization progress on the result.

2026-10-30 ~ 2026-10-30 · 2 related posts

• Claude can't yet prove number field sieve time complexity, reports researcher Geoffrey Irving — geoffreyirving · 2026-10-30
• Claude gets the right answer but can't prove time complexity — geoffreyirving · 2026-10-30