#alphageometry — Public Fediverse posts

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

https://winbuzzer.com/2025/04/01/deepmind-tightens-control-over-ai-research-to-guard-googles-competitive-advantage-xcxwbn/

Readings shared September 11, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/11-readings_shared_09-11-24 #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs

AI reached the level of 12-year-old Terence Tao! Both won a Silver medal with 28 points.
#IMO #AI #Terence #Tao #TerenceTao #Math #Maths #Olympiad #Mathematics #SilverMedal #DeepMind #AlphaProof #AlphaGeometry

🧠 All'#AI Festival, a febbraio, e al #WMF a giugno, ho parlato dei sistemi neuro-simbolici come proiezione verso il #futuro dell'intelligenza artificiale, facendo l'esempio di #AlphaGeometry di Google DeepMind.

💡 Gary Marcus, nella sua newsletter, parla del plateau dell'AI generativa, vedendo un futuro promettente per l'IA neuro-simbolica, che combina reti neurali con sistemi simbolici per migliorare l'affidabilità e le capacità di ragionamento. 

#AI #GenerativeAI #IntelligenzaArtificiale