Comment by compiler-devel
2 months ago
I can’t help but confess some sense of satisfaction with the upheaval described in the post. Many proofs and textbooks laden with statements like “without loss of generality”, “immediately”, or “obviously” are followed by anything but. AI now counters that streak of smug by toppling some long held theorems and it’s fun to watch.
Bit weird that your first reaction to a human expressing genuine emotional pain is glee.
I’m also a human expressing genuine emotion. Why is one more valid than the other?
Your emotion isn’t invalid, it’s merely bad, assholeish, brings shame upon you. But it is “valid” in the sense that the reader of your comment can see that you are, at least, sincere in your gloating at another person’s despair.
2 replies →
Yeah I think it's weird too. But tech really does amplify narcissism because it makes us very independent from people and community. So it's really not surprising that half the people in this thread are more concerned with manufacturing discovery than they are with having a cohesive society.
It might mean you're missing some prerequisite knowledge. Unfortunately if every textbook started from square one, they'd be a million times longer.
AI hasn't "toppled" (or found any mistakes in) any theorems, at least not any enjoying any consensus among mathematicians.