GPT-5.4 is not intended to be an incremental update, but rather to bring together previously separate model lines – reasoning, coding, and knowledge work in a single frontier model. According to ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

California stands at a pivotal moment in math education. The State Board of Education has adopted a new mathematics framework for kindergarten through grade twelve that emphasizes equity, engagement, ...

This year has seen some amazing advancements in fundamental mathematics. Researchers have made breakthroughs in geometry, topology, chaos theory, and more. And a startling three of our top 10 ...

Researchers at the University of Science and Technology of China have developed a new reinforcement learning (RL) framework that helps train large language models (LLMs) for complex agentic tasks ...

Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $120 million in new funding on a $1.45 billion valuation. The funding is intended ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

GeekWire chronicles the Pacific Northwest startup scene. Sign up for our weekly startup newsletter, and check out the GeekWire funding tracker and VC directory. by Taylor Soper on Oct 6, 2025 at 12:55 ...