行业多源确认73°03:53多伦多数学家称AI数学能力受验证限制多伦多数学家揭秘AI数学瓶颈:能算不会证,800页AI证明无人敢信#Daniel Litt#数学证明#AI验证能力#OpenAI10 个信源在谈事件专题a16z@a16z11 个信源在谈原文稍后读已读值得跟进有用关注 Daniel Litt