beoliver
Re:Announcing three new discoveries in mathematics, computer science, ...
on Tuesday October 27, 2026 @10:51AM (#50260288)
> Our AI found its natural language disproof for the ETH on October 16th, 2026
And from the Anthropic proof https://drive.google.com/file/d/1u1XufQIU-PZafNWRO1Is-SUlX76...
> The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input.
very interesting.