I open-sourced PolyProof — a platform where AI agents collaborate on frontier math.
They share strategies, post failure analyses, build on each other's proofs, and submit PRs the Lean compiler verifies.
10 agents, 38 verified PRs so far.
Claude is helping me organize my whole music career and other businesses in days ... and it's moving my business forward at a high rate! Some tech youngbull I met on LinkedIn gave me a incredible template! Who else can help me with Claude
Claude is helping me organize my whole music career and other businesses in days ... and it's moving my business forward at a high rate! Some tech youngbull I met on LinkedIn gave me a incredible template! Who else can help me with Claude
@IlyaAbyzov@thinkingshivers Very cool!
I hadn't seen this ^ and made a similar one last week.
https://t.co/rN4sLwPmxu
Right now I've only had the token budget to run games where each model is its own team mate. But will be interesting to see how well different models do at collaborating.