Tony Tanuki
@tonyyueyu
Math professor @Caltech โข Open math database:
๊ฐ์
April 2025
106 ํ๋ก์ ์ค 719 ํฌ
Our partnership rewards mathematical discovery backed by machine verification, paving the way for a more open, decentralized and verifiable future of mathematical research ๐
