“Two years ago, AI could barely solve high school math.” @tachim CEO @HarmonicMath on AI contributing to real open math problems: “Erdős problems are genuinely open — unsolved, but not Mount Everest–level like the Millennium Prizes.” “They’re more like difficult foothills. You wouldn’t build a career solving one, but you’d be proud if you did.” “Now we’re seeing AI activity on real open problems.” “It means AI is starting to engage with the frontier, not just exercises.”