TobyBartels on Nostr: If it actually did what it said was going to do, it could have solved the problem. ...

If it actually did what it said was going to do, it could have solved the problem. There is (up to equivalence) only one monoidal category V such that the category of truth values is equivalent to the category of V-enriched categories, and that's the answer. But of course it doesn't know how to reason through that.