The mathematical reasoning model performed as well as humans at prestigious international mathematics competitions.

Imagine reading a long article or a thick legal contract and knowing, with confidence, exactly which lines prove that an event happened—or did not happen. That is now possible thanks to a research ...