A

Aristotle

Tool / Product

Harmonic's mathematical AI model that achieved IMO-level performance and can machine-check proofs; discussed as a path to new knowledge.

Mentioned in 1 video

Vlad Tenev: GameStop, Founder Mode, AI

Vlad Tenev: GameStop, Founder Mode, AI

The Knowledge Project Podcast

Harmonic's mathematical AI model that achieved IMO-level performance and can machine-check proofs; discussed as a path to new knowledge.