ai

From today, science is dead. Or maybe not!

Tim Gowers: AI Is Already Producing PhD-Level Mathematics.

The lower bound for contributing to mathematics will now be to prove something that LLMs can’t prove, rather than simply to prove something that nobody has proved up to now and that at least somebody finds interesting.

Restored portrait of a Daguerreotypist displaying daguerreotypes and cases. From Wikipedia.