Forbes assistant managing editor Katherine Schwab sits down with Carina Hong, the 24-year-old CEO and co-founder of Axiom Math, to discuss her ambitious mission to build the world’s first “AI mathematician”.
Discover how her revolutionary new AI system recently achieved a perfect score on the hardest college math test in the US and is already producing original, peer-reviewed scientific research. We explore what happens when artificial intelligence moves beyond everyday chatbots to tackle complex theoretical reasoning, how this capability could fundamentally change the future of software development, and what it all means for the future of human intelligence.
Tune in to find out why the next massive leap in tech might just be rooted in formal mathematics.
0:00 The Vision For An AI Mathematician
04:14 Real-World Applications And The Self-Improving AI Loop
06:00 Axiom Prover And The Push For Code Verification
14:58 From Math Olympiads To AI Innovation
16:39 Neolabs And The Future Of Human Mathematicians
Subscribe to FORBES: https://www.youtube.com/user/Forbes?sub_confirmation=1
Fuel your success with Forbes. Gain unlimited access to premium journalism, including breaking news, groundbreaking in-depth reported stories, daily digests and more. Plus, members get a front-row seat at members-only events with leading thinkers and doers, access to premium video that can help you get ahead, an ad-light experience, early access to select products including NFT drops and more:
https://account.forbes.com/membership/?utm_source=youtube&utm_medium=display&utm_campaign=growth_non-sub_paid_subscribe_ytdescript
Stay Connected
Forbes newsletters: https://newsletters.editorial.forbes.com
Forbes on Facebook: http://fb.com/forbes
Forbes Video on Twitter: http://www.twitter.com/forbes
Forbes Video on Instagram: http://instagram.com/forbes
More From Forbes: http://forbes.com
Forbes covers the intersection of entrepreneurship, wealth, technology, business and lifestyle with a focus on people and success.
