The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...

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.

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 ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

In March 2025, mathematician Daniel Litt made a bet. Despite the march of progress of artificial intelligence in many fields, he believed his subject was safe, wagering with a colleague that there was ...

It’s getting tougher to assess how much university students have learnt. In his work as a Mathematical Statistics lecturer, Michael von Maltitz has tried a new way of getting students to learn, and of ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

Harmonic raises third funding in 14 months from insiders Focus on AI's math and reasoning capabilities Plans to explore commercial use cases in software development Nov 25 (Reuters) - Harmonic, an ...

(Reuters) -Harmonic, an artificial intelligence startup co-founded by Robinhood CEO Vlad Tenev, has raised $120 million in new funding, valuing the company at $1.45 billion, as it tackles AI ...