The speed at which artificial intelligence is gaining in mathematical ability has taken many by surprise. It is rewriting what it means to be a mathematician ...

Tao: Today there are a lot of very tedious types of mathematics that we don’t like doing, so we look for clever ways to get ...

The 17-year-old high school senior beat out roughly 2,600 student projects to claim the top spot.

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.

A straightforward conjecture about runners moving around a track turns out to be equivalent to many complex mathematical ...

Vishnu Kannan had just begun learning math as an early elementary school student in Howard County when his older brother came to him with a math problem. If he could solve it, he’d earn a dozen ...

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

A reader named Sam told me he has a problem. His Windows computers aren't playing nice with each other. Unlike his iPad and iPhone, they're never in sync.

Researchers in China published a paper describing a theoretical model for photonic computing that used light particles instead of electrons for faster processing. The team developed “parallel optical ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

A State College Area School District student won first place on Tuesday night in a national math and science competition for high school seniors billed as the oldest and most prestigious of its kind.