AGI and the Future of Reasoning – Future of Mathematics | Dark Hacker News