AI could transform mathematics, but humans will still need to be in the loop

By Carolin Antos, Assistant Professor of Philosophy, University of Konstanz
Balthasar Grabmayr, Assistant Professor of Philosophy, University of Tübingen

OpenAI recently announced that one of its AI models solved one of the hardest problems in modern mathematics: the Navier–Stokes problem. The equations at the heart of this problem describe the movement of fluids like water and, according to the scientific definition, air.

The Navier-Stokes equations are essential to understanding phenomena such as ocean currents, blood circulation, and airflow over airplane wings. Yet, mathematicians have struggled for decades to determine whether coherent solutions to…

Read complete article

~	Is natural toothpaste really as good as fluoride? Tooth decay expert on the difference

~	AI won’t ever make a historically accurate film – but it could help archaeology create better stories

~	US midterms: women voters helped drive the ‘blue wave’

~	Interest rates are making UK homes less affordable, even as wage rises increase faster than house prices

~	Tanzania: Conviction and sentencing of opposition leader Tundu Lissu a travesty of justice

~	Civil Society Call for Scrutiny of United States’ Rights Record

~	A New Chapter for Corporate Accountability in the UK and the Road Ahead

~	What Tommy Robinson’s conviction tells us about the cost to journalists reporting in the public interest

~	Labour’s immigration dilemma: with social care exceptions, the party is trying to have it both ways

~	The John Lewis Christmas ad captures the deep need for grandmothers