Nature

DeepSeek’s self-correcting AI model aces tough maths proofs

The mathematical reasoning model performed as well as humans at prestigious international mathematics competitions.
JSTOR Daily

The Effects of Teaching Euclidean Geometry via Transformations on Student Achievement and Attitudes in Tenth-Grade Geometry

Materials were written for an entire year's course in geometry in which transformations were used to develop the concepts of congruence, similarity, and symmetry, as well as being a vehicle for proof.
Ars Technica

Google claims math breakthrough with proof-solving AI models

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...
New Scientist

DeepMind AI solves hard geometry problems from mathematics olympiad

An AI from Google DeepMind can solve some International Mathematical Olympiad (IMO) questions on geometry almost as well as the best human contestants. How does ChatGPT work and do AI-powered chatbots ...
TechCrunch

DeepMind claims its AI performs better than International Mathematical Olympiad gold medalists

An AI system developed by Google DeepMind, Google’s leading AI research lab, appears to have surpassed the average gold medalist in solving geometry problems in an international mathematics ...
JSTOR Daily

Fisher Information and Model Selection for Projective Transformations of the Line

The Fisher information and the Rao measure are obtained in closed form for a family of probability density functions parametrized by the manifold PSL(2, R) of projective transformations of the real ...