A misalignment of AI in mathematics

A misalignment of AI in mathematics Source: Hacker News