> In terms of AI, we've seen even here on HN everything from mathematical problems that remaind unsolved, being solved, mathematical proofs being used to dispro

> In terms of AI, we've seen even here on HN everything from mathematical problems that remaind unsolved, being solved, mathematical proofs being used to disprove theories, heck we even learned more about alzheimers What a story this is