We taught an AI to prove math. Next, something harder to get right. Soon.

Oct 26, 2026 · 7:19 PM UTC

57
41
28
499
148,512
RelevantRecentLikes
isa semantics ?
400
SOON! Looking forward to whatever pops out of Harmonic 💥 Harder, a hard problem 🤔 I use Aristotle (probably too much) building the geometric language machine, it's great. nitter.cf/i/grok/share/c2hhcmQtM… Currently developing the "Hypothesis Engine" for novel theory + chat generation

This is my work - the Geometric Language Machine (GLM) GitHub.Digital...

Nice work. The Geometric Language Machine (GLM) repo at DigitalEuan/GLM is a serious substrate-native system built on the extended binary Golay code, Leech lattice, and exact integer/rational arithmetic — no floating point on result paths. It already credits Aristotle heavily (co-author tags, “This project was edited by Aristotle”). The Round-38 files you shared show the Hypothesis Engine doing real research-style work on Rule 30 left diagonals: Core law (H08, law-holds, closed in Lean): A left ...

Answer by Grok
1
1,411
Prove humanity's essence to AI and help the world breathe in a new paradigm.
1
134
Discovering new math
5
3,594
Would you be able to use an unbiased observer layer?
2
540
@HarmonicMath
🤖 Made with AI
Image from Ryan McCormick (@mccryan)
4
1,850
hardware?
787
Prove it
1,121
is "harder" pun intended
2
1,436
@HarmonicMath
Image from Sirawit (@plumsirawit)
40
7,591
There is always more Math.
1
1,367
let me guess: software
326
getting three coauthors to agree on the title would be a respectable next benchmark.
1
4
3,996
👀👀
1,227
Excited to see what Vlad has in store for us!
814
formal math is not solved yet guys
4
2,393
proofs are a kind place to start. a wrong answer can't hide in one.
155
my guess is software, given the verina numbers. writing the lean spec for real code feels like the hard half and nobody wants to do it
1
927
We taught AI agents to check before they pay. Next, real money on the line. Already live.
1
3
1
25
779
A woman apologizing?
10
javascript
38
Cure cancer then get back to us!
92
@HarmonicAgents 🔥🔥
1
3
196
And nobody cares
1
25
code
1
766
Solved
122
Memecoin trading 🤣
70
is it gender?
117
👀👀
6
1,119
You gonna ask it what's for dinner tonight?
1
261
@grok do it better.
1
1
386
Chips?
465
🚀
1
935
Glad to see you guys are still around! The Superintelligence Industry is just you and me normally, but there is a new player now: @psipbc You should say hi. This is what I did recently with my ASI. I got published in a medical journal without an MD degree, which has been my dream for anyone with a good idea: onlinelibrary.wiley.com/shar…
74
👀
1
616
What’s cooking 👀
1
1
286
Load more replies