Dudes straight up used to hoard solutions to equations and use them in math battles.
(Because they are my private RSA keys)
I read the Mastodon thread as more about the 'flattening' and 'rawness' of the proofs these systems and their operators are producing. I mean what is the cultural significance of a lean proof that is half a million lines long or something? And what tools can be extracted for further work from such a construction?
The late William Thurston wrote about the culture of mathematics in that sense.
"But I realized after a while that talking to people casually about Fermat was impossible, because it just generates too much interest, and you can't really focus yourself for years unless you have this kind of undivided concentration, which too many spectators would have destroyed."
But yes; him reaping the benefits of himself having the idea first was part of it too; as far as I am aware.
-----
Which is still something completely different than some anonymous organisation keeping mathematical research secret because it is better for hype reasons. One is competition between individuals or groups within a field; the other is boring and sometimes borderline nihilistic generating of mathematical knowledge as an marketing asset.
I found this behavior against healthy science practices and only driven by ego. Unfortunately, I find this too often at work (working in academia). Most probably I'm too naive...
That's how maths works yes...
[1] https://mathworld.wolfram.com/Taniyama-ShimuraConjecture.htm...
I think that was Ken Ribet?
Grigori Perelman and the Poincaré Conjecture is more interesting. IIRC he turned down Millennium and was decidedly not all about the Fields Medal - mostly because Richard Hamilton didn't get credit? Anyway, I am grateful I had the opportunity to learn about Poincaré in college taking a few classes from a professor who was a key contributor to the conjecture and got a Fulbright for it when I was there
It was considered at the least a sin to reveal that sqrt(2) was irrational to those outside Pythagoras circle
perhaps a 2 sin 45?Engines - specifically heuristically-driven ones like Stockfish - don't play like a strong GM. They play engine-perfect chess, which isn't how a GM plays with any consistency.
I'm only a decent amateur (1550 USCF) but when I lose to a titled player it's largely explainable in human terms how it happened.
Also note how the quote by Tao is in all likelyhood not meant as an absolute; rather than a statement of a trend - a handfull of counterexamples do I no way change anything about the truth value of Tao's quote.
On the other heand; consider how absurd it would be if "... in the direction of no longer sharing any promising research directions with the broader community, which would reverse centuries of traditions of open science ..." would indeed be a misstatement; which would imply that far more promising research directions were not shared with the broader community (i.e.: published). I wonder what different reading of that counterfactual there could be other than secret societies that kept their discoveries and research directions to themselves - which we just learned about (since we would otherwise not be refering to the secret societies and their supposed promising research directions).
All pretty straightforward, I would say - both that "misstatement" is hopefully based an overly strict reading of Tao's quote, and that mentioning Tao's background as one of the fields leading practitioners is relevant as well. Again; to make sure: A few counterexamples achieves nothing here. It would need to reach a certain threshold of such counterexamples before we will have to write the history of mathematics; and before Tao actually made a misstatement here.
Terrence Tao can do his job perfectly well without being aware of any mathematical history, though I consider it unlikely that he is. I'm not seeing the direct link you're talking about, in fact history is frequently left out of mathematical teaching even when the history would in fact help in the understanding of some concepts.
That is well-known I assumed and continue to assume.
> I'm not seeing the direct link you're talking about
You are stating that link yourself; indirectly: "though I consider it unlikely that he is [being unaware of any mathematical history]". Why is it unlikely, precisely?
- Maybe because it is unlikely that he recieved the mathematical teaching that frequently does not contain history of mathematics (wild! I wonder which university you have in mind in particular) that you seem to be refering to?
- Maybe because his writing is evidence that he is interested about, incorporates and refers to history of mathematics, refer for example to https://terrytao.wordpress.com/2008/01/04/pcm-article-genera... or https://terrytao.wordpress.com/career-advice/theres-more-to-...
- Or maybe because he is quite the opposite of a person that never ventures outside of their own area; being blind for other fields, or ones own history; as evidence by being famously collaborative across different fields, having a popular blog where he writes about non-mathematical topics too and last; him being one of the main proponents of foundational topics such as formalization of mathematics; or the use of LLMs for mathematical research.
Does all that really make it more likely to you that Tao is not aware of the existence of counterexamples like those the commenter above mentioned - more likely than the commenter simply having missed a nuance or taking something out of context?
If so; I would be genuinely curious why - people work differently, and I am always happy to learn, or close gaps in my own understanding.
And you say his "expertise is directly linked to his ability to not misstate the history of mathematics". And frankly, I disagree. If he happened to be misguided or even outright wrong about some parts of mathematical history I wouldn't think any less of him, nor do I think it matters much for the work he's actually paid to do. At worst it would result in an online discussion, which is arguably a good outcome not a bad outcome.
And if any mathematician's AI usage on a problem leads to scooping, the volume of agents involved gives them a huge advantage which could prompt mathematicians to not use LLMs.
Though you can say Terry's claim is a slippery slope.
Get outta here.
I mean, besides the empty platitude that we have no reason to assume applies here, we can easily search and find Tao commenting on the history and philosophy of mathematics.
This is a really weird subthread.
Clearly Tao knows the former, but apriori that does not imply he knows the latter.
Not saying he doesn't, just saying one does not imply the other.
Even if you go back and read the original papers, you'll miss all that which happened beyond the page.
If Tao has a knowledge of the topic (which he does), then it isn't by virtue of being a mathematician per se, but by virtue of an interest in the history of mathematics (which he has). Knowledge of math is enormously helpful here, but it does not imply historical knowledge.
(the Pythagorean thing isn't really competition either, is ahistorical, and from what we actually do know it's again people hoarding results instead of sharing them).
FWIW, your post comes off as a middlebrow dismissal, surface level and not actually engaging with the substance of the comment. It's also just wrong. You claim "it’s also a misstatement of mathematical history", but don't specify which part. That there's "centuries of traditions of open science"? But your examples are from centuries (and millennia) ago, and there was never any claim that these traditions are universal.
But more fundamentally, competition doesn't mean you can't also have open science. And the very long, damaging events like the Leibniz/Newton feud are exactly what make many mathematicians work to maintain a spirit of collaboration and attribution even when they're competing on approaches.
Reads like nothing but historical context
If competition is somehow the opposite of "centuries of traditions of open science", and "mathematics has always been highly competitive", then open science is neither sufficient or necessary for the future of mathematics. Their clear implication is that we don't need to worry about it, though, because it's always been that way.
> Reads like nothing but historical context
They literally accuse Tao of "a misstatement of mathematical history".
For the future of past mathematics, it says nothing about the current future. Also, open science can be nonsufficient and unnecessary but still extremely beneficial and desirable.
>Their clear implication is that we don't need to worry about it, though, because it's always been that way.
Lets just ask him if that's what he meant, I bet no.
Also, your third paragraph is highly ironic.
Always been what way? And how does that contrast to what Tao said (since it was apparently "a misstatement of mathematical history")?
> Also, your third paragraph is highly ironic.
You'll have to be more specific, since I engaged with my parent's argument, while they waved away Tao's quote by suggesting he was wrong because of exactly the kind of events that helped lead to the norms and mores working mathematicians have today.
Should it be competitive? Is it more useful to be collaborative? How collaborative can it be when it's fundamentally competitive? Is it only fundamentally competitive because of some common 'quirks' of math types, or are there deeper forces pressuring it to be competitive?
These are all questions that I think are worth discussing, as is the note that the pendulum seems to be swinging away from cooperation in the face of competing for $trillion+ valuations (and a real enthusiasm for proving cool math stuff). The alternative, tweeting complaints on twitter without some context, is mostly a waste of space. I mentioned the history in hopes we could get informed complaints on twitter.