The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
Many students appear to be completing assignments faster while learning less from them. This conclusion comes from one of the largest studies of how generative AI is changing student behavior and ...
Easy access to AI-powered answers during important math assessments is creating significant learning loss, according to a new ...
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 ...
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 ...
The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.
OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946. Experts say this result could indicate that AI is capable of ...
In the mid-noughties, when music by the Killers and Franz Ferdinand blared out of every pub and nightclub I passed, I spent my days and nights struggling through a Ph. D.
Researchers say the findings raise questions about what happens to our brains and patterns if we depend too much on AI. Dashia is the consumer insights editor for CNET. She specializes in data-driven ...