Terence Tao
👤 SpeakerAppearances Over Time
Podcast Appearances
So the project is almost complete.
So these 22 million, all but two have been settled.
Wow.
Well, actually, and of those two, we have a pen and paper proof.
of the two, and we're formalizing it.
In fact, this morning I was working on finishing it.
So we're almost done on this.
It's incredible.
Yeah, fantastic.
How many people were able to get it?
About 50, which in mathematics is considered a huge number.
It's a huge number.
That's crazy.
Yeah.
So we're going to have a paper with 50 authors and a big appendix of who contributed what.
The beauty of these lean projects is that automatically you get all this data.
So like everything's uploaded to this GitHub and GitHub tracks who contributed what.
So you could generate statistics at any later point in time.
You could say, oh, this person contributed this many lines of code or whatever.
I mean, these are very crude metrics.