https://formalized.si/ Non-commercial research into applications of super intelligence. en Tue, 13 Oct 2026 17:27:58 +0000 https://www.rssboard.org/rss-specification https://formalized.si/projects/symmetry-narya/ https://balalaika.ai/projects/symmetry-narya/ Mon, 05 Oct 2026 18:45:22 +0000 Third project. Chapters 2 to 15 and appendix B of the book Symmetry in the Narya proof assistant: 888 of 917 blocks have a formal statement and a proof, 19 blocks that are false as printed have counterexamples and corrected statements, and a blind check compares the statements with the book text. https://formalized.si/projects/narya-mcp/ https://balalaika.ai/projects/narya-mcp/ Mon, 05 Oct 2026 18:23:51 +0000 Second project. Proof sessions in Narya for agents: holes with contexts and types, split, try and solve, search over the project, and rechecks of only the changed commands. Its benchmark run found a Narya bug, now reported with a fix. https://formalized.si/projects/redstone-verify/ https://balalaika.ai/projects/redstone-verify/ Thu, 01 Oct 2026 21:09:17 +0000 First project. A gate that accepts a Minecraft redstone layout only with a machine-checkable proof that it computes its Verilog specification, with 92 interactive 3D layout viewers.