4 ms·
It was done by a LLM (ChatGPT)
by nextaccountic 10mo ago
It was done by a LLM (ChatGPT)
- D-Machine 10mo agoIt could not be done without Aristotle (https://arxiv.org/pdf/2510.01346 https://arxiv.org/pdf/2510.01346), did you even read the links?
- doormatt 10mo agoAnd this is Aristotle - https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/ It's an LLM.
- D-Machine 10mo 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 10mo agoApparently Aristotle is a LLM with tool calling? Sounds similar to most coding agents