In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.

When artificial intelligence systems began cracking previously unsolved mathematical problems, the academic world faced an unexpected challenge: determining whether the solutions were genuinely novel ...

From a "thrill kill" rampage on deer to nine trophy black bears, Lou Royce has investigated many poaching incidents. But it's ...

AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

The conventional wisdom holds that entrepreneurs should identify unsolved problems and create novel solutions. But that approach misses where the real leverage exists right now. Established industries ...

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.

Paul Erdős, known as the most prolific mathematician of the 20th century, proposed many unsolved problems throughout his life, known as 'Erdős problems.' GPT-5.2 Pro solved one of these problems, and ...