ben hylak
@benhylak
Joined July 2009
2.6K Following 51.8K Followers
it's kinda crazy that, given how much openai spends, they don't regularly try disproving open conjectures?
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:
Show more
