Mastodawn

Alessio Pomaro Aug 4, 2025

🧠 Ancora un passo avanti in ambito di sistemi neuro-simbolici: il nuovo Seed-Geometry, sviluppato da ByteDance Seed AI4Math, ha ufficialmente superato #AlphaGeometry 2.

👉 Dettagli e riflessioni: https://www.linkedin.com/posts/alessiopomaro_alphageometry-ai-ai-activity-7358009744411787264-BtGe

___
✉️ 𝗦𝗲 𝘃𝘂𝗼𝗶 𝗿𝗶𝗺𝗮𝗻𝗲𝗿𝗲 𝗮𝗴𝗴𝗶𝗼𝗿𝗻𝗮𝘁𝗼/𝗮 𝘀𝘂 𝗾𝘂𝗲𝘀𝘁𝗲 𝘁𝗲𝗺𝗮𝘁𝗶𝗰𝗵𝗲, 𝗶𝘀𝗰𝗿𝗶𝘃𝗶𝘁𝗶 𝗮𝗹𝗹𝗮 𝗺𝗶𝗮 𝗻𝗲𝘄𝘀𝗹𝗲𝘁𝘁𝗲𝗿: https://bit.ly/newsletter-alessiopomaro

#AI #GenAI #GenerativeAI #IntelligenzaArtificiale #LLM

Winbuzzer Apr 1, 2025

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/

José A. Alonso Mar 5, 2025

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

Readings shared February 4, 2025

The 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

Vestigium

José A. Alonso Mar 4, 2025

Gold-medalist performance in solving olympiad geometry with AlphaGeometry2. ~ Yuri Chervonyi et als. https://arxiv.org/abs/2502.03544 #AI #AlphaGeometry #Math

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2

We present AlphaGeometry2, a significantly improved version of AlphaGeometry introduced in Trinh et al. (2024), which has now surpassed an average gold medalist in solving Olympiad geometry problems. To achieve this, we first extend the original AlphaGeometry language to tackle harder problems involving movements of objects, and problems containing linear equations of angles, ratios, and distances. This, together with support for non-constructive problems, has markedly improved the coverage rate of the AlphaGeometry language on International Math Olympiads (IMO) 2000-2024 geometry problems from 66% to 88%. The search process of AlphaGeometry2 has also been greatly improved through the use of Gemini architecture for better language modeling, and a novel knowledge-sharing mechanism that enables effective communication between search trees. Together with further enhancements to the symbolic engine and synthetic data generation, we have significantly boosted the overall solving rate of AlphaGeometry2 to 84% for $\textit{all}$ geometry problems over the last 25 years, compared to 54% previously. AlphaGeometry2 was also part of the system that achieved silver-medal standard at IMO 2024 https://dpmd.ai/imo-silver. Last but not least, we report progress towards using AlphaGeometry2 as a part of a fully automated system that reliably solves geometry problems directly from natural language input.

arXiv.org

KINEWS24 Feb 9, 2025

𝐃𝐞𝐞𝐩𝐌𝐢𝐧𝐝𝐬 𝐀𝐥𝐩𝐡𝐚𝐆𝐞𝐨𝐦𝐞𝐭𝐫𝐲 𝐬𝐜𝐡𝐥ä𝐠𝐭 𝐌𝐚𝐭𝐡𝐞-𝐎𝐥𝐲𝐦𝐩𝐢𝐚𝐝𝐞𝐧-𝐆𝐨𝐥𝐝𝐦𝐞𝐝𝐚𝐢𝐥𝐥𝐞𝐧𝐠𝐞𝐰𝐢𝐧𝐧𝐞𝐫

KI löst komplexe Geometrieprobleme
Übertrifft menschliche Experten
Durchbruch in der Mathematik

#ai #ki #artificialintelligence #DeepMind #AlphaGeometry #Mathematik

https://kinews24.de/deepmind-alphageometry/

DeepMind AlphaGeometry übertrifft Goldmedaillengewinner

DeepMind AlphaGeometry, die revolutionäre KI von DeepMind, übertrifft menschliche Goldmedaillengewinner in mathematischen Geometrieproblemen.

KINEWS24.de

Alessio Pomaro Feb 9, 2025

🧠 #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

#AI #GenAI #GenerativeAI #IntelligenzaArtificiale #LLM

#alphageometry #llm #gemini #ai #genai #generativeai… | Alessio Pomaro

🧠 #AlphaGeometry 2 di Google DeepMind ha superato i risultati di una medaglia d'oro medio nelle Olimpiadi Internazionali di Matematica (IMO), raggiungendo un…

José A. Alonso Nov 30, 2024

Readings shared November 29, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/29-readings_shared_11-29-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

Readings shared November 29, 2024

The readings shared in Bluesky on 29 November 2024 are Readings shared November 28, 2024. #ITP #IsabelleHOL #Logic #Math #Haskell #FunctionalProgramming Proof of "If the limit of the sequence u(n) is

Vestigium

José A. Alonso Nov 29, 2024

Machine learning and mathematics (The twin catalysts poised to accelerate twenty-first century mathematics: formalisation and machine learning). ~ Harald Carlens. https://joltml.com/ml-mathematics/ #Math #ITP #Lean4 #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry

Machine Learning and Mathematics

The twin catalysts poised to accelerate twenty-first century mathematics: formalisation and machine learning.

Alex vd Brandhof Oct 4, 2024

#ChatGPT geeft soms een perfecte oplossing als je hem een wiskundevraagstuk voorlegt, inclusief heldere uitleg bij tussenstappen. Maar vaak ook bluft hij maar wat. Het probleem met ChatGPT: hij weet zélf niet wanneer hij bluft.
Drie nieuwe AI-wiskundetools doen het beter: #AlphaProof, #AlphaGeometry en #o1. Mijn verhaal erover voor NRC
https://www.nrc.nl/nieuws/2024/10/04/ai-ontwikkelt-een-wiskundeknobbel-a4867967

AI ontwikkelt een wiskundeknobbel

Kunstmatige intelligentie: Voor het oplossen van moeilijke wiskundeproblemen zijn menselijke eigenschappen als intuïtie en vindingrijkheid cruciaal. Kunstmatige intelligenties worden er steeds beter in.

NRC

José A. Alonso Sep 12, 2024

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

Readings shared September 11, 2024

The readings shared in Mastodon on September 11, 2024 are Readings shared September 10, 2024. #ITP #Lean4 #IsabelleHOL #Math #Calculemus #Haskell #Python #Math Mathematical Olympiad (To the geometry

Vestigium