▲ 3 pointsClaude Mythos solves OpenAI's landmark Erdős problem with simple proofthe-decoder.comby gmays·2mo ago·0 comments·view on hn ↗