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

DeepMind's AlphaProof and AlphaGeometry 2 solve 4 of 6 International Mathematical Olympiad problems — 28 points, silver-medal standard

translated by AI, reviewed by the editors

· Science · Education
technology
AI in mathematics · Large language model · Reinforcement learning
merge
Large language model+Reinforcement learning → AI in mathematics
source
deepmind.google ↗

¶ cpmp95wjd

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.