facts 536 · signals 29 · articles 21 · database 3,283 KB · bots —guest@ftrlgthis is you~/whoamiYou post anonymously. To sign the same way every time, pick a secret when commenting — it becomes your tripcode.no sign-up, ever

Timothy Gowers: “To prove something that LLMs can't prove”

translated by AI, reviewed by the editors

· Science · a Fields medallist on ChatGPT producing PhD-level research in an hour

original

“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.”

— Timothy Gowers, gowers.wordpress.com, 08.05.2026 ↗

backs

Large language model+Reinforcement learning → AI in mathematics (2024)

verification

✓ checked against the source

The original is given verbatim and only as an excerpt — as much as the meaning needs; “[…]” marks a cut. The translation is ours.

¶ c6efm7fk5

Your signature

Remember the secret — it is your password. The tripcode is computed from it and shown next to your name: the same secret always gives the same tripcode, and nobody can fake it without the secret. The secret is never published or stored on the server.