DeepSeekMath-V2 Matches OpenAI and Google with IMO Gold Medal Win - WinBuzzer DeepSeek has released DeepSeekMath-V2, an open-weight AI that has matched OpenAI and Google's Gold Medal performance at the IMO 2025.

winbuzzer.com/2025/11/27/d...

DeepSeekMath-V2 Matches OpenAI and Google with IMO Gold Medal Win

#AI #DeepSeek #OpenSourceAI #GenAI #MathAI #ChinaAI #AIReasoning #IMO2025 #DeepSeekMathV2

DeepSeekMath‑V2 just snagged gold at IMO 2025 and crushed the China Math Olympiad—outperforming Putnam 2024 champs and AIME pros. This open‑source AI is rewriting theorem‑proving playbooks. Curious? Dive into the details! #DeepSeekMathV2 #IMO2025 #AITheoremProving

🔗 aidailypost.com/news/deepsee...

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

Mathematicians Question AI Performance at International Math Olympiad AI systems achieved gold-level scores at the 2025 International Mathematical Olympiad, sparking debate among mathematicians about the meaning and limitations of this achievement. Explore the significance and scrutiny surrounding AI’s breakthrough in competitive mathematics.

Mathematicians Question AI Performance at International Math Olympiad Gold for AI: A New Era at the IMO The 2025 International Mathematical Olympiad (IMO).... @cosmicmeta.ai #IMO2025

https://u2m.io/unWpgl2d

AI Crushed the Math Olympiad—Or Did It? AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math

@sciam.bsky.social gave me the opportunity to share some personal thoughts about the recently reported AI results from the #imo2025:

www.scientificamerican.com/article/math...

GTF is in #Bolivia 🇧🇴 at #IOI2025, a top programming contest for secondary students. Talented national teams address algorithmic challenges, testing their skills.

Many AI companies are testing models here after #IMO2025. Good luck to all!

eLab AI Report for July 28, 2025 The most interesting AI news from the last week

General AI models from @OpenAI and @DeepMind achieved gold-medal level at the International Mathematical Olympiad, without specific math training. AGI is closer than ever. #AI #AGI #DeepMind #OpenAI #IMO2025 #AIReasoning #eLabAIReport #AI
bit.ly/478ZIzU

África Do Sul Bate Recorde De 25 Anos Na Competição De Matemática Mais Difícil Do Mundo Notícias Nacionais e Do Mundo, Novidades Sobre Famosos, Fofocas, Polémicas, Curiosidades, Desporto, Lifestyle, Moda, Tecnologia, Gaming, Auto e Mais

📐🇿🇦 África do Sul alcança seu melhor resultado em 25 anos na IMO: liderança acadêmica e medalhas conquistadas!

#IMO2025 #ÁfricaDoSul #EducaçãoSTEM #RecordeMatemática #JovensTalentos

www.memeiros.com/2025/07/afri...

OpenAI ganó oro en matemáticas… pero fue solo una simulación.
🥇Google sí ganó en la competencia oficial.
🤖 Y aún hay humanos que vencen a la IA… por ahora.
¿La próxima revolución ya llegó?
🎥 Mira el video completo.
#IAContigo #OpenAI #DeepMind #IMO2025 #Tecnología

GeminiAI conquista l’oro all’IMO con ragionamento naturale GeminiAI risolve 5 problemi su 6 all’IMO 2025, operando in linguaggio naturale in meno di 5 ore, senza l’ausilio di strumenti esterni o accesso alla rete.

💡 GeminiAI conquista l’oro all’Olimpiade Internazionale della Matematica con ragionamento naturale

gomoot.com/geminiai-con...

#atti #blog #deepthink #geminiai #google #imo2025 #lorenzo #news #openai #picks #tech #tecnologia

Gemini 2.5 Pro scored 5/6 on the IMO 2025 set matching a human gold medal🏅

How? A generate, criticize, repair loop: drafts proofs, reviews its work, marks flaws, gets feedback and rewrites. Smarter workflows not just bigger models, drive elite problem-solving

#Gemini #IMO2025

India in top 10 at International Mathematical Olympiad 2025, but all-male team 4th year in a row.
Observations from at male:female ratios from #IMO2025 teams
50:50→Cyprus|Cuba|Honduras|UAE|Botswana
2/3→ElSalvador|PuertoRico
2/6→Australia|UK|Slovenia|Costa Rica|Rwanda|Bhutan

USA Earns Second Place at 66th InternationalMathematical Olympiad – Mathematical Association of America

Team USA takes 2nd at the 66th IMO in Australia! 🥈

Read more here: maa.org/news/usa-ear...

#IMO2025 #TeamUSA #MAA #MathOlympiad #STEM

As #IMO2025 wraps up in #Australia 🇦🇺! GTF congratulates all participants. Your talent is inspiring.

👏 Special kudos to GTF-supported teams from #Mongolia 🇲🇳, #Mexico 🇲🇽, #Costa Rica 🇨🇷, #Bulgaria 🇧🇬, #Kyrgyzstan 🇰🇬, & #Rwanda 🇷🇼

📍 Next #IMO2026 in #China 🇨🇳!

IA de OpenAI se lleva el oro en la Olimpiada Matemática 2025 OpenAI reveló que su LLM experimental ganó oro en la IMO 2025 al resolver 5 de 6 problemas, con razonamiento comparable al de los mejores jóvenes matemáticos. El investigador de OpenAI Alexander Wei anunció en X que un modelo lingüístico experimental superó un “desafío histórico”: rendimiento de medalla de oro en la Olimpiada Matemática Internacional (IMO) 2025. "Estoy emocionado de compartir que nuestro último LLM de razonamiento alcanzó el nivel oro en la competencia matemática más prestigiosa del mundo…

IA de OpenAI se lleva el oro en la Olimpiada Matemática 2025 - @OpenAI #IA #IMO2025 #geeksroom

👏Congratulations to all #IMO2025 contestants on completing the challenging exam days. Now, enjoy some well-deserved leisure time🌴.

Meanwhile, team leaders and coordinators begin the intense work of coordination and scoring. Wishing them clear minds and productive discussions ahead.

GitHub - jsm28/IMOLean: Suggested conventions and examples for Lean formalization of IMO problem statements Suggested conventions and examples for Lean formalization of IMO problem statements - jsm28/IMOLean

For those using @leanprover AI models to “compete” in #imo2025 (@ProjectNumina , @KaiyuYang4), what Lean formalizations will you use? (A) autoformalized statements, (B) manually formalized statements, (C) Joseph Meyer’s IMOLean formalizations (github.com/jsm28/IMOLean)?

The #IMO2025 is underway in #Australia 🇦🇺! Young minds from 100+ countries are competing in the largest math contest for high schoolers.

Medaling at high-level competitions is one of the best predictors of who will advance the knowledge frontier.

GTF wishes all good luck!