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:
더 보기
