This is getting insane. You have no evidence for your initial claims and didn't respond to a thing I said, and are now claiming using AI for education is "child abuse". Please get help.
replyThere is also no evidence that Radio Free Europe is still linked to the CIA. Just look at the donors of Renaissance Misanthropy.
replyBut we are feeding a sealion who does not know how the math proof logic in LLMs work, probably because it is a highly computationally expensive random restart hack calling Lean that is unpublishable.
Many of these results don't rely on repeatedly calling Lean. You have no clue what you're talking about.
reply> Just look at the donors of Renaissance Misanthropy. If you're actually interested, who funds each project is listed in the PDF here. https://www.renaissancephilanthropy.org/annual-reports
As you can see, it's mainly philanthropic projects of wealthy families.
They literally operate on the model developed by Kleiner Perkins:
replyhttps://www.renaissancephilanthropy.org/the-fund-model
But get your AI friends to downvote truth and sink the entire submission, because that is how the AI fascists operate.