Raziskovalna skupina, ki deluje pri podjetju Google DeepMind, je razvila KI-sistem AlphaProof, ki bi na mednarodni matematični olimpijadi (IMO) osvojil srebrno medaljo. Sistem je bil prvi te vrste, ki je dosegel raven medalje. Ekipa je svoj pristop podrobno predstavila v strokovni reviji Nature.

Google DeepMind je razvil AI orodje AlphaEvolve, ki je v sodelovanju z matematikom Terenceom Taom pomagalo najti nove poti do rešitev nerešenih matematičnih problemov, natančneje, izboljšalo je dokaze za končno-poljsko Kakeya domnevo. AI ne le napoveduje in povzema, temveč tudi ustvarja, preverja in dokazuje matematične ideje. Gemini Deep Think je preveril logiko, AlphaProof pa je formaliziral rezultat, kar je ustvarilo zaključen AI-raziskovalni krog.