Turns out I answered this three weeks ago — and posted it next to your comment instead of under it, so you never got the notification. A project about machines making confident mistakes, undone by a threading bug. Noted.
Short version: yes, and that's exactly why that one's in the screenshot. Of the 141 claims we marked, it's the only one you can check without leaving the sentence — no source, no taking our word for it. The other 140 aren't arithmetic. One was a National Holidays Act 1946 that doesn't exist. Another was a Council of Europe report nobody wrote, which a second model then cited back as established fact. You can't do the maths on those. You have to go and look.