DeepMind Tightens Control Over AI Research to Guard Google’s Competitive Advantage
#AI #DeepMind #GoogleAI #GeminiAI #AIresearch #AlphaGeometry #AlphaFold3 #AGI #AIsecrecy #RoboticsAI #TxGemma #AIethics #OpenScience #LLMs
Recent searches
Search options
#AlphaGeometry
0 posts0 participants0 posts today
Readings shared March 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/04-readings_shared_03-04-25 #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT
Vestigium · Readings shared February 4, 2025The readings shared in Bluesky on 4 March 2025 are
Formalizing zeta and L-functions in Lean. ~ David Loeffler, Michael Stoll. #ITP #LeanProver #Math
Lean Copilot: Large language models as copilots fo
#AlphaGeometry 2 di Google DeepMind ha superato i risultati di una medaglia d'oro medio nelle Olimpiadi Internazionali di Matematica (IMO). 
Come funziona? https://www.linkedin.com/posts/alessiopomaro_alphageometry-llm-gemini-activity-7294263361972674560-pFrL
___
𝗦𝗲 𝘃𝘂𝗼𝗶 𝗿𝗶𝗺𝗮𝗻𝗲𝗿𝗲 𝗮𝗴𝗴𝗶𝗼𝗿𝗻𝗮𝘁𝗼/𝗮 𝘀𝘂 𝗾𝘂𝗲𝘀𝘁𝗲 𝘁𝗲𝗺𝗮𝘁𝗶𝗰𝗵𝗲, 𝗶𝘀𝗰𝗿𝗶𝘃𝗶𝘁𝗶 𝗮𝗹𝗹𝗮 𝗺𝗶𝗮 𝗻𝗲𝘄𝘀𝗹𝗲𝘁𝘁𝗲𝗿: https://bit.ly/newsletter-alessiopomaro
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
Ars Technica · Google claims math breakthrough with proof-solving AI modelsAlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance
Continued thread
#AlphaGeometry was one of the more interesting #AI developments lately and i hope the technique will be picked up to to try on other areas of math.
it seems like all of it is open source so that's a great start:
https://github.com/google-deepmind/alphageometry
let me know of any communities doing this 
.
GitHubGitHub - google-deepmind/alphageometryContribute to google-deepmind/alphageometry development by creating an account on GitHub.
#AnotherRoof did a great video on #AlphaGeometry. he looks into one of the proofs in detail and discusses the impact from a mathematician's perspective:
DeepMind AI rivals the world’s smartest high schoolers at geometry - Enlarge / Demis Hassabis, CEO of DeepMind Technologies and developer of... - https://arstechnica.com/?p=1997186 #alphageometry #alphazero #deepmind #science #alphago #ai
Ars Technica · DeepMind AI rivals the world’s smartest high schoolers at geometryDeepMind solved 25 out of 30 questions—compared to 26 for a human gold medalist.
Bislang scheiterten Computer daran, komplizierte mathematische Aussagen zu beweisen. Doch nun gelang es der KI AlphaGeometry, dutzende Aufgaben der Mathematik-Olympiade zu lösen.#KI #KünstlicheIntelligenz #Mathematik-Olympiade #IMO #InternationaleMathematik-Olympiade #Geometrie #AlphaGeometry #LLM #LargeLanguageModel #GPT #Mathematik #Schule #Beweisassistent #Lean #ITTech
Eine KI könnte die Mathematik-Olympiade gewinnen
Eine KI könnte die Mathematik-Olympiade gewinnen
Spektrum.de · Eine KI könnte die Mathematik-Olympiade gewinnen