Levent Alpöge quotes the provenance of Anthropic’s ETH refutation: found on 16 Oct by an internal Claude model, 14M tokens, no human input
Levent Alpöge @__alpoge__XImportance: major (4 of 5)
Why it matters
First public pointer to Anthropic’s independent ETH refutation (~94k views).
Summary
Posted 04:00 UTC on 27 Oct, about an hour after the commit. It quotes the paper’s provenance paragraph and links the repo at commit 16a5ce4. About 94k views (fxtwitter). Amplified by Ryan Orhan (@rynorhn, 2114944014680301928, ~3.7k views).
Archived text
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.”
https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth