> 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.