> 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