RecodeX 重构消息,数学家Daniel Litt探讨人工智能在数学领域的应用与影响。