Aaron Lou @ COLM on 10/9
@aaron_lou
Leading Strategic Explorations @OpenAI
参加 August 2013
674 フォロー中 5K ファン
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:
もっと見る
