Revision History
Harmonic (AI) · 5 revisions
Sizes are character counts of the article source. The signed number is the change from the previous revision.
Recent edit summaries
Detailed summaries recorded by editors. Generic maintenance summaries are omitted here; every recorded revision remains below. Dates describe the edit, not necessarily the event it covers.
- Correction: corrected the author line of Aristotle's arXiv technical report (Tudor Achim et al.); fixed the description of Aristotle's technical report (it describes expert-iteration RL, Monte Carlo Graph Search and test-time training, not a self-generated synthetic-data pipeline), corrected IMO 2025 attributions (DeepMind's entry was officially graded; OpenAI's was marked by former contestants; the 'days' and formalization caveats come from Scientific American), the app launch details and several citations. Update: added Nvidia's Series C participation, headcount, Aristotle API, VERINA result, Aristotle Agent (March 2026), Erdős problems #124 and #728, research use, sponsorships, Lean FRO donation, AIM benchmark, the October 2026 software-verification tooling, and a timeline.
Version 5 · Oct 27, 2026, 10:28 AM
- Improve internal links (2026-10-13)
Version 4 · Oct 13, 2026, 10:11 AM
- Added 6 contextual internal links
Version 3 · Jul 23, 2026, 04:00 PM