PolyPlus was live-demoed on stage at the AI for Math Convening in London!
Dr. Pietro Michelucci (HCI @hcinst.bsky.social) showed how our $18M funded platform brings human math logic and Lean 4 formal AI verification into one collaborative workspace.
Watch the demo: nurelm.com/the-lab/18m-...