We love combinatorics! I shared some info here on our language reasoning system
AGI
-
Negative latency voice models soon
By
–
Pretty soon we’re going to have negative latency on voice models where it just interrupts you half way through your question.
-
AlphaGeometry 2 Solves 83% of Historical IMO Geometry Problems
By
–
AlphaGeometry solves geometry problems, but that's only one kind of problem that appears in the IMO (and it has been improved significantly): "Before this year’s competition, AlphaGeometry 2 could solve 83% of all historical IMO geometry problems from the past 25 years, compared
-
AlphaProof Solves Hardest 2024 IMO Problem, AI Dominance Expands
By
–
AI is beating me at the things I love, one step at a time (coding, StarCraft, mathematics, …). AlphaProof solved the most difficult 2024 IMO problem (P6). Answer doesn't fit in this tweet
-
AI Reaches Silver Medal Level in Mathematics at IMO 2024
By
–
Super thrilled to share that our AI has has now reached silver medalist level in Math at #imo2024 (1 point away from 🥇)! Since Jan, we now not only have a much stronger version of #AlphaGeometry, but also an entirely new system called #AlphaProof, capable of solving many more… pic.twitter.com/EyoUGrTALD
— Thang Luong (@lmthang) 25 juillet 2024Super thrilled to share that our AI has has now reached silver medalist level in Math at #imo2024 (1 point away from )! Since Jan, we now not only have a much stronger version of #AlphaGeometry, but also an entirely new system called #AlphaProof, capable of solving many more
-
Hybrid AI System Achieves Silver Medal at International Math Olympiad
By
–
Advanced mathematical reasoning is a critical capability for modern AI. Today we announce a major milestone in a longstanding grand challenge: our hybrid AI system attained the equivalent of a silver medal at this year’s International Math Olympiad! https://t.co/O1QvMC02uM
— Demis Hassabis (@demishassabis) 25 juillet 2024Advanced mathematical reasoning is a critical capability for modern AI. Today we announce a major milestone in a longstanding grand challenge: our hybrid AI system attained the equivalent of a silver medal at this year’s International Math Olympiad!
-
AI System Achieves Silver Medal-level score in IMO
By
–
AI System Achieves Silver Medal-level score in IMO The International Mathematical Olympiad (IMO) is the oldest, largest & most prestigious competition for young mathematicians. Every year, countries send their top young mathematicians to take a 6 problem test spanning two days.
-
Review of The Atomic Human: What Remains if Machines Take Over
By
–
Review of the Atomic Human by @bryanappleyard (thanks for sticking with the digressions Bryan!). What will remain of us if the machines take over?
-
AI Video Generation Breakthroughs: Novel Algorithms Enable Impossible Advances
By
–
DearVCs, CEOs, VPs & Governments: Many people, including some AI researchers, thought this video generation and other AI advances would be impossible. Some researchers and engineers persevered with optimism, thought hard, derived novel mathematical algorithms and tractable… https://t.co/uGx7hkj3hR
— Nando de Freitas (@NandoDF) 25 juillet 2024DearVCs, CEOs, VPs & Governments: Many people, including some AI researchers, thought this video generation and other AI advances would be impossible. Some researchers and engineers persevered with optimism, thought hard, derived novel mathematical algorithms and tractable