Accelerating Discovery with the AI for Math Initiative | Dark Hacker News