Hacker News
- AI solves International Math Olympiad problems at silver medal level https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 525 comments
- Google New AI Can Solve Hardest Math Equations. (What does this mean?) https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 24 comments wallstreetbets
- Mathematicians and the role of foundational models https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 52 comments math
- AlphaProof and AlphaGeometry 2 AI models achieve silver medal standard in solving International Mathematical Olympiad problems https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 2 comments science
- Deepmind's AlphaProof achieves silver medal performance on IMO problems https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ 299 comments math
Linking pages
- YC is wrong about LLMs for chip design - zach's tech blog https://www.zach.be/p/yc-is-wrong-about-llms-for-chip-design 272 comments
- Alan’s conservative countdown to AGI – Dr Alan D. Thompson – Life Architect https://lifearchitect.ai/agi/ 73 comments
- AlphaProof, AlphaGeometry, ChatGPT, and why the future of AI is neurosymbolic https://garymarcus.substack.com/p/alphaproof-alphageometry-chatgpt 36 comments
- OpenAI Announces a New AI Model, Code-Named Strawberry, That Solves Difficult Problems Step by Step | WIRED https://www.wired.com/story/openai-o1-strawberry-problem-reasoning/ 18 comments
- Google claims math breakthrough with proof-solving AI models | Ars Technica https://arstechnica.com/information-technology/2024/07/google-ai-earns-silver-medal-equivalent-at-international-mathematical-olympiad/ 17 comments
- The AGI Race - The One Percent Rule https://onepercentrule.substack.com/p/the-agi-race 11 comments
- Google DeepMind's AlphaProof and AlphaGeometry-2 Solves Advanced Reasoning Problems in Mathematics - MarkTechPost https://www.marktechpost.com/2024/07/27/google-deepminds-alphaproof-and-alphageometry-2-solves-advanced-reasoning-problems-in-mathematics/ 10 comments
- A new golden age of discovery - Google DeepMind https://deepmind.google/public-policy/ai-for-science/ 9 comments
- https://aigenerator.cc 5 comments
- Beat GPT-4o at Python by searching with 100 dumb LLaMAs | Modal Blog https://modal.com/blog/llama-human-eval 2 comments
- Maithra Raghu | The best AIs will be constructed not emergent https://maithraraghu.com/blog/2024/best-ai-constructed-not-emergent/ 1 comment
- AI Reaches Silver-Medal Level at This Year’s Math Olympiad | Scientific American https://www.scientificamerican.com/article/ai-reaches-silver-medal-level-at-this-years-math-olympiad/ 0 comments
- On the “ARC-AGI” $1 Million Reasoning Challenge https://aiguide.substack.com/p/on-the-arc-agi-1-million-reasoning 0 comments
- I'm Switching Into AI Safety https://www.alexirpan.com/2024/08/06/switching-to-ai-safety.html 0 comments
- GitHub - fabiochiusano/Awesome-AI-News: ~300 news for quickly getting up-to-date with the generative AI landscape https://github.com/fabiochiusano/Awesome-AI-News/tree/main 0 comments
- A Proposal for Safe and Hallucination-free Coding AI | Gas Station Secret Lab https://gasstationmanager.github.io/ai/2024/11/04/a-proposal.html 0 comments
- AI progress has plateaued at GPT-4 level - by Erik Hoel https://www.theintrinsicperspective.com/p/ai-progress-has-plateaued-at-gpt 0 comments
Linked pages
- Gemini - Google DeepMind https://deepmind.google/technologies/gemini/ 1606 comments
- Introducing Gemini 1.5, Google's next-generation AI model https://blog.google/technology/ai/google-gemini-next-generation-model-february-2024/ 715 comments
- AlphaGeometry: An Olympiad-level AI system for geometry - Google DeepMind https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/ 262 comments
- FunSearch: Making new discoveries in mathematical sciences using Large Language Models - Google DeepMind https://deepmind.google/discover/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/ 103 comments
- Introducing Gemini: Google’s most capable AI model yet https://blog.google/technology/ai/google-gemini-ai/ 10 comments
- Google Gemini updates: Flash 1.5, Gemma 2 and Project Astra https://blog.google/technology/ai/google-gemini-update-flash-ai-assistant-io-2024/ 0 comments
Related searches:
Search whole site: site:deepmind.google
Search title: AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind
See how to search.