Join us at #SIGGRAPH2024 for two keynote presentations from our CEO and Founder Jensen Huang on Monday, July 29 at 2:30pm MT. Don't miss #OpenUSD day, #GenerativeAI day, research panels, our Startup Innovation Zone, training labs, and more: https://
nvda.ws/3RLddgP @Meta @WIRED
RESEARCH
-
Jensen Huang keynotes SIGGRAPH 2024 AI innovation
By
–
-
Benchmark Saturation Drives Need for Better AI Evaluation Metrics
By
–
Alternative explanation: the asymptote is due to the benchmark saturating. We need better benchmarks! But of course, there is no doubt that both open weights and closed models are pushing the envelope quite drastically. Fun times!
-
Llama 3.0 Previous Checkpoint Release Details
By
–
It's the previous checkpoint they presented when Llama 3.0 was released
-
AI Solves 4 IMO Problems Despite Adversarial Combinatorics Setup
By
–
This year IMO problems were extremely adversarial to us with only 1 geometry, but 2 combinatorics (out of 6). It is also very difficult for humans: Terrence Tao admitted at the closing ceremony that P5 combinatorics screwed him! Despite so, we were able to solve 4 problems (P1/P6
-
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
-
AlphaZero-Based System for Automated Mathematical Theorem Proving
By
–
Not at this point. It builds on AlphaZero, which does have a paper: https://
arxiv.org/abs/1712.01815 It uses the Lean theorem proving system as the way of expressing the theorems and proofs: -
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
-
ICML 2024 Best Paper from UW Cheriton CS
By
–
Another great article, covering our #ICML2024 best paper, from the incredible Joe Petrik of @UWCheritonCS
-
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!