Aaron Lou(@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

@aaron_lou

Leading Strategic Explorations @OpenAI, prev @Stanford. Invented modern diffusion LMs

가입 August 2013

647 팔로잉 중 4.4K 팬

Aaron Lou@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

커뮤니티로 전달

인기 있는 사용자

4.1M 팬

1.9M 팬

26.3M 팬

16.5M 팬

15.5K 팬

230.5K 팬

4.8M 팬

45.3M 팬

870.1K 팬

956K 팬

8.4M 팬

114K 팬

436K 팬

306.1K 팬

11.6M 팬