News > 2020's Biggest Breakthroughs in Math and Computer Science

2020's Biggest Breakthroughs in Math and Computer Science

05/02/2021 09:00 AM | Click to read full article

For mathematicians and computer scientists, 2020 was full of discipline-spanning discoveries and celebrations of creativity. We'd like to take a moment to recognize some of these achievements.

Many mathematicians are excited about a proof assistant called Lean, an efficient and addictive proof assistant that could one day help tackle major problems. Researchers have already encoded some of the most complicated mathematical ideas, proving in theory that the software can handle the hard stuff.