Comment by im3w1l

> It seems they are still the best judge of whether a proof is useful or insightful though.

How can you be so sure of that? Like we know that human mathematicians can judge usefulness or insightfullnes. But we don't really know whether AI can do it even better. Like I don't think anyone has set up an evaluation of that.