antman
Joined 14 years ago
Joined 14 years ago
What has been demonstrated is a process that outputs lean proofs based on those probabilities. This happened after decades markov chain producing garbled texts and very shortly after gpt2 producing stories about unicorns.
One is that AI will continue hallucinating in a manner that is not easy to verify, second is that AI will not be enhanced to produced more simplified amd robust outputs, and third that a human will be required to do that. What humans in the loop are doing now is verify the process, propose shortcuts and add legitimacy, through the verification process, if that ends up being succesful its highly likely a lot less mathematicians will be required in the future.
The conclusion that this is not productive focuses on the mathematicians, but it is very productive in terms of hundreds of proofs being produced that had previously consumed uncountable hours of the brightest minds. Unless it ends up being the greatest hallucination ever ofcourse
What does tjis mean? Another generative model?
Stack Exchange was built on an implicit social contract people contributed their expertise and thousands of hours of unpaid work because they believed they were building a collectively governed knowledge resource. The company owned the platform, but the community created its value.
After time, management became increasingly centralized and disconnected from contributors. Also the policing of questions based on geeky criteria and not what users wanted. The increasingly aggressive policing of questions, closing perfectly reasonable discussions, and incorrectly saying questions are duplicates made the platform unnecessarily hostile to everyone, qmd at least thats why i quit. Quality control gradually became useless gatekeeping.
So there were really more than one problems, corporate management treating contributors as free labor, and established contributors treating their moderation as authority over everyone else, there were bad tools closing questions. The platform had become extremely hard to use for posting questions, finding amswers, moderator work. For me it was useless. Incidentally the closing of “opinion” questions was the worst decision since it was the only thing that could make it distinct from AI produced answers.
For some of the events there is paper here with details https://arxiv.org/html/2512.08884v1