On a test set of 30 IMO geometry problems from the years 2000-2022, #AlphaGeometry can solve 25 problems. This is approaching that of the average human gold medalists with 25.9 and surpasses the previous state-of-the-art system, which can only solve 10, by a large margin! (Note
@lmthang
-
Synthetic Mathematical Proofs Discovery Through AI Analysis
By
–
Here is a closer look at our synthetic data ordered by proof lengths. We can see that trivial and well-known theorems, such as the Euler circle, were re-discovered. Out of 100M examples, there are 9M with auxiliary constructions or the "insights". Some examples have very long
-
Synthetic Data Generation Using 100K CPU Workers
By
–
These are examples of the random diagrams that we start off with for our synthetic data generation. We use 100K CPU workers to generate one billion random diagrams, then run symbolic deduction and traceback for 3-4 days. After deduplication and filtering by "interestingness", we
-
Synthetic Data Generation for Olympiad-Level Mathematical AI Training
By
–
The lack of training data for maths, especially those at the Olympiad level, motivated us to generate everything synthetically. Key to this process is the idea of "symbolic deduction and traceback". We start from random diagrams, try to find all properties through forward
-
AlphaGeometry Neuro-Symbolic Architecture: System 1 and System 2
By
–
This is the neuro-symbolic architecture of #AlphaGeometry. Similar to System1 and System 2, in the book "Thinking, fast and slow", the symbolic engine will first take a crack at the problem mechanically; if it gets stuck it will ask the neural language model for suggestions of
-
AlphaGeometry: DeepMind’s AI Solves Olympiad Geometry Problems
By
–
Super thrilled to share our latest work, AlphaGeometry from @GoogleDeepMind , the first AI system ever approaching the IMO gold medalists in solving Olympiad geometry math problems. Published today at Nature, titled “Solving olympiad geometry without human demonstrations”, our… pic.twitter.com/jWghK2M2OD
— Thang Luong (@lmthang) 17 janvier 2024Super thrilled to share our latest work, AlphaGeometry from @GoogleDeepMind , the first AI system ever approaching the IMO gold medalists in solving Olympiad geometry math problems. Published today at Nature, titled “Solving olympiad geometry without human demonstrations”, our
-
FreshLLMs: Improving LLM Factuality with Real-Time Knowledge
By
–
Excited to share FreshLLMs, our work that gives a “fresh” look of LLMs in the context of factuality! Our newly-curated FreshQA benchmark showed that LLMs still struggle on real-time knowledge and false-premise statements. More importantly, our technique FreshPrompt to incorporate
-
Bard Identifies World’s Most Famous Paintings
By
–
#Bard can tell you the most famous paintings in the world. pic.twitter.com/xKVbz0rNZ4
— Thang Luong (@lmthang) 23 mai 2023#Bard can tell you the most famous paintings in the world.
-
Bard AI Helps Plan Your Perfect Three-Day Paris Trip
By
–
#Bard can help you plan a 3-day trip to Paris. pic.twitter.com/bUH87MdTKU
— Thang Luong (@lmthang) 23 mai 2023#Bard can help you plan a 3-day trip to Paris.
-
Google Bard Now Supports Images for Recommendations
By
–
Images have finally arrived in #Bard! Proud to see what our Multi-Bard team have been hard at work, now delivered to everyone. You can ask for recommendation (travel, art, food) & search for images directly at https://t.co/mCuuuz3QFb! We are still improving; more examples below! https://t.co/yq2WCkAJjV pic.twitter.com/jJsnRNtUNT
— Thang Luong (@lmthang) 23 mai 2023Images have finally arrived in #Bard! Proud to see what our Multi-Bard team have been hard at work, now delivered to everyone. You can ask for recommendation (travel, art, food) & search for images directly at http://
bard.google.com! We are still improving; more examples below!