For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...

Maps, math, and the moon: How women’s innovations have shaped modern computer science

This Women’s History Month, we look at how women’s innovations have advanced the field of computer programming. View on ...

Nvidia's Nemotron-Cascade 2 wins math and coding gold medals with 3B active parameters — and its post-training recipe is now open-source

Nvidia's Nemotron-Cascade 2 is a 30B MoE model that activates only 3B parameters at inference time, yet achieved gold ...
The New York Times

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes. Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check ...
Detroit Free Press

Accessible Math Comes to PDF: PDF 2.0 enables fully-accessible STEM content

BERLIN, BERLIN, GERMANY, March 4, 2026 /EINPresswire.com/ — PDFs with accessible mathematics have reached a practical turning point. For the first time, complex ...
CNN

The Iran war’s troubling missile math

Four days into war with Iran, at least one of the United States’ Gulf allies is already running low on crucial interceptor munitions used to defend against Iranian missile and drone attacks, two ...