1. A well-known conjecture in number theory has been proven (by Terry Tao, natch).
2. Several elements in the proof arose from an innovative collaborative approach to mathematical research (the Polymath Project, specifically Polymath5).
3. The result will be published in a newly announced cost-effective open-access journal, giving the new journal a big early prestige boost.
Every one of these is a big deal; taken together, they give us a glimpse of the future of mathematics (which, per William Gibson, is already here, just not very evenly distributed).
I hope it's the future for a lot of fields, not just mathematics, but I'm very glad to see things like this happening and big kudos are deserved by all involved.
Even the article here is better than most--I love how it linked even to the blog comment that gave Tao the impetus to investigate the connection and I would love to see things like this become standard for proper scientific reporting (i.e. if something happened online, give us a link). That should be standard practice, but it's so often neglected that it makes this article much more thorough than the average.
>> Though the proof has not undergone a rigorous peer review, experts expressed no concern over whether it would survive a critical look.
Such is people's confidence in Terence Tao - not unfounded by any means - but the result has not been peer reviewed yet. Tim Gowers has said that they'll be conservative in their review process [0] so any errors will probably be picked up quickly.
Any use of the word "conservative" outside a quantitative comparison should at least be disregarded and at most set off alarm bells that a deceit is underway. In no case should you draw any further conclusions about the outcome based on some presumed directionality of such a qualitative modifier. "Conservative compared to what?"
Subtitle: "Terence Tao successfully attacks the Erdős Discrepancy Problem by building on an online collaboration."
First paragraph: "A mathematical puzzle that resisted solution for 80 years — including computerized attempts to crack it — appears to have yielded to a single mathematician."
> by building on an online collaboration." [...] appears to have yielded to a single mathematician."
>This irks me.
It didn't bother me because I don't interpret the "collaboration" and "single mathematician" as contradictory. In other words, all mathematics is built upon group contributions whether the collaboration happens digitally online or via letters transported across 17th century continental Europe.
In this case, "single mathematician" doesn't mean a person who discovered every insight and connected all the dots. Instead, it means the one who connected the last dot. So far, it looks like Tao solved the last step of the puzzle and no one else independently solved it and submitted a proof at the same time. Contrast this situation to the invention of calculus which was simultaneously created by Newton and Leibniz.
Echoing what jasode said, I don't think this blog comment makes this much less of a Tao accomplishment, even if the comment was absolutely crucial. Tons of scientific insights can traced back to off-hand conversations with colleagues; the fact that this happened on a blog rather than over coffee in person is not relevant to priority claims. When insights aren't traced in this way, it's usually because the person just hasn't kept an exhaustive record of all the useful conversations in his head (rather than because there were no such useful conversations).
In other words, if you think this degree of collaboration is enough to characterize the discovery as not individual, then there have been no individual discoveries ever. But that's not a very useful definition, because there are clearly some discoveries that are much more collaborative than others.
Yes as the Nature article says, the commenter who gave Tao the initial idea is Uwe Stroinski, who received a PhD in mathematics from the University of Tübingen.
Just repeating his name here because i think his contribution should not be missed.
Gowers on Terrence Tao's solution
to the Erdős discrepancy problem
The title here started out as:
Maths whizz solves
a master's riddle
I suspect the click-baity title helped this submission get early views and early votes. The other, more factual title was probably just mostly ignored. It would be interesting to know how many click-throughs that earlier submission got.
Am I the only one who noticed the smoothest self-promotion ever in the comment section?
Very interesting post, such a good read. Glad I came across it. Flitwick Blinds often use advanced mathematics when calculating conservatory roof blinds or shaped shutters at http://www.flitwick-blinds.co.uk*
1. A well-known conjecture in number theory has been proven (by Terry Tao, natch).
2. Several elements in the proof arose from an innovative collaborative approach to mathematical research (the Polymath Project, specifically Polymath5).
3. The result will be published in a newly announced cost-effective open-access journal, giving the new journal a big early prestige boost.
Every one of these is a big deal; taken together, they give us a glimpse of the future of mathematics (which, per William Gibson, is already here, just not very evenly distributed).