Every year, math nerds and dessert enthusiasts unite to celebrate Pi Day on March 14, a date whose digits represent the first ...

The NCAA selection committee says it sticks to the usual rules for the March Madness bracket, even with travel and injury issues. On Wednesday, chair Keith Gill said organizers see ...

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.

When OpenAI launched ChatGPT-5 in August of last year, many academics scoffed at the tech company’s claims its new artificial intelligence (AI) model possessed “PhD-level” intelligence. After all, how ...

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

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

Seven teams comprising 67 undergraduate and graduate students from across campus disciplines laid out their startup business plans at Pioneer Square Labs in Seattle to conclude a 10-week program.

What started out as a response to labor shortages in poultry processing plants during the COVID-19 pandemic has turned into a ...

Two Georgia Tech undergraduates are being recognized for their contributions to computing research. Ryan Punamiya (CS 2025) and Summer Abramson, a third-year computational media student, have been ...

Princeton SPIA is informing lawmakers about the latest research on AI, and educating current and future public servants about policy challenges and innovation opportunities.