Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

What makes a proof stronger than a guess? What does evidence look like in the realm of mathematical abstraction? Hear the mathematician Melanie Matchett Wood explain how probability helps to guide ...

The same branch of mathematics that helped Einstein to formulate his theory of general relativity could now allow scientists to peer with unprecedented accuracy into impenetrable objects—such as the ...

In an attempt to attract more freshmen to theoretical mathematics, the math department expanded its offerings this school year. Last fall, it introduced the MATH 60 “Modern Mathematics: Discrete ...

You've probably been asked to prove a math solution at some point, but never like this. Researchers have created the world's largest math proof while solving the Boolean Pythagorean triples problem, ...

Find out how and why mathematics is used in microeconomics, its limitations, and the math skills that economics students need.