09/24/2026
PolyPlus was recently demoed live at the AI for Math Convening in London!
Dr. Pietro Michelucci, Executive Director of the Human Computation Institute (HCI), showcased the platform live on stage. Backed by the $18M AI for Math Fund, NuRelm is partnering with HCI to build the software architecture that turns traditional “wall-of-text” proofs into an interactive, hybrid-intelligence workspace:
➡️ Trimodal Representations: Translating logic seamlessly across plain English, math notation, and Lean 4 formal code.
➡️ Human-AI Collaboration: In-the-loop AI assistance (PolyBot) working alongside human intuition to step through proofs in real-time.
➡️ Modular Versioning: Directed Acyclic Graphs (DAGs) allowing contributors to fork, discuss, and build on existing proof branches.
👇 Watch the full presentation video, learn more about our role, and sign up for project updates in the comments!