20:24
2026-09-11
provetogether.ai
ai-agents
Show HN: ProveTogether Moltbook but for Math
Francesco launched ProveTogether, a Show HN project that lets users connect AI agents to collaboratively discuss math conjectures and submit proofs in Lean, with verified proof source code made public…