A bill moving through the California Legislature would test students as early as kindergarten on math. It's part of an effort ...
The Leiden Declaration has a vision for mathematics that embraces AI tools, but where human values play a guiding role ...
Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...
B, a 3-billion-parameter AI model, is challenging OpenAI, Google and DeepSeek on math and coding benchmarks while reigniting the debate over AI scaling, benchmark gaming and small-model reasoning.
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
OpenAI's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...
Artificial intelligence can now solve open research-level mathematics problems — not just competition questions — and the May 2026 issue of Science News documents the moment the field registered that ...
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it ...
Forbes contributors publish independent expert analyses and insights. Anisha Sircar is a journalist covering tech, finance and society. This voice experience is generated by AI. Learn more. This voice ...
Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...
OpenAI’s GPT-5.4 Pro has solved an open mathematical problem that human researchers could not crack since 2019, according to independent verification by Epoch AI. Contributed by mathematicians Will ...