rndnumthy
No user record in our sample, but rndnumthy has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but rndnumthy has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
PDF slides from the talk where the project was launched: https://math.mit.edu/~drew/vantage/BuzzardSlides.pdf
What I really like is that this project will not blindly formalize the proof from the 90's. Instead they take a SOTA approach, streamlining and optimizing many parts of the proof. So it will result in a useful artifact…