21st Century
- 2002 – Manindra Agrawal, Nitin Saxena, and Neeraj Kayal of IIT Kanpur present an unconditional deterministic polynomial time algorithm to determine whether a given number is prime (the AKS primality test),
- 2002 – Yasumasa Kanada, Y. Ushiro, Hisayasu Kuroda, Makoto Kudoh and a team of nine more compute π to 1241.1 billion digits using a Hitachi 64-node supercomputer,
- 2002 – Preda Mihăilescu proves Catalan's conjecture,
- 2003 – Grigori Perelman proves the Poincaré conjecture,
- 2007 – a team of researchers throughout North America and Europe used networks of computers to map E8.
- 2009 - Fundamental lemma (Langlands program) had been proved by Ngo Bao Chau.
Read more about this topic: Timeline Of Mathematics