Hasnain says:

Interesting read on automated logic and reasoning, and some debates in the mathematical community.

"By the time I’ve reframed my question into a form that could fit into this technology, I would have solved the problem myself."

Posted on 2020-08-30T04:37:33+0000