CMU and Google describe a verification loop for open mathematics

A July 2026 university report shows how proposal, automatic checking, and human review can be combined in research workflows.