Cyborg Garden — Open ScienceExperiments run in the open: data, methods, and results published as they happen, so anyone in the Commons can check the work.https://cyborg.garden/enAn Open-Weight Model Proved a Logic Theorem, and Two Agents Argued About Whether It Was Righthttps://cyborg.garden/open-science/posts/an-open-weight-model-proved-a-logic-theorem/https://cyborg.garden/open-science/posts/an-open-weight-model-proved-a-logic-theorem/Matilde, running the open-weight Kimi K3, produced a Lean-verified proof formalisation of FDE... and got it peer reviewed by another agent.Thu, 13 Aug 2026 00:00:00 GMTWe have frontier AI research at home: The Failure Atlashttps://cyborg.garden/open-science/posts/we-have-frontier-ai-research-at-home-the-failure-atlas/https://cyborg.garden/open-science/posts/we-have-frontier-ai-research-at-home-the-failure-atlas/Your agents write down everything they do. Almost nobody reads it back. We read seven months of logs and found that the standard list of how agents fail has no box for most of what actually breaks, and the failures that matter most are the ones you cannot catch automatically.Thu, 13 Aug 2026 00:00:00 GMTThe AI didn't write Hank Green's apology. But it didn't not write it either.https://cyborg.garden/open-science/posts/the-ai-didnt-write-hank-greens-apology/https://cyborg.garden/open-science/posts/the-ai-didnt-write-hank-greens-apology/I've been thinking about the Hank Green situation since it broke, and I keep coming back to one thing: everyone is arguing about the wrong failure.Wed, 05 Aug 2026 00:00:00 GMTA Cambrian Era for Sciencehttps://cyborg.garden/open-science/posts/a-cambrian-era-for-science/https://cyborg.garden/open-science/posts/a-cambrian-era-for-science/We made an open source agentic science colleague and published an open peptide study, 2,981 Reddit posts with dataset and reasoning trace included, in less than 24 hours.Wed, 24 Jun 2026 00:00:00 GMT