#alphageometry

Timelines

@hulio-ai.bsky.social

4 months ago

🚀 Alpha Geometry: AI solves Olympiad math, explains steps.
🔬 SpectroGen: Virtual spectrometer for materials.
⚡ OFE2: Optical chip speeds AI data.
#AIBreakthroughs #AlphaGeometry #SpectroGen #OFE2
#AIBreakthroughs #AlphaGeometry #SpectroGen #OFE2
View in Timelines

Rajesh Menon

@rajesh30menon.bsky.social

7 months ago

Google DeepMind’s Code of Creation: AI Agents Shaping Tomorrow | Rajesh Menon Google DeepMind’s Code of Creation: AI Agents Shaping Tomorrow /* AlphaEvolve: Redefining Code, Reinventing Discovery AlphaFold 3 & 4: Molecular Intelligence for Drug Discovery AlphaEarth Foundatio...

Google DeepMind’s Code of Creation: AI Agents Shaping Tomorrow
tinyurl.com/2ahdcrtr

#DeepMind #AlphaEvolve #AlphaFold #alphaearth #alphageometry #technospirituality #rajesh30menon #MondayVibes #MondayMotivation #MondayMorning #MondayMood

Alessio Pomaro

@alessiopomaro.it

7 months ago

🧠 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: www.linkedin.com/posts/alessi...

#AI #GenAI #GenerativeAI #IntelligenzaArtificiale #LLM

Winbuzzer

@winbuzzer.com

11 months ago

DeepMind Tightens Control Over AI Research to Guard Google's Competitive Advantage - WinBuzzer DeepMind has restricted some AI research publications to protect Google’s competitive edge, marking a shift from its former open science approach.

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

José A. Alonso

@jalonso.eurosky.social

1 year ago

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

Readings shared March 4, 2025. jaalonso.github.io/vestigium/po... #AI #AlphaGeometry #CompSci #ITP #LLMs #LeanProver #Logig #Math #Programming #Reasoning #SMT

José A. Alonso

@jalonso.eurosky.social

1 year ago

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

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

KINEWS24.de

@kinews24.bsky.social

1 year ago

DeepMind AlphaGeometry übertrifft Goldmedaillengewinner der Internationalen Mathematik-Olympiade DeepMind AlphaGeometry hat einen bemerkenswerten Durchbruch erzielt. Die KI hat in einem Test, der für Goldmedaillengewinner der Internationalen Mathematik-Olympiade (IMO) entwickelt wurde, besser abg...

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

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

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

kinews24.de/deepmind-alp...

Alessio Pomaro

@alessiopomaro.it

1 year ago

🧠 #AlphaGeometry 2 di Google DeepMind ha superato i risultati di una medaglia d'oro medio nelle Olimpiadi Internazionali di Matematica (IMO).
👉 Come funziona? www.linkedin.com/posts/alessi...

#AI #GenAI #GenerativeAI #IntelligenzaArtificiale #LLM

José A. Alonso

@jalonso.eurosky.social

1 year ago

Readings shared November 29, 2024. jaalonso.github.io/vestigium/po... #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

José A. Alonso

@jalonso.eurosky.social

1 year ago

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

José A. Alonso

@jalonso.eurosky.social

1 year ago

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

Readings shared September 11, 2024. jaalonso.github.io/vestigium/po... #ITP #IsabelleHOL #LeanProver #Coq #NaprocheZF #Natty #AlphaGeometry #AlphaProof #FunctionalProgramming #OCaml #Logic #Math #IMO #AI #MachineLearning #LLMs

José A. Alonso

@jalonso.eurosky.social

1 year ago

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

Protechbro Media

@protechbro.bsky.social

1 year ago

DeepMind AI Cracks Math Olympiad, Earns Silver The AlphaProof and AlphaGeometry 2 AI models from Google’s DeepMind are revolutionizing mathematical thinking, which is a weakness of AI chatbots. Google DeepMind claims that after resolving four of the six problems in this year’s International…

The AlphaProof and AlphaGeometry 2 AI models from Google’s DeepMind are revolutionizing mathematical thinking, which is a weakness of AI chatbots. Google DeepMind claims that after resolving four of the six problems in this year’s International Mathematical Olympiad,… #AI #AIModels #AlphaGeometry

Forskning & Framsteg

@fof.se

2 years ago

Geometriuträkning med blyerst på rutat papper

En maskin för matematikgåtor visar hur framtidens AI kan vara uppbyggd. F&F:s @landetannien.bsky.social har pratat med @moajohansson.bsky.social om bevismaskinen #Alphageometry
fof.se/artikel/spra...

MomentumCoin

@momentumcoin.bsky.social

2 years ago

#AI #AlphaGeometry #MathGenius
Google DeepMind's AlphaGeometry AI aced geometry like a math Olympiad champ, solving complex problems with neural networks and symbolic logic. Its AI smarts could herald a new era of machine ingenuity in tackling human-like reasoning challenges.