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
#AlphaGeometry
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
𝐃𝐞𝐞𝐩𝐌𝐢𝐧𝐝𝐬 𝐀𝐥𝐩𝐡𝐚𝐆𝐞𝐨𝐦𝐞𝐭𝐫𝐲 𝐬𝐜𝐡𝐥ä𝐠𝐭 𝐌𝐚𝐭𝐡𝐞-𝐎𝐥𝐲𝐦𝐩𝐢𝐚𝐝𝐞𝐧-𝐆𝐨𝐥𝐝𝐦𝐞𝐝𝐚𝐢𝐥𝐥𝐞𝐧𝐠𝐞𝐰𝐢𝐧𝐧𝐞𝐫
KI löst komplexe Geometrieprobleme
Übertrifft menschliche Experten
Durchbruch in der Mathematik
#ai #ki #artificialintelligence #DeepMind #AlphaGeometry #Mathematik
🧠 #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
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
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
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.
🧠 #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.
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/
#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:
: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.
🧠 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".
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst