Comment by defphysics
2 hours ago
What should OpenAI have done instead of what they did? I think it’s far better that we get the messy dump of proofs ASAP so everyone can grapple with the reality of what these models can and can’t do, and participate in figuring out where things go from here.
What would a more “responsible” approach have been?
For each paper they think they have, reach out to mathematicians working in the relevant area to find ones willing to take on the role of advisor, co-author, reviewers, etc. Basically just follow the same process that a postdoc would to publish a paper.
I imagine that would take months at least. Meanwhile, only a selected few get to have access to what might be some of the most significant developments in mathematics. That seems incredibly unfair.
You're just moving the problem around. Instead of OpenAI and Anthropic dumping proofs, you'd instead have someone (maybe an aspiring graduate student, maybe a hobbyist, maybe an established mathematician who has disdain for existing process) dump these proofs en masse personally.