Careers upended overnight, academics will have to separate solutions from slop while OpenAI moves on.

Teams led by physicist used “BootLoops” software to produce 36 papers in weeks on everything from linguistics to health ...

Researchers at Nanyang Technological University, Singapore (NTU Singapore) have developed an artificial intelligence (AI) ...

OpenAI’s trove of new math results doesn’t fully solve any of these highly prestigious open questions, but it seems to make ...

Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...

A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the world of math.

OpenAI has posted hundreds of solutions and progress toward 372 major math problems in a release of 722 manuscripts on GitHub ...

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to ...

Justin Sun's office just named three winners of the Justin Sun Prize — and the math world is paying attention.

The Office of Justin Sun today announced the newest recipients of the Justin Sun Prize: independent researcher Wouter van ...

Epoch AI has expanded FrontierMath to 50 open research problems selected by mathematicians and designed for computer ...

Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low ...