Harmonic
@HarmonicMath
Building Mathematical Superintelligence
加入 January 2024
8 正在关注 28K 粉丝
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.
