GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

Remember that math problem from 2014? A Chinese AI tool cracked it ...

Discrete mathematics is about precision in reasoning as much as it is about solving problems. Proof techniques like induction, contradiction, and direct reasoning are used to establish results in ...

For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing new theories and solving problems. That’s why a discussion about proofs ...

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

Last week, a 23-year-old amateur with no advanced mathematical training did something many mathematicians never manage in a ...

Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because ...

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