For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

Has the advent of computers as the main tool for hard-core mathematical physics made students stronger or weaker? Before you read any further, you need to know that I just turned 60, which may or may ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

Tessellations aren’t just eye-catching patterns—they can be used to crack complex mathematical problems. By repeatedly reflecting shapes to tile a surface, researchers uncovered a method that links ...

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.

Some math problems have been challenging us for centuries, and while brain-busters like these hard math problems may seem impossible, someone is bound to solve ’em eventually. Well, maybe. For now, ...