AI That Reasons and Acts: Carina Hong
Tech & Startups
In person
Friday 30 October 2026, 01:00 – 03:00 · San Francisco, United States
Details
- Starts
- Fri 30 Oct 2026, 01:00
- Ends
- Fri 30 Oct 2026, 03:00
- Type
- In person
- Category
- Tech & Startups
- City
- San Francisco
- Country
- United States
About this event
Join the Turing Frontier Fellows for an intimate Bay Area fireside with Carina Hong, Founder & CEO of Axiom Math, on the next frontier of artificial intelligence: systems that can reason deeply and verify their work.
Carina is building an AI mathematician capable of discovering new mathematics, generating step-by-step proofs, and formally verifying its reasoning.
The conversation will explore what it takes to build AI whose reasoning we can trust—from mathematical discovery and formal verification to the implications for science, technology, business, and society.
The fireside will be…
Hosted by Sanjit Kotwal & Dhanasree Rao
Carina is building an AI mathematician capable of discovering new mathematics, generating step-by-step proofs, and formally verifying its reasoning.
The conversation will explore what it takes to build AI whose reasoning we can trust—from mathematical discovery and formal verification to the implications for science, technology, business, and society.
The fireside will be…
Hosted by Sanjit Kotwal & Dhanasree Rao
Links and contact
- Website
- https://luma.com/zw8t5s9t
- Registration
- https://luma.com/zw8t5s9t
Source
- Imported from
- Luma
- Source city
- San Francisco
- Original event
- Open source event https://luma.com/zw8t5s9t
