#alphageometry — Public Fediverse posts

🧠 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 

🧠 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 

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/

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

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. ~ Yuri Chervonyi et als. https://arxiv.org/abs/2502.03544 #AI #AlphaGeometry #Math

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

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

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

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

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

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

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

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

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

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. 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

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). ~ Harald Carlens. https://joltml.com/ml-mathematics/ #Math #ITP #Lean4 #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry

#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

#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

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. 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

Mathematical Olympiad (To the geometry and beyond...). ~ Mirek Olšák. https://aitp-conference.org/2024/slides/MO.pdf #Math #ITP #AI #IMO #AlphaGeometry #AlphaProof #LeanProver

Mathematical Olympiad (To the geometry and beyond...). ~ Mirek Olšák. https://aitp-conference.org/2024/slides/MO.pdf #Math #ITP #AI #IMO #AlphaGeometry #AlphaProof #LeanProver

[Перевод] Стала ли AlphaGeometry прорывом в ИИ?

Примерно полгода назад математическое сообщество услышало новость о том, что исследователи DeepMind создали ИИ-систему, решающую геометрические задачи с Международной математической олимпиады на уровне, близком к золотым медалистам ММО . (Эту новость обсуждали в сабреддите \math, см., например, здесь и здесь .) За этими новостями, как часто бывает с новостями о прогрессе ИИ, последовала волна страха и ужаса, усиленная множеством громких газетных статей с картинками (разумеется, сгенерированными ИИ), на которых искусственные мозги решают ужасно сложные уравнения. По коллективной спине математического сообщества побежали мурашки, снова всплыли на поверхность обычные экзистенциальные вопросы о будущем человеческого интеллекта, а Интернет заполнили мемы о грядущем восстании машин. Я бы хотел взглянуть на эту тему под новым углом. (Предупреждение: возможно, для вас он не будет новым. Если вы имели дело с евклидовой геометрией, понимаете основы линейной алгебры и внимательно читаете журнал Nature, то могли прийти ко всем этим выводам самостоятельно. Но поскольку некоторые критичные аспекты изложены мелким шрифтом (вероятно, намеренно), я всё равно считаю, что их нужно сделать более очевидными.) Я узнал об этих исследованиях, когда кто-то выложил ссылку на пресс-релиз DeepMind в групповом чате моих друзей, любящих математику. Один мой друг с небольшими нотками паники рассказывал, что какой-то ИИ смог решить какую-то сложную задачу с ММО при помощи рассуждений, состоящих примерно из двухсот логических шагов. Вскоре все в чате начали грустно шутить о своём неизбежном увольнении и безработице.

https://habr.com/ru/articles/837336/

#международная_олимпиада #alphageometry #олимпиады_по_математике #геометрия

Deux #IA de #Google , baptisées #Alphaproof et #AlphaGeometry 2 :ces systèmes d' #IA spécialisés ont résolu quatre des six problèmes présentés cette année dans le cadre de l' Olympiade Internationale de Mathématiques
#Google revendique une percée dans ce domaine

https://www.generation-nt.com/actualites/ia-google-deepmind-mathematiques-raisonnement-2049320

Deux #IA de #Google , baptisées #Alphaproof et #AlphaGeometry 2 :ces systèmes d' #IA spécialisés ont résolu quatre des six problèmes présentés cette année dans le cadre de l' Olympiade Internationale de Mathématiques
#Google revendique une percée dans ce domaine

https://www.generation-nt.com/actualites/ia-google-deepmind-mathematiques-raisonnement-2049320

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

🧠 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

🧠 #DeepMind ha sviluppato due nuovi modelli di intelligenza artificiale, #AlphaProof e #AlphaGeometry 2, che sono riusciti a risolvere quattro dei sei problemi della International Mathematical Olympiad (IMO), raggiungendo il livello di una medaglia d'argento. 
💡 Questi modelli hanno dimostrato un avanzato ragionamento matematico, con AlphaProof specializzato in algebra e teoria dei numeri, mentre AlphaGeometry 2 ha eccelso in problemi geometrici. 

#AI #GenAI #GenerativeAI

🧠 #DeepMind ha sviluppato due nuovi modelli di intelligenza artificiale, #AlphaProof e #AlphaGeometry 2, che sono riusciti a risolvere quattro dei sei problemi della International Mathematical Olympiad (IMO), raggiungendo il livello di una medaglia d'argento. 
💡 Questi modelli hanno dimostrato un avanzato ragionamento matematico, con AlphaProof specializzato in algebra e teoria dei numeri, mentre AlphaGeometry 2 ha eccelso in problemi geometrici. 

#AI #GenAI #GenerativeAI

Bei meinen eigenen Versuchen mit #LLMs war ich bisher von den Ergebnissen nicht wirklich beeindruckt.

Also schon hilfreich, aber halt keine #AI sondern ganz klar #ML.

Und dann kommt Google ums Eck und reichert ihr #Gemini mit #Alphaproove und #Alphageometry an und erreicht bei der internationalen Mathematik Olympiade das Niveau einer (guten) Silber Medaille.

Jetzt bin ich doch beeindruckt!

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

Bei meinen eigenen Versuchen mit #LLMs war ich bisher von den Ergebnissen nicht wirklich beeindruckt.

Also schon hilfreich, aber halt keine #AI sondern ganz klar #ML.

Und dann kommt Google ums Eck und reichert ihr #Gemini mit #Alphaproove und #Alphageometry an und erreicht bei der internationalen Mathematik Olympiade das Niveau einer (guten) Silber Medaille.

Jetzt bin ich doch beeindruckt!

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

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

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

#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 🐱.

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

https://www.youtube.com/watch?v=ZrjarkXS0Fo

:youtube: #SabineHossenfelder

🔴 #Google has unveiled a new artificially intelligent system, #AlphaGeometry, that can solve problems of mathematical #geometry.

It’s the first computer program to surpass the average performance of participants at the International Mathematical Olympiad.

That might sound like an incremental improvement, just one more thing that #AI is really good at, but #mathematics isn’t just one more thing, it’s everywhere.

Let's take a look.

https://youtu.be/NrNjvIrCqII?feature=share #News

:youtube: #SabineHossenfelder

🔴 #Google has unveiled a new artificially intelligent system, #AlphaGeometry, that can solve problems of mathematical #geometry.

It’s the first computer program to surpass the average performance of participants at the International Mathematical Olympiad.

That might sound like an incremental improvement, just one more thing that #AI is really good at, but #mathematics isn’t just one more thing, it’s everywhere.

Let's take a look.

https://youtu.be/NrNjvIrCqII?feature=share #News

🧠 Durante il WMF 2023 dissi che forse una via per l'#AI del futuro sarà il ricongiungimento delle due teorie dalle quali ha preso vita: le reti neurali e i sistemi simbolici. 
💡 #AlphaGeometry, il sistema che recentemente ha risolto difficili problemi matematici (livello scuola superiore), è esattamente questo: un sistema "neuro-simbolico". 

#GenAI #LLM #GenerativeAI #IntelligenzaArtificiale

https://www.linkedin.com/posts/alessiopomaro_ai-futuro-alphageometry-activity-7157994875735441408-SNEk

🧠 Durante il WMF 2023 dissi che forse una via per l'#AI del futuro sarà il ricongiungimento delle due teorie dalle quali ha preso vita: le reti neurali e i sistemi simbolici. 
💡 #AlphaGeometry, il sistema che recentemente ha risolto difficili problemi matematici (livello scuola superiore), è esattamente questo: un sistema "neuro-simbolico". 

#GenAI #LLM #GenerativeAI #IntelligenzaArtificiale

https://www.linkedin.com/posts/alessiopomaro_ai-futuro-alphageometry-activity-7157994875735441408-SNEk

Neural nets combined with symbolic AI https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
#ai #symbolicAI #neuralnets #alphageometry

Neural nets combined with symbolic AI https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
#ai #symbolicAI #neuralnets #alphageometry

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

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

DeepMind AlphaGeometry solves complex geometry problems https://www.artificialintelligence-news.com/2024/01/18/deepmind-alphageometry-solves-complex-geometry-problems/ #google #deepmind #alphageometry #maths #geometry #tech #ai #news #technology

DeepMind AlphaGeometry solves complex geometry problems https://www.artificialintelligence-news.com/2024/01/18/deepmind-alphageometry-solves-complex-geometry-problems/ #google #deepmind #alphageometry #maths #geometry #tech #ai #news #technology

Google DeepMind AlphaGeometry – Geometrie made by Künstliche Intelligenz

#KuenstlicheIntelligenz #GoogleDeepMind #AlphaGeometry #Geometrie #Mathematik #Technologieinnovatio

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

https://www.technologyreview.com/2024/01/17/1086722/google-deepmind-alphageometry/

#AlphaGeometry first attempts to generate a proof using its symbolic engine, driven by logic. If it cannot do so using the symbolic engine alone, the language model adds a new point or line to the diagram. This opens up additional possibilities for the symbolic engine to continue searching for a proof. This cycle continues, with the language model adding helpful elements and the symbolic engine testing new proof strategies, until a verifiable solution is found. #AI

https://www.technologyreview.com/2024/01/17/1086722/google-deepmind-alphageometry/

#AlphaGeometry first attempts to generate a proof using its symbolic engine, driven by logic. If it cannot do so using the symbolic engine alone, the language model adds a new point or line to the diagram. This opens up additional possibilities for the symbolic engine to continue searching for a proof. This cycle continues, with the language model adding helpful elements and the symbolic engine testing new proof strategies, until a verifiable solution is found. #AI