Sign in Create account

#alphageometry2 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #alphageometry2, aggregated by home.social.

José A. Alonso @[email protected] · 2024-07-26 · 15:02 UTC

Google DeepMind IMO 2024 Solutions. https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/index.html #AI #Math #IMO #Lean4 #AlphaProof #AlphaGeometry2

#alphageometry2 #alphaproof #lean4 #imo #math #ai
IT News @[email protected] · 2024-07-25 · 23:05 UTC

Google claims math breakthrough with proof-solving AI models - Enlarge / An illustration provided by Google. (credit: Google)
... - https://arstechnica.com/?p=2039221 #machinelearning #alphageometry2 #googledeepmind #alphageometry #alphaproof #biz⁢ #google #ai

#ai #google #biz #alphaproof #alphageometry #googledeepmind