JUST IN: Aristotle for web now supports cancelling jobs and resuming jobs that have run out of budget. Check it out, and happy proving! 🔥
Image from Harmonic (@HarmonicMath)

Feb 6, 2026 · 9:04 PM UTC

9
4
3
85
41,431
RelevantRecentLikes
Try for free here: HTTPS://aristotle.harmonic.f…
Aristotle: The AI agent that proves software correct

Aristotle: The AI agent that proves software correct

The reasoning that earned IMO gold, applied to formal verification of software, hardware, and mathematics – every output backed by a machine-checked proof.

aristotle.harmonic.fun
25
3,189
was honestly waiting for this. glad it’s here
1
1
263
🙏
176
What about seeing the status of jobs live?
1
2
159
That should already be the case … unless you’re looking for something specific
2
180
View more replies
Getting let go by a robot is very 2026
2
4
247
great update!
151
If Aristotle can't stop Budgeting put on the zero is simple proof that'd be nice 🥲🙃😅 But it handled the Riemann Hypothesis half like a boss. 🤷‍♂️
157
Ohhhh. Thanks so much
36
Problem: Find six distinct natural numbers a, b, c, d, e, f if (a+b+c+d+e+f)/(1/a+1/b+1/c+1/d+1/e+1/f)=2026 20 hours of work. Answer: `[1, 2026, 3, 6, 1078, 1900]` 😳 Wtf? How it possible to interpret this way?
42
Woah! That's what that resume button does! Rad!
89