Very cool article. I had a similar idea where "fact checking" should be real programs for logic correctness. But IRL it's too vague. The exploit hunting is a b

Very cool article. I had a similar idea where "fact checking" should be real programs for logic correctness. But IRL it's too vague. The exploit hunting is a better use case.