Commercial software can’t keep pace with experimental precision when it comes to large-scale computer-algebra calculations 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 ...

Researchers report building photonic computing chips that use light pulses to train spiking neural networks on ...

Two popular quantum computing algorithms for problems in chemistry may have very limited use even as quantum hardware ...

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

The rapidly-improving speed and versatility of digital computers has mostly driven analogue computers out of use in modern ...

The MTIA processors are the tech giant’s latest attempt to build its own AI hardware, even as it continues spending billions on gear from industry leaders like Nvidia.

The applications and systems that software developers use on a daily basis are evolving as AI quickly becomes integrated into ...

Yann LeCun founded Advanced Machine Intelligence Labs in January 2026.

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.

California community college districts are spending millions of dollars on artificial intelligence-powered chatbots intended to help students navigate admissions, financial aid and campus services.

OpenAI is rolling out interactive math and science learning tools in ChatGPT, aiming to boost education use as the company faces lawsuits, Pentagon-related backlash, resignations, and a growing user ...