Artificial intelligence may be the missing piece that allows legal reasoning to be expressed and calculated with mathematical precision, according to insights shared by Norm AI from its Central Park AI Forum 2026. The question at the heart of the discussion was whether AI can bridge the long-standing divide between natural language and computation.
The session brought together Dr. Stephen Wolfram, CEO of Wolfram Research and creator of Mathematica, WolframAlpha and the Wolfram Language, and Scott Worland, CTO at Norm AI.
Wolfram began with a history lesson. In the 1600s, Gottfried Leibniz, best known as a co-inventor of calculus, championed the philosophical language movement, an effort to represent everyday language in a mathematical form. Leibniz was especially interested in anchoring legal decisions in formal processes. He recognised that contracts rely on a precise symbolic language, but lacked any mechanism to translate between that structure and ordinary speech, and the project stalled.
Wolfram believes modern AI could now provide that missing translation layer. If AI can turn legal wording into symbolic form, he argued, it becomes possible to compute with it and extend reasoning well beyond human limits. This idea underpins his career-long mission to make the world computational. WolframAlpha, launched in 2009 when many had written AI off, converts natural language into symbolic language that can be calculated, and has since contributed to the development of major large language models.
However, Norm AI’s account of the session highlights a second challenge. Beyond the layer linking humans to computation, people also need a layer that explains how AI systems actually reach their conclusions.
Source link







