Scientists at Google DeepMind, Alphabet's advanced AI research division, have created artificial intelligence software able to solve difficult geometry proofs used to test high school students in the ...

A new study suggests the students who used dynamic geometry software were more successful in discovering new mathematical ideas than when they used static, paper-based diagrams. A new study co-written ...

PORTLAND, Ore., July 16, 2026 (GLOBE NEWSWIRE) -- Saltire Software, a mathematical software company founded in the late 1980's, will launch CoreGX, its deterministic geometry engine for AI-native ...

An analysis of data from 200,000 students using a computer-assisted math program supports an optimistic view of skill-focused, mastery-based learning, even with limited use. Many rigorous studies ...