Wow, I'm just shocked that an AI could disprove a mathematical conjecture. It's not like that's the whole point of AI research or anything. https://www.reddit.com/user/simulated-souls