Building an AI Mathematician [Carina Hong] - 754
The TWIML AI Podcast with Sam Charrington · 54:53 · Watch on YouTube
Axiom의 창립자이자 CEO인 Karina Hong은 "AI 수학자"가 이제 손에 닿을 수 있는 범위 내에 있다고 주장합니다. 세 가지가 함께 도래했습니다: 잘 추론하는 LLM, Lean 4 증명 언어, 그리고 성숙한 코드 생성 기술입니다. 그녀의 회사의 내기는 수학을 검증 가능한 코드로 바꾸어 모든 증명이 정확히 보장되도록 한 다음, 새로운 추측을 제안하고 증명한 후 자신을 개선하는...