AI models are starting to crack high-level math problems | Dark Hacker News