For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language ...

One question in computer science has stood above the rest for decades, resisting every attempt to settle it despite its ...

Creative problem solving and human-centered design remain at the heart of computer science as AI handles the repetitive tasks of the past.

From John von Neumann’s universal machine to John Nash’s insight into computation, this video explores how computer scientists began measuring problems by the number of steps a machine must take as ...

In January middle school and high school students at more than 200 host sites across the U.S. and parts of Canada competed in the North American Computational Linguistics Open Competition (NACLO), ...

What once took up the entire space in IBM’s lab in the 60’s, now fits on a chip. With tech. breakthroughs, it’s been about the how and when — as will quantum on a chip.

Dropped from his school math team while in 11th grade, Ho Anh Kiet pushed himself by studying 12th-grade math one year in advance to win first prize in the Ho Chi Minh City competition for talented ...

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.

REGINA — It was past midnight— and bitterly cold — on the November evening when Spogmai Hashemi arrived in Saskatchewan, after months of preparing to study in Canada through the University of Regina’s ...

For as long as scientists have been trying to understand the behavior of the electrically charged fourth state of matter known as plasma, there have ...

Envision a breakthrough machine that deciphers encrypted secrets in moments, detects stealth submarines with pinpoint ...

If there is a poet laureate of the "you can just do things" crowd, it's novelist Andy Weir. Weir broke into the mainstream with The Martian, a science fiction novel about a man stuck on Mars who ...