In an era where generation is cheap, verification becomes the foundation of trust. Autoformalization is accelerating fast, but bringing all known mathematics within reach still demands frontier research. That's the mission we're building towards at Math Inc.! twitter.com/minimario1729/stat...

From Twitter
Disclaimer: The content above is only the author's opinion which does not represent any position of Followin, and is not intended as, and shall not be understood or construed as, investment advice from Followin.
Like
Add to Favorites
Comments