YouTubeFeed

#FormalVerification

1 video

What AI Is Missing for Real Reasoning? Axiom Math's Carina Hong on how to build an AI mathematician

What AI Is Missing for Real Reasoning? Axiom Math's Carina Hong on how to build an AI mathematician

32:46 4.6K views 2025-11-28