Google’s AI Falls Just Short of Gold at International Math Olympiad

[{"selector":"#anim-be2febfb-bc17-4c4d-9608-db4e6d02a834","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-13c13ffe-7cc8-4093-b13b-4f375536a5dc","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-d0bdb691-0489-4d26-a9aa-25de3514b139","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-c19dc173-b645-41ab-bb37-f2188af45d6f","keyframes":{"transform":["translate3d(0px, 232.11230%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-bbf034b9-1a28-4555-8c68-dcd1a3427122 [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(43.74999965867719%, 0, 0) translate(25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] Google’s AI systems, AlphaProof and AlphaGeometry 2, won silver medals at the International Mathematical Olympiad (IMO).

[{"selector":"#anim-e9802366-d22e-47a4-8b72-f32001f76acb","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-15cf639d-b423-4ea4-b2c9-6298173a485e","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-57ff2c2f-a6d1-4cc0-886f-1be3105d84ee","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-853dd2bf-4cbb-4346-b2c9-9855626a79e1","keyframes":{"transform":["translate3d(0px, 232.11230%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-9119850d-2e47-4d57-a437-108e9f47e442 [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(-43.74999965867719%, 0, 0) translate(-25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] This AI is great at formal math reasoning and solved tough algebra and number theory problems at the IMO.

[{"selector":"#anim-a0585b52-3bb6-49b0-ad33-ae5625c77890","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-8e610e84-1b92-4f30-8828-a094a3736fe8","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-a5700c79-30cc-4539-9063-ba5f38191f41","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-f64a77af-4e3e-4366-9505-3e131d8988a0","keyframes":{"transform":["translate3d(0px, 310.62078%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-2c553b26-4c76-4ea0-b719-cf5896a0990f [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(-43.74999965867719%, 0, 0) translate(-25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] This AI excels in solving complex geometry problems quickly using a new method.

[{"selector":"#anim-ece2e74b-52c4-46af-b73d-a27b87a09303","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-18f2b880-30fc-4cb3-912f-7d5fcec1ffa6","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-8e3980d9-9ebb-4beb-9f2e-7e7b3141d6d1","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-be16358c-3ce1-4388-aa4a-4b4da60b6a1c","keyframes":{"transform":["translate3d(0px, 310.62078%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-c7cb83cc-41fa-43d4-97dc-6bb0f17019af [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(43.74999965867719%, 0, 0) translate(25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] AlphaGeometry 2 was trained on 25 years of IMO problems and solved 83% of them correctly.

[{"selector":"#anim-0c4c29a6-5010-4c31-a039-63d88812f826","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-d23d3bbe-d747-4c31-9fb3-05f1581fefb7","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-79fc454c-2760-466e-90e4-c7fcd18a6fa3","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-d4506351-fb45-49fe-bdc4-55bbe3e600d1","keyframes":{"transform":["translate3d(0px, 310.62078%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-610ebbfc-ac46-486e-91a0-9bc09a74594d [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(-43.74999965867719%, 0, 0) translate(-25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] The AI systems scored 28 out of 42 points, missing the gold medal by just one point.

[{"selector":"#anim-a342e97e-6dab-48db-884c-850fc1f67601","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-c342f532-59b2-464d-b83c-8aa133a391fa","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-24ea0f25-7d65-4a82-9e6c-3938dcb25d67","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-24d45c5d-59a7-4b69-be5b-4e20e6ef0e56","keyframes":{"transform":["translate3d(0px, 310.62078%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-3e8e83b6-9486-48c9-a67a-17ad17dbf0ba [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(43.74999965867719%, 0, 0) translate(25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] Mathematicians praised the AI’s solutions as impressive and innovative.

[{"selector":"#anim-b4ff31b0-234b-4a7e-9eb8-9fc5bf992852","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-a36dab41-eb25-48e3-8de6-e22315c5d3a7","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-8164a98d-f38f-4fe6-aef0-7ced3ed85615","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-0fb102c8-412f-4eeb-a1c1-80cbde343ef4","keyframes":{"transform":["translate3d(0px, 232.11230%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-99102c99-31c9-425a-9463-d97300ac9406 [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(-43.74999965867719%, 0, 0) translate(-25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] This shows that AI is getting better at solving complex math problems and could help human mathematicians.

[{"selector":"#anim-88d4d497-9ad0-40af-8631-b7732acd126a","keyframes":{"opacity":[0,1]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-203d1c87-adfc-48d4-abf8-c7f9d29788c0","keyframes":{"transform":["translate3d(0px, 87.36879%, 0)","translate3d(0px, 0px, 0)"]},"delay":0,"duration":600,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-c52d3077-cf25-4082-ada6-9272c3c56482","keyframes":{"opacity":[0,1]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-6d6e8da8-e18c-4dcb-ae72-2ec5dc3e2a57","keyframes":{"transform":["translate3d(0px, 232.11230%, 0)","translate3d(0px, 0px, 0)"]},"delay":150,"duration":1001,"easing":"cubic-bezier(0.2, 0.6, 0.0, 1)","fill":"both"}] [{"selector":"#anim-34481aed-a97f-4b0d-b1f2-6f39290fc659 [data-leaf-element=\"true\"]","keyframes":{"transform":["translate3d(-43.74999965867719%, 0, 0) translate(-25%, 0%) scale(1.5)","translate3d(0%, 0, 0) translate(0%, 0%) scale(1)"]},"delay":0,"duration":2000,"fill":"forwards"}] Google plans to share more about AlphaProof and improve AI methods to work with human mathematicians.