I feel like I have the same implied confusion, but it seems like a case where we don’t need it to record the same kind of steps a mathematician would use, so much as the kind of steps a mathematician could evaluate.
Although if every book, paper or letter a mathematician ever wrote on the subject of “the steps I went through to find the proof” is scanned in, we could probably get it to tell a story of approaching the problem from a mathematician’s perspective, using one of those “You are Terry Tao...”-style prompts.
I feel like I have the same implied confusion, but it seems like a case where we don’t need it to record the same kind of steps a mathematician would use, so much as the kind of steps a mathematician could evaluate.
Although if every book, paper or letter a mathematician ever wrote on the subject of “the steps I went through to find the proof” is scanned in, we could probably get it to tell a story of approaching the problem from a mathematician’s perspective, using one of those “You are Terry Tao...”-style prompts.