alt Hacker NewsI’m sorry but you either haven’t been following recent developments or you are pretending not to know the opinions of the top mathematicians on this topic:
> These models are now operating[2] at the level of the top human mathematicians in many parts of the subject and we must assume there is a significant chance of them developing superhuman abilities within a similarly short timeframe.
https://docs.google.com/document/u/0/d/1-xOkPeHmDEdRigT2YcP2...
Instead of desperately clinging to excuses and rationalizations, why don’t you just get used to the fact that these tools are insanely useful for demanding intellectual work, and that is an opinion held by many of the smartest people alive?
Replies
That is a bad faith summary. LLM driven proofs are turning out to be hard to verify, often take invalid shortcuts, and may not actually be helpful in getting humans to understand either the proof or related context. Even if one accepts your "insanely useful" statement, which is a huge stretch, that has to be qualified with the results being insanely complicated to actually verify and use. The point of mathematics is to advance understanding, not merely generate some isolated and incoherent results.
I won't because it's all so opaque and proprietary and driven by an insane need for OpenAI and Anthropic to provide a return on MASSIVE investment. There is absolutely some smoke and mirrors involved. How much? We don't know. But it sure is exciting to imagine their product is now smarter than humans and they are totally benevolent corporations. I want that to be true as much as anyone, but I have lived too long on this earth to believe it wholeheartedly