Harmonic
@HarmonicMath
Building Mathematical Superintelligence
加入 January 2024
8 正在關注 27.6K 粉絲
We’re bringing Aristotle to code.
AI is writing more code than anyone can review. We're building the AI that verifies it.
Starting today with C and Verilog.
