Harmonic
@HarmonicMath
Building Mathematical Superintelligence
加入 January 2024
8 正在关注 28K 粉丝
We taught an AI to prove math. Next, something harder to get right. Soon.
热门用户
