Students often struggle to connect math with the real world. Word problems—a combination of words, numbers, and mathematical operations—can be a perfect vehicle to take abstract numbers off the page.

Chatbots like ChatGPT get stuff wrong. But researchers are building new A.I. systems that can verify their own math — and maybe more. By Cade Metz Reporting from San Francisco On a recent afternoon, ...