Live data from Hacker News

Many "serious" mathematicians are aghast

twitter.com

11–20 of 32 posts

Re: Many "serious" mathematicians are aghast

#12
post #2

tl;dr for everyone: disrupt the conservative academic establishment* *unspoken or unintended consequence being so that the oligarchy can seize the authority of intellectual credibility

Is it not the case now that oligarchs "own" intellectual credibility? Becoming a credentialed mathematician requires an entire lifetime of devotion, lots of money or scholarships, and association with institutions controlled by monied interests. Token spend is arguably cheaper, and although still paid to monied interests, lowers the bar for real participation in mathematics.

Re: Many "serious" mathematicians are aghast

#13
If these proofs were output by the AI in a format readable by a proof verification system, the verification step of publishing vanishes. Then it's only valuable to check if the stated intention actually matches the proof and isn't something completely different.

Re: Many "serious" mathematicians are aghast

#14
post #9

This is a response to a strawman... I think we'd want to see what an actual mathematician says to sensibly analyze this discourse I do think that there are two things going on that explains the past couple weeks' breakthroughs: 1) A lot of conjectures are weakly grounded. 2) Maybe humans are biased towards proving conjectures rather than finding counter-examples (prestige in finding proofs, tedium in searching for co…

Hi, used to be actual mathematician here (lecturer, publication in JEMS and all that)

For starters he's talking about how peer review is bad because of politics. That's fair.

But no one is saying that's the case with AI math. I think that the mathematical community wants to see the methods by which the Jacobian counterexample was constructed. As opposed to "lol xd my r00b0t solved le Jacoby conjectoor"

Post reply on HN