TLDR Tech / AIClaude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"2026-05-27Mythos' solution was a bit worse than OpenAI's, but Mythos was reportedly able to find OpenAI's solution too.Read the full story