I know it’s tough, but I am not a fan of elitism. Mathematics is no different from all other branches which themselves are just intellectual labor which is again just a special type of labor. There is nothing magical about it and if computers can trivialize it, so be it.

Where were all the mathematicians and academics in general when “regular joe” was automated? Now it’s hitting close to home and their foreheads are starting to get sweaty. I’d say let them. Tough luck. Make mathematics as “cheap” as possible. Nobody owes them any favors.

Let’s commoditize “being smart” and let go of arbitrary divisions between us.

Not that I disagree, but I think this is how many people feel about AI output in fields they care about.

It's also a funny historical mirror to an earlier phase of math proof culture: in a previous era, cryptic result dumps were quite common.

You can actually do all of that meta analysis if you have the conversation that led to the solution. This is as easy as just having people release logs of their conversations, and then you can load it into another LLM as context to ask a bunch of questions about it.

I hope this will be normal practice eventually. “Show your work” is trivial if you use AI to solve a problem.

That is the point: Make "X can be done by AI" common discourse and watch industries "being disrupted". At least with open weights we'd be able to verify the claims.

It is so incredibly liberating to see the intellectual elite struggling with was already reality for 99% of the rest of us: your understanding is not required, it might in fact be detrimental as it amounts to a handbrake on progress.

Understanding never was the goal, results were. We will be getting boatloads of those. What does your understanding get us? You get a fancy house out of it and you might be intellectually stimulated by it, sure, but I hope you can see how that does not constitute a valid need for the rest of society to labor just to support your class and its lifestyle.

Unlike the hacking one, this would be impossible to bullshit as long as the proofs are released. They can be verified independently, and the alternative is that they solved 10 major open mathematical questions without the AI, which seems less likely.

I mean once they release the proof you can check the maths yourself and I’m pretty sure it would be peer verified as well.

We hacked a company and blame the tool! Somehow it is not negligence, but cool!

We hacked 3 companies and tripple blame the tool! We are even cooler!

We hacked companies amd therefore other peoples models need to be restricted! See, us accidentally pointing a hacking tool on others proove we are the only ones that can be trusted with the tool!

Replace paper clips with data centers and we are already there…