Uploaded December 2024 | Updated September 2026, 2 weeks ago
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:
github.com/llSourcell/ScienceFlow
Want more AI/ML education? Connect with me here:
X: https://x.com/sirajraval
Instagram: instagram.com/sirajraval
Linkedin: linkedin.com/in/sirajraval
TikTok: tiktok.com/@sirajraval
Facebook: facebook.com/sirajology
Get Recall: getrecall.ai/?t=siraj
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):
tradergpt.co
Join my AI Sports Betting community:
https://wagergpt.xyz/
Don't forget to like, share, and subscribe for more deep dives into AI advancements!
AlphaFold 1 explained:
youtube.com/watch?v=cw6_OP5An8s
AlphaFold 2 explained:
youtube.com/watch?v=GQH-zWUylPY
I Asked O1-Preview to reproduce O1-Preview:
youtu.be/sf7Ntg72qCI
I Built a Sports Betting Bot with ChatGPT:
youtu.be/IDthta5sUGQ
I Built a Trading Bot with ChatGPT:
youtube.com/watch?v=fhBw3j_O9LE
Watch ChatGPT Build an AI Startup:
youtube.com/watch?v=hL2hLFUwuqQ
Watch ChatGPT Build a Finance Startup:
youtube.com/watch?v=on623d5EfPw
🔔 Subscribe and hit the notification bell to join the AI revolution!
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:
github.com/llSourcell/ScienceFlow
Want more AI/ML education? Connect with me here:
X: https://x.com/sirajraval
Instagram: instagram.com/sirajraval
Linkedin: linkedin.com/in/sirajraval
TikTok: tiktok.com/@sirajraval
Facebook: facebook.com/sirajology
Get Recall: getrecall.ai/?t=siraj
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):
tradergpt.co
Join my AI Sports Betting community:
https://wagergpt.xyz/
Don't forget to like, share, and subscribe for more deep dives into AI advancements!
AlphaFold 1 explained:
youtube.com/watch?v=cw6_OP5An8s
AlphaFold 2 explained:
youtube.com/watch?v=GQH-zWUylPY
I Asked O1-Preview to reproduce O1-Preview:
youtu.be/sf7Ntg72qCI
I Built a Sports Betting Bot with ChatGPT:
youtu.be/IDthta5sUGQ
I Built a Trading Bot with ChatGPT:
youtube.com/watch?v=fhBw3j_O9LE
Watch ChatGPT Build an AI Startup:
youtube.com/watch?v=hL2hLFUwuqQ
Watch ChatGPT Build a Finance Startup:
youtube.com/watch?v=on623d5EfPw
🔔 Subscribe and hit the notification bell to join the AI revolution!
