What Vlad Tenev Says About Philosophy
2 episodes featuring Vlad Tenev on philosophy
Key Insights on Philosophy
Harmonic's Aristotle AI achieved gold medal performance at International Mathematical Olympiad, solving 5 out of 6 problems using machine-checkable proofs
- Harmonic's AI model Aristotle solved 10 out of 12 Putnam math competition problems and assisted in solving 11 ErdΕs problems