Aristotle
deckard (@slimer48484) profile picturedeckard
@slimer48484Aug 18
I am absolutely stunned by how effective @HarmonicMath is at lean 4 formalization of mathematics. It's able to fill in gaps and understand intent as well as intelligently leave out of scope work axiomatized when automatically formalising math.

Aug 18, 2026 · 8:18 PM UTC

22
10
7
102
52,767
RelevantRecentLikes
Literally no way you aren't behind this @HarmonicAgents
1
2
186
You reallt said this the day @HarmonicAgents launched... hmm.m
2
133
Great stuff here. Maybe we can make something happen together 🔥
1
62
Hi check out @HarmonicAgents @HarmonicHQ
1
4
186
Imagine not buying harmonic
2
184
When #DoOnlyGoodEveryday ? 🧐
1
169
$harmonic looks greatly undervalued here
Image from Hades (@Bored_Hades18)
55
How is your superintelligence research going? Have your researchers started smoking because they believe superintelligence can solve the harms caused by smoking, such as cancer? smoking🚬
8
Aristotle
2
327
@HarmonicAgents
2
151
ask him who showed him? :) thanks for the great service!
1
256
Maybe the equation was always there. 🐱📐❤️ $CATS
🤖 Made with AI
Image from Peter Petrelli (@Petrelli_Peterr)
53
Aristotle
1
108
@HarmonicAgents is incredible.
1
19
What does Harmonic think of the number $6??
118
Do you have a token?
1
164
@HarmonicMath
245