Aaron Lou @ COLM on 10/9(@aaron_lou):Congrats to Levent for discovering this! OOC I had an internal version of Codex attempt a proof too (without web search), and it discovered (essentially) the same counterexample! It wrote up a nice summary of the strategy here:

Aaron Lou @ COLM on 10/9

@aaron_lou

Leading Strategic Explorations @OpenAI

Joined August 2013

674 Following 5K Followers

Aaron Lou @ COLM on 10/9@aaron_lou

2026.07.20 14:54

Congrats to Levent for discovering this! OOC I had an internal version of Codex attempt a proof too (without web search), and it discovered (essentially) the same counterexample! It wrote up a nice summary of the strategy here:

1.4K

102

Forward to community

Most Popular Users

1M Followers

958.3K Followers

579.2K Followers

1.1M Followers

504.3K Followers

2.8M Followers

6.3M Followers

347.5K Followers

4.3M Followers

672.2K Followers

The Wall Street Journal

22.3M Followers

1.2M Followers

26.5M Followers

2.7M Followers

240.9M Followers