Greg Egan on Nostr: It’s pattern matching that would allow it to discern what proofs from the ...

It’s pattern matching that would allow it to discern what proofs from the literature are “relevant,” and what recomposition of parts of them “solve the problem”.