This is just an immoral thing to do. If you don’t understand why you should read Terence Tao’s posts about stripmining.
This guy isn’t committed to understanding anything. He’s just screwing around and hoping other people who are turn this into something beneficial to others. He’s just extracting value built up by others over a long period, depleting the finite resource of motivation to work on this topic.
Imagine we discover an alien spaceship, and inside it, a codex. Decyphering the codex tells us a bunch of solutions to alien mathematics, which is remarkably similar to ours and has compatible foundations, but way more convoluted in the actual thought process. The codex would contain proofs of some statements equivalent to open statements today.
Would you, in this situation, be mad at the aliens? Would you say the aliens have "extracted value"? This is kind of how I see this project.
You are not the alien. You are the other human being extracting value from labor and efforts of other humans, with nothing but contempt from them. I am not mad at the computer. What a ridiculous analogy.
What is the value that I am extracting?
The alien in the analogy is the corpus of knowledge that’s newly reachable via LLMs.
No, you’re confused about your own analogy. That corpus of knowledge is the extra mathematics the aliens have. The LLM based AI system and the out of control AI corporations are the aliens. You are some guy inviting the aliens to degrade the possibility of a meaningful existence.
I agree, that's a clearer way to apply it. I guess I see myself more as a guy who, with some effort, managed to scan a few pages of the codex and posted it on the internet. Now, to be consistent, would you say that you'd be equally frustrated at someone posting pages from the alien codex on the internet?
I apologize to Dan Abramov for venting my frustrations about things outside of either of our control and unfairly using him as a punching bag. He seems to be an intelligent person and I hope he continues learning mathematics using whatever tools he sees fit, including AI. It was wrong of me to do this and I will take a break from this website for one week.