Louisiana Tech University senior Jesse Webb will represent the United States this April at the NYU Abu Dhabi International ...

C al Newport has been described as the “man who never procrastinates,” so I expected him to be punctual for our interview. He ...

Artificial intelligence is a game changer across many fields these days and mathematics is no exception. Yet, the rapid acceleration of its ability to solve some of arithmetic’s most challenging ...

Colorado Mesa University's 28th Math Extravaganza brought 200+ high school students from across western Colorado for a day of ...

Computing and data shape nearly every aspect of modern life. In recent years, efforts to expand data and computing education in K-12 settings have grown rapidly but unevenly. A new National Academies ...

Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes. Axiom Math’s founder and chief executive, Carina Hong, right, and the chief technology ...

A State College-area high school student will return home from spring break with a major research prize under his belt.

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.

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

Code.org founder and chairman Hadi Partovi on why computer science is a liberal art and software engineering is not dead yet.

As a young art major at Viterbo University in La Crosse, Wisconsin, Dr. Barbara Johnson once stood before blank canvases waiting for inspiration to strike. It arrived instead in a computer lab in 1984 ...

A math academy in Paju, Gyeonggi Province, administers an annual test where students read and interpret texts to assess their literacy skills. Kim Sun-jin, the academy’s representative, said, “Even ...