Harmonic
@HarmonicMath
Building Mathematical Superintelligence
加入 January 2024
8 正在關注 27.6K 粉絲
We taught an AI to prove math. Next, something harder to get right. Soon.
熱門用戶
