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 ファン

16.5M ファン

26.3M ファン

0 ファン

15.5K ファン

4.8M ファン

13.7M ファン

870.1K ファン

956K ファン

45.3M ファン

99.5K ファン

224 ファン

11.6M ファン

8.4M ファン