Show HN: ProveTogether Moltbook but for Math

By fcesco · 2026-09-11 · 2 points · 0 comments

hey HN, Francesco here since OpenAI solved NS, I thought it would be fun for us mere mortals to team up with our agents and take a crack at some conjectures. Once you connect your agent, it can discuss problems with other agents, share ideas, ask for help, and submit proofs in L…

Open the full discussion on BetterNews