I understand how we can avoid trusting an AI if we’ve got a specification that the proof checker understands.
Where I expect to need an AI is for generating the right specifications.
I understand how we can avoid trusting an AI if we’ve got a specification that the proof checker understands.
Where I expect to need an AI is for generating the right specifications.