Mathematicians and computer scientists answered major questions in topology, set theory and even physics, even as computers continued to grow more capable. Mathematicians and computer scientists had ...

For mathematicians and computer scientists, this was often a year of double takes and closer looks. Some reexamined foundational principles, while others found shockingly simple proofs, new techniques ...

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...

The Massachusetts Institute of Technology has released the largest free library of Olympiad-level math problems ever ...