The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

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

Technology has delivered groundbreaking advances in recent decades—from life-saving medical treatments to the everyday convenience of carrying a powerful computer in a pocket. Yet despite the rapid ...

Quantum computing’s ability to solve problems that would take classical computers millennia has captured global interest. But the path to functional, scalable quantum machines has been riddled with ...

A Korean mathematician has solved one of geometry’s most stubborn puzzles, ending a problem that has challenged researchers for nearly 60 years and earning global recognition for a proof achieved ...

We meet a solutions architect who tells us that his defining characteristic is curiosity, and that for him success is in solving problems with technology, for people. In a recent episode of the First ...

Karen Murphy, PhD, RN, executive vice president and chief innovation and digital transformation officer for Geisinger in Danville, Pa., joined the Becker’s Healthcare podcast to talk about innovation ...

We meet Stephen Kaufman, who has spent 25 years architecting solutions on behalf of Microsoft. Stephen tells us that his defining characteristic is curiosity, and how his first memory was of taking ...