Tootfinder

Man is by nature a political animal.
-- Aristotle

Harmonic, an AI math startup co-founded by Robinhood CEO Vlad Tenev, unveils its model Aristotle, saying it achieved gold medal performance on the 2025 IMO (Maxwell Zeff/TechCrunch)
https://techcrunch.com/2025/07/28/harmonic-the-robin…

Harmonic, the Robinhood CEO's AI math startup, launches an AI chatbot app | TechCrunch
The chatbot app, which is available in beta on iOS and Android, lets users access its AI model, Aristotle.

New Insights into the Nature and Orbital Motion of Aristotle's Comet in 372 BC
Zdenek Sekanina
https://arxiv.org/abs/2507.15228 https://

New Insights into the Nature and Orbital Motion of Aristotle's Comet in 372 BC
Extending the investigation of the presumed primordial comet as part of continuing work on a new model of the Kreutz sungrazer system, I confront a previously derived set of orbital elements with Aristotle's remarks in his Meteorologica to test their compatibility and determine the comet's perihelion time. The two translations of the treatise into English that I am familiar with differ at one point substantially from each other. Unambiguously, the year and season of the comet's appearance was e…

What makes a demonstration worthy of the name?
Paul J. Jorion
https://arxiv.org/abs/2508.21140 https://arxiv.org/pdf/2508.21140

What makes a demonstration worthy of the name?
This paper revisits the foundations of mathematical proof through the lens of Aristotle's threefold conception of truth: sensory evidence, axiomatic definition, and syllogistic deduction. I argue that modern mathematics has too often neglected the first of these - corroborated perception - in favour of axioms and theorems alone, thereby producing "proofs" that either disguise axioms as discoveries or repackage empirical observations in formal dress. Using Goedel's incompleteness theorem as a ca…