Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

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 ...

You think writing proofs for algebra during high school was hard? Think again. A trio of brilliant mathematicians just solved a decade-old puzzle and consequently produced the world's largest ...

If you thought the mathematical proofs you did in high school were long, you haven’t seen the newest one out of the University of Liverpool — computer scientists Alexei Lisitsa and Boris Konev came up ...

When it comes to understanding the shape of bubble clusters, mathematicians have been playing catch-up to our physical intuitions for millennia. Soap bubble clusters in nature often seem to ...

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.

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 ...