🔥Sir Timothy Gowers shares how he used Aristotle to effortlessly autoformalize a complex paper into Lean—without needing to know a single line of Lean himself. The future of mathematical research is changing fast. Read more: gowers.wordpress.com/2026/07…

Thoughts about the Leiden Declaration

Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…

gowers.wordpress.com

Jul 27, 2026 · 2:02 AM UTC

15
21
3
140
28,119
RelevantRecentLikes
you guys should check out what @discreteonrh is doing with aristotle!
1
96
This caught my attention! Let’s talk 📲
69
Hello! Would you accept donations we have over 30k+ for you guys and want to continue to support.
1
2
103
Hey we have pulled together over 30k in donations for your great work Just need a way to contact you, since we can’t DM you, can you DM @HarmonicFund
17
Check $DCR @DCRagent
1
13
这是你们的账户吗 先生 @AristotlesSight
1
270
@HarmonicMath @vladtenev check this nitter.cf/discreteonrh/status/20…
Discrete Curvature Reservoir (@discreteonrh) profile pictureDiscrete Curvature Reservoir@discreteonrhJul 30
Short info injection for newcomers on what is Discrete Curvature Reservoir model offered by Harmonic AI. Each action is available on the web for traction: dcr-rh.tech
Image from Discrete Curvature Reservoir (@discreteonrh)
18
0x23c5174050b5d4aa2a62b1732a1fc7ee8481b18f
48
Discrete Curvature Reservoir 🤔 Built with @HarmonicMath @discreteonrh
13
Hey can you guys update us on this? nitter.cf/harmonicfund/status/20…
This Post is from a suspended account. Learn more
11
Load more replies