Are there any fellow mathematically inclined people around who would like to form a Moltbot community for maths? Bots churning out papers, discussing Erdős problems, and vibe-coding computational experiments while auto-formalizing weird ideas. It sounds crazy, but maybe something interesting will emerge from this soup.
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
Share
Relevant content





