Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
RE: https://mathstodon.xyz/@fnf/116445029678488042
a paper in which an autoformalisation of a proof by AI turns out to have just left out the bits it couldn't prove.
Mastodon FeedMastodon Feed