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

AI group recently told investors the critical figure was nearing $50bn in September, far less than the $70bn widely reported

When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match

US President Donald Trump has declared that artificial intelligence should now be called “super intelligence”. Columnist Jacob Aron explains where that term came from and explores whether its many his...

The usage policy update also adds new rules addressing propaganda campaigns, surveillance, and weapon development.

US President Donald Trump has declared that artificial intelligence should now be called “super intelligence”. Columnist Jacob Aron explains where that term came from and explores whether its many his...

When OpenAI announced its surprise solution to the Navier-Stokes problem, it produced one proof for humans and one for computers – however, they don't match

OpenAI is using mathematics as a test site for its most capable AI models, and that means it has a responsibility to deal with the fallout, rather than just leaving it to mathematicians, says Jacob Ar...

The AGI Chronicles review: Don't know where to start with AI? This new book has answers

Large language models have unleashed a torrent of text – dealing with it won't be easy

The AGI Chronicles review: Don't know where to start with AI? This new book has answers

Large language models have unleashed a torrent of text – dealing with it won't be easy

OpenAI is using mathematics as a test site for its most capable AI models, and that means it has a responsibility to deal with the fallout, rather than just leaving it to mathematicians, says Jacob Ar...

In the shadow of a rumored AI proof of one of the biggest problems in their field, three computer scientists rushed to publish their own milestone result.

AI has been growing ever more capable in mathematics and OpenAI has now released hundreds of papers at the same time – to the astonishment of mathematicians

A long-awaited computer-verified proof could unlock new human-computer maths collaborations

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

There’s no question AI has transformed the field of mathematics in the past few months. Columnist Jacob Aron wonders if it will soon be impossible to be an AI refusenik and continue working in the fie...