Post #4043032

@mjd@mathstodon.xyz "What I’ve checked of it so far checks out." I understand this to mean he did some spot checks, but didn't verify the results himself. See also his reply to you: "at least historically before AI was as good as it is today and I'd want to do a bit more work to ensure all the results are correct -- but I did check some of them at least".