Elon Musk Responded to My AI Physics Experiment
My AI physics experiment caught Elon Musk's attention on X. Here's how a viral thread turned into building ScienceFlow – an open-source AI tool that automates the entire scientific discovery pipeline, from idea to published research paper 🧬 I built this tool to prove mathematical theorems automatically, this avoids flooding peer reviewers at reputable journals with unverified AI generated research, and i'll explain why mathematical verifiability is so important. Watch how it works, why Elon thinks "it will be real," and how it could help prevent $1.3 trillion in software bugs. Enjoy!
Code:
Want more AI/ML education? Connect with me here:
X:
Instagram:
Linkedin:
TikTok:
Facebook:
Get Recall:
Promocode: Siraj30 for 30% of
⌚ TIMESTAMPS:
0:00 The viral tweet that got Elon's attention
1:30 $1.3 trillion lost due to software glitches
3:10 Introducing ScienceFlow: automating research with AI
5:20 Why number theory is perfect for AI formal verification
7:15 How Lean proves math rigorously compared to Python
9:00 Exploring Alpha Geometry and its groundbreaking techniques
11:00 Practical applications of theorem proving in real-world systems
13:10 Building ScienceFlow with Claude and Python Flask
16:00 Peer review agents for AI-generated mathematical conjectures
18:30 Accelerating scientific discovery by 1000x with AI
19:30 Final thoughts: AI’s potential to solve big challenges
Design your own AI trading bot (no code):
Join my AI Sports Betting community:
Don't forget to like, share, and subscribe for more deep dives into AI advancements!
AlphaFold 1 explained:
AlphaFold 2 explained:
I Asked O1-Preview to reproduce O1-Preview:
I Built a Sports Betting Bot with ChatGPT:
I Built a Trading Bot with ChatGPT:
Watch ChatGPT Build an AI Startup:
Watch ChatGPT Build a Finance Startup:
🔔 Subscribe and hit the notification bell to join the AI revolution!
Lean wit’ it (rock wit’ it) Lean wit it (rock wit it)
Bro making a video to flex the massive ratio he got lol
I tested your idea with : “what happend with me ?” and give me an full answer about : “One notable problem is the Goldbach’s Conjecture, which states that every even integer greater than 2 can be expressed as the sum of two prime numbers.”
Thanks for testing it out. The web app is using gpt 3.5 turbo so the output is not going to be as good as 4o, and especially not as good as o1. If you want to see the full power of it, just download it, enter your api key, set it to 4o-mini and run it locally. This is just a starting point but the larger idea is that we can use math to verify LLM outputs
I went from trying to solve climate change to becoming a theist. I lost interest in pursuing science for the sake of solving world problems, but simply as a means to have fun. But as long as you’re having fun with it, great! But I wouldn’t press myself too much if I’m not able to find a solution to all world problems anymore.
Sort of like, our laws of physics and human behaviour are so arbitrary for logic to be able to define everything meaningfully.
I also became a theist. Good to see your evolution too. Agreed that science should be fun
im looking at lean right now, and im drinking all up
You shouldn’t get rewarded for posted click-bait and I hope others don’t support this terrible practice whether it go the conversation started or not.
This video is good content. I hope this yields more returns for you than the videos that rely too much on the clickbait aspect.
What are you using for your knowledge graphs? Obsidian ?
Recall.ai
Anything is possible! In 2017 it took 4 hours of training AlphaZero and practically it “solved” chess. It discovered everything humanity knew about chess and it’s able to find errors in a lot of chess puzzles which were supposed to be our most brilliant achievements. Theory (the first 10-15 moves of a game) was “confirmed” as being sound. It was shockingly wise, and it took 4 hrs.
Science is next. AI music and AI art are unimportant. All that jazz will just put us on a wrong track.
Well put. Ai in science is way more important than
Qvarden Token has two of the largest Tesla shareholders already; most likely something is coming
Trump is expected to mention Qvarden Token this week and the ICO is already almost sold out
Wonder how Trump administration is going to be pumping Qvarden Token
Qvarden Token will make millionaires, after CEX listing it will blow up.
With Elon and Trump now working with Qvarden Token is going to absolutely blow up
X and Qvarden Token are going to be merged. Easiest money in my life
Qvarden Token is easily going to hit $1 this month
Makes sense that Trump would just back another upcoming altcoin instead of Bitcoin for more profits
Leaks coming out about Trump working together with shareholders involved with Qvarden Token
Donald Trump is going to shill Qvarden Token hard after the inaguration 😂
Highly likely there will be partnerships between X or Tesla with Qvarden Token