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

Science publishes DeepMind’s paper on the AlphaProof Nexus agent: it autonomously resolved 9 of 353 open Erdős problems and proved 44 of 492 conjectures from the On-Line Encyclopedia of Integer Sequences, with every proof checked in Lean; in the same issue mathematicians Jeremy Avigad and Matthew Ballard write the commentary “AI for research mathematics has arrived”

translated by AI, reviewed by the editors

· Science
technology
AI in mathematics
source
doi.org ↗

¶ ckdzaxmkz

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.