GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

Undergraduate students across North America sat down on Saturday to write a grueling six-hour math exam, many of them unlikely to solve a single problem. The notoriously brutal William Lowell Putnam ...

Nearly half of young New Yorkers statewide are still missing the mark on standardized math and English exams, according to newly released data. The state Education Department released its yearly ...

UC San Diego is trying to solve a math problem. The university said a growing number of students are starting their freshman year lacking high school math proficiency. KPBS reporter Jacob Aere says ...

When it comes to hard problems, computer scientists seem to be stuck. Consider, for example, the notorious problem of finding the shortest round-trip route that passes through every city on a map ...

You’ve heard the gospel: AI is going to change everything. Good, great, grand. But when you’re staring down a deadline and 80 unread emails, you don’t need philosophy, you need a cheat sheet. The ...

The Federal Reserve's balance sheet has shrunk from a peak of $8.97 trillion in April 2022 to $6.56 trillion as the central bank has unwound much of the Treasury and agency mortgage-backed security ...

In a recent study, mathematicians from Freie Universität Berlin have demonstrated that planar tiling, or tessellation, is much more than a way to create a pretty pattern. Consisting of a surface ...

Recent media coverage of an 18-year-old woman from Greenland's legal battle to regain custody of her baby after the child was taken from by government authorities just an hour after birth has cast a ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...