RecodeX 重构消息,数学家史蒂文·斯特罗加茨提出,AI给出的数学答案或许需要经过重复的准确性检验,他将这种做法类比为临床试验,认为这意味着用实际验证取代基于证明的确定性。