Axiom's AI mathematician: a $60M breakthrough | Sam Nadler posted on the topic | LinkedIn
linkedin.com
Axiom's AI mathematician: a $60M breakthrough | Sam Nadler posted on the topic | LinkedIn
Had a great time hosting Carina Hong from Axiom on Built This Week.Axiom, who secured over $60M in funding earlier this month, is building a self-improving AI mathematician! One of the most exciting frontiers in reasoning and formal math.#AxiomMath #Axiom #AI #Math #Builtthisweek #SamNadler #JordanMetzner
3 months ago
Related Products
Axiom of Choice
Mathematical Axioms
Axiomatic Set Theory
#Mathematical Axioms
AXIOMATIC STRUCTURE OF A MATHEMATICAL SYSTEM | GEOMETRY
AXIOMATIC STRUCTURE OF A MATHEMATICAL SYSTEM | GEOMETRY
YouTubeMar 21, 2022
What Are The Key Axioms In Geometry? - All About Geometry
What Are The Key Axioms In Geometry? - All About Geometry
YouTube7 months ago
Top videos
Axiom Math: AI, Programming, and Math for Exponential Discovery | Axiom posted on the topic | LinkedIn
Axiom Math: AI, Programming, and Math for Exponential Discovery | Axiom posted on the topic | LinkedIn
linkedin.com
22 views5 months ago
there's so much to say, but I think this captures the main reasons we need the completeness axiom in #realanalysis #math #learnontiktok #mathteacher #teachersoftiktok
3:33
there's so much to say, but I think this captures the main reasons we need the completeness axiom in #realanalysis #math #learnontiktok #mathteacher #teachersoftiktok
TikTokrx_math
32.7K viewsSep 11, 2023
What AI Is Missing for Real Reasoning? Axiom Math’s Carina Hong on how to build an AI mathematician
32:46
What AI Is Missing for Real Reasoning? Axiom Math’s Carina Hong on how to build an AI mathematician
YouTubeTuring Post
5.5K views3 months ago
Axiom Proofs
AxiomProver Solves 12 Putnam 2025 Problems with Lean Proofs | Axiom posted on the topic | LinkedIn
AxiomProver Solves 12 Putnam 2025 Problems with Lean Proofs | Axiom posted on the topic | LinkedIn
linkedin.com
18 views2 months ago
Which of the following needs a proof?TheoremAxiomDefinition... | Filo
Which of the following needs a proof?TheoremAxiomDefinition... | Filo
askfilo.com
6 months ago
Set Theory: An Introduction to Independence Proofs - Alchetron, the free social encyclopedia
Set Theory: An Introduction to Independence Proofs - Alchetron, the free social encyclopedia
alchetron.com
Dec 25, 2017
Axiom Math: AI, Programming, and Math for Exponential Discovery | Axiom posted on the topic | LinkedIn
Axiom Math: AI, Programming, and Math for Exponential Discovery | …
22 views5 months ago
linkedin.com
there's so much to say, but I think this captures the main reasons we need the completeness axiom in #realanalysis #math #learnontiktok #mathteacher #teachersoftiktok
3:33
there's so much to say, but I think this captures the main reasons w…
32.7K viewsSep 11, 2023
TikTokrx_math
What AI Is Missing for Real Reasoning? Axiom Math’s Carina Hong on how to build an AI mathematician
32:46
What AI Is Missing for Real Reasoning? Axiom Math’s Carina …
5.5K views3 months ago
YouTubeTuring Post
How Integration Works 📈✅️ --- --- Math, Mathematics, STEM, Algebra, Geometry, Trigonometry, Calculus, Differential Calculus, Integral Calculus, Derivatives, Integral, Integration, AntiDerivative, Visualized, Animated, Animation. #fyp #math #animation #calculus #viral
0:15
How Integration Works 📈✅️ --- --- Math, Mathematics, STEM, Algebr…
2.6K views7 months ago
TikTokaxiomere
AXIOM launch!!
1:29
AXIOM launch!!
1.7K views5 months ago
YouTubeAxiomMath
Axiom welcomes Professor Ken Ono, former STEM Advisor to the Provost at University of Virginia, as Founding Mathematician.For hundreds of years, the path of a pure mathematician was clear: prove… | Axiom
Axiom welcomes Professor Ken Ono, former STEM Advisor to the …
8 views3 months ago
linkedin.com
Building an AI Mathematician | Carina Hong, CEO of Axiom Math
43:40
Building an AI Mathematician | Carina Hong, CEO of Axiom Math
7.8K views4 months ago
YouTubeInfinite Curiosity with Prateek Joshi
3:23
curious math: developing the basics
277 views1 month ago
TikTokaxiom.tutor
0:41
AI Cracked a 130-year-old Math Problem
263 views2 months ago
YouTubeThe Neuron
Introducing Axiom’s discovery team, led by François Charton: W…
3 months ago
linkedin.com
0:50
Carina Hong # Axiom math # AI mathematician # Super intelligent …
689 views3 months ago
YouTubeUmesh Rai
14:37
This 24-Year-Old Founder Raised $64M to Build World’s First AI Mat…
61.7K views3 months ago
YouTubeEO
0:58
Perfect AI Prover — Carina Hong, CEO of Axiom Math #ai #futureofw…
288 views2 weeks ago
TikTokmattturck
33:00
The man who almost broke math
3 months ago
MSNVeritasium
51:13
Ep. 41: Shubho Sengupta, Axiom Math CTO
704 views4 months ago
YouTubeDelta Institute
0:30
The Neuron - AI Newsletter on Instagram: "The unusual way this …
117 views2 months ago
Instagramtheneurondaily
1:05
Shawn | Axiom Math: self improving superintelligent reasoner #startup…
1.2K views2 months ago
Instagramskim.insights
0:32
🧠 AI Mathematician Raises $64M: Solving the Universe’s Code 🔢✨
368 views4 months ago
YouTubeNextGenTech
0:40
Life-or-death by the math or arts-driven subject combi choice? We …
389 views1 month ago
TikTokaxiomeducation
3:47
How Do Axioms And Deduction Build Mathematical Systems?
44 views3 months ago
YouTubeThe Language Library
0:59
The Abstract Algebra Minute! - Video 0041 - Symmetric group exe…
342 views1 month ago
TikTokaxiom.tutor
2:38
Exploring the Fourth Dimension Through Visualization
10.5K views7 months ago
TikTokaxiomere
1:07
What AI Can Prove That Humans Can’t 🤯
2.8K views2 months ago
YouTubeThe Neuron
7:20
Definition of Axiom
10.1K viewsOct 15, 2015
YouTubeMathVideoLectures.com
0:28
#CapCut what is calculus? #math #calculus https://www.tiktok.com/…
1.2K views10 months ago
TikTokaxiom.tutor
2:30
What Is An Axiom In Mathematical Paradoxes? - The Numbers Channel
24 views5 months ago
YouTubeThe Numbers Channel
2:27:51
All the Axioms of Mathematics
1.5K viewsAug 5, 2020
YouTubeNikolaj-K
1:11
Understanding the Outside In Paradox: Turning Circles Inside Out
2.4M viewsJul 4, 2023
TikTokaxiomere
10:22
Axiom 2: The Axiom of Foundation
8.7K viewsMay 21, 2023
YouTubeGuzMat: Fun with Math
See more videos
Static thumbnail place holder