Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
EdSource

Data Science helps students of color opt in for more math

February 5, 2026 - Fresno Unified invested $30 million in services that go beyond traditional academics, from housing assistance to music production and lunchtime sports. Because of UC’s decision to ...
The Hechinger Report on MSN

This state tried to overhaul math instruction. It didn’t go as planned

LEHI, Utah — It was the last class before Thanksgiving break, and high school math teacher Sarah Gale was dishing out more than her usual lessons on data science. “I can smell it,” said one student, ...
The Stanford Daily

Stanford, Harvard revise high school math curriculum recommendations, exclude data science

Last year, the Stanford Undergraduate Admissions Office changed its high school math curriculum recommendations for prospective applicants, emphasizing conceptual math courses such as algebra and ...