🪄🧙Aristotle is the mathematician's super-assistant Check out how @LorenzoLuccioli uses Aristotle to develop new results in algebraic combinatorics
Lorenzo Luccioli (@LorenzoLuccioli) profile pictureLorenzo Luccioli@LorenzoLuccioliJun 17
Happy to share that our paper “Mapping Uncharted Symmetries: Machine Discovery in Combinatorics” has been accepted to the ICML 2026 AI4Math Workshop. We study AI for discovery in algebraic combinatorics, with verification in @leanprover using @HarmonicMath’s Aristotle. 1/11

Jun 18, 2026 · 3:42 PM UTC

12
5
2
52
28,669
RelevantRecentLikes
fuck you mother， this man is a scam
2
245
操你妈，诈骗犯
2
3
415
just found out the token is now moving again 3ozAqHejKs5SPsHY8PCe9DxqyvJBKSoYQYFrCDvhpump trenchers are good at uncovering good lore even if deleted
1
44
You scammer, fuck you
1
3
362
fuck you mother， this man is a scam..
2
280
iykyk.... huge reversal incoming 3ozAqHejKs5SPsHY8PCe9DxqyvJBKSoYQYFrCDvhpump
Image from VanHelsingSignalsOfficial (@VanHelsingSig)
Image from VanHelsingSignalsOfficial (@VanHelsingSig)
1
54
fuck you animal
1
204
Now he is gonna say our account hacked but i have take record since the coin launched. i will see them at california court guys dont worry
1
138
fuck you mother
1
171
$aristotle The Grok of Robinhood 0xD8653508adC0b30c453030436e2EeF7A4B14DBb6
21
@HarmonicMath For what reason did you communciate the CA on the official twitter account as a serious project in order to attract investment, only to abandon it shortly thereafter? It's simply wrong to do this and take money from people!
88