@tao@mathstodon.xyz @pbloem@mathstodon.xyz Perhaps till such "result-claim seminars" grow numerous enough and are given a sufficiently good quality function, allowing a good explanation/successful result-claim to become an artificially-trainable skill. So any such differentiation from AI seems, at best, only a near-term solution, pushing the problem from "AI assisted proof" to "AI assisted proof + claim/explanation". I suspect that the longer-term solution here involves a more fundamental look at why mathematicians do mathematics.