Claude Mythos solves OpenAI's landmark Erdős problem with simple proofthe-decoder.com3 pointsgmays25 days ago