And this is Aristotle - https://aristotle.harmonic.fun/ It's an LLM. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		doormatt 6 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... And this is Aristotle - https://aristotle.harmonic.fun/ It's an LLM.

D-Machine 6 days ago [–]

"Aristotle integrates three main components: a Lean proof search system, an informal reasoning system that generates and formalizes lemmas, and a dedicated geometry solver"

It is far more than an LLM, and math != "language".

nextaccountic 5 days ago | [–]

Apparently Aristotle is a LLM with tool calling? Sounds similar to most coding agents

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact