Test run reproduces ETH conjecture counterproof with Opus 5.5
What happened
On October 31, Yage published a hands-on report saying he called claude-opus-5-5 through Claude Code with a public five-sentence prompt and reproduced the counterproof of the ETH conjecture for $1.22. All tools and web search were disabled. The run took 8 minutes 41 seconds, used 48,101 thinking tokens and output a five-section mathematical proof. The post explains the algorithm idea in the prompt and stresses the theoretical result does not mean P=NP.
Written by AI from the coverage · updated 1 hour ago
Coverage
Follow the reports to see the story from different sides.
- Computing Life · Share · YagePickReproducing the ETH conjecture counterexample with Opus 5.5 for $1.22
Duck Ge reports reproducing a counterexample to the ETH conjecture for $1.22, calling claude-opus-5-5 through Claude Code with a public five-sentence prompt. With all tools and web search off, the run took 8 minutes 41 seconds and 48,101 thinking tokens, and output a five-section proof. The post explains the prompt's algorithm and stresses the result does not mean P=NP.
Heat over time
Not enough continuous observations to draw a trend yet.