We have reached a form of weak AGI in the domain of mathematics | Hacker News Reader