- Generative AI - Short & Sweet
- Posts
- The two most important AI news that have happened this year!
The two most important AI news that have happened this year!
Two of the tech advancements this year are underappreciated.
The unexpected: Google DeepMind’s Math System. I’m sure they’ll find a better name for that soon.
The foreseeable: Everyone can code today! ✨
With five months left in the year, another major AI breakthrough is likely to challenge our beliefs.
More about Elon, coding languages, and cancer detection is below.
Reading time is 5:21 min; Vamos!
The Unexpected: Google DeepMind's (GDM) Math System 🧮
GDM has built the most capable AI system for solving mathematical problems.
Background - AlphaGeometry
GDM released AlphaGeometry 1 in January 2024. It’s designed to solve complex geometry problems comparable to those tackled by a human gold medalist in the International Mathematical Olympiad (IMO).
What is the IMO?
It's the most prestigious mathematical competition in the world, and very difficult. There are 6 problems that can earn 7 points each, a total of 42.
AlphaGeometry combines a symbolic deduction engine with a language model trained on synthetic data only.
Now, they have silently launched AlphaGeometry 2.
AlphaGeometry 2 solves 83% of historical IMO geometry problems from the last 25 years, outperforming its predecessor's 53% success rate.
In geometry, that's gold-medalist-level.
AlphaProof - the second piece
GDM has combined AlphaGeometry 2 with AlphaProof (AP). AP solves math problems with step-by-step proofs.
Lean (formal language) for proofs.
First, AP translates problems from the informal natural language into the formal language Lean, which is used to verify mathematical proofs.
Second, AP utilises reinforcement learning (RL) to solve the problems, re-using here AlphaZero.
Putting it to test
The math system achieved a final score of 28 points.
Not easy - this year’s gold-medal threshold started at 29 points and was achieved by 58 of 609 pro contestants this year.
Noone has thought this is possible. See this manifold bet.
The fact that the program can come up with a non-obvious construction like this is very impressive and well beyond what I thought was state-of-the-art.
In comparision, top-notch LLMs e.g., GPT-4.0, and Claude 3.5, struggle with the dumbest math. (E.g. counting letters in words.)
Why you might ask. Because of architectural differences incl. tokenisation, and lack of structural data (a whole topic by itself; LMK if you want to know more).
Future AI systems (or AGI systems) will probably require multiple subsystems, analog to how different brain areas function.
What’s next?
GDM plans to continue scaling its AI models, optimizing them for better performance and broader applicability.
What will be possible? Step-by-step AI math systems will help us solve the unsolvable. A list of unsolved math problems. (I briefly thought I could solve the kissing number problem, but after 30 minutes, I realized it wasn't happening tonight or ever. 😄)
AI will help us solve most of these problems.
For example, one of the Millennium Prize Problems (you can win a million $ when you solve one of these) is the Riemann Hypothesis.
Solving it would have deep implications for the distribution of prime numbers. We would understand quantum physics in greater depth, likely leading to new techniques and methods in math, and breakthroughs in other areas.
It would also break most of current encryption tech -> new problems! 🫠
AI math systems, and eventually AGI math systems, will invent new math.
The ability to process vast amounts of data can explore inaccessible mathematical areas, accelerating knowledge growth and revealing new truths.
The Foreseeable: Today, Everyone can Code ! ✨
… and most people don’t know it yet.
If you can articulate your idea clearly, you can build it with AI!
AI has torn down the walls of coding. Not being able to code is no longer a limitation for developing things.
The quality of your ideas matters most today!
Anyone can build software. You are at the helm; AI is the developer.
My team and I have developed a framework that has been battle-tested on more than 25 real-world projects across various industries. Now, we're ready to share our proven method with you.
We're opening up our first batch of the online course.
You'll learn how to build anything from web apps to mobile applications to AI-powered solutions.
And the best part? I'll be there to guide you personally. ❣️
It's limited to 80 seats, and it's half the regular price. Plus, you'll get direct access to me through office hours. I'll help you apply what you've learned to your projects.
Join our waitlist NOW for this exclusive first batch and transform your ideas into reality!
If you know your way around code, you, of course, have an advantage, but it is no longer a complete blocker for non-coders.
As I am finalizing the course, is there something specific you'd like me to cover?Certain implementation, application, wishes ...? |
(Source) How energy efficient are coding languages? Python is the worst 😭 . (Source) Tesla and xAI Elon Musk wants Tesla to invest in xAI (after a public poll). Photo: Apu Gomes (Getty Images) P.S.: EM mentioned in an interview with Jordan Petersen that Grok (xAI’s AI) hasn't been trained with Tesla's driving video data. What could an AI learn from processing PetaBytes of such data? | (Source) AI detects cancer via sugar analysis The AI, called Candycrunch, quickly analyzes complex cell sugar structures to uncover cancer indicators more accurately than current methods. Scientists to focus on interpreting results and developing new hypotheses. Source: https://www.sciencedirect.com |
That’s it for now.
I’m in Switzerland rn, and can’t recommend that country enough. Especially, Valle Verzasca. Look at this:
Please feel free to spread the word about the course.
Martin
Everyone can code! ✨ —> Landing page.
Want to AI-upgrade your customer service? Contact us.
Spread the word, get the perk! Referral program.
Would you like to sponsor a post?
My webpage has changed (a lot is planned 😉).