摘要

原文摘要：如果 AI 几秒就能给出正确答案，却没人能看懂推导逻辑，这还算真正的解答吗？ 陶哲轩谈 AI 形式化解题带来的学术抢发焦虑；论坛秒解高难积分的神秘大神真实身份；16.9 MB 极小语音识别模型 Whistle；在帆船上离网生活十年的极简软件实验；194 岁巨龟未曾老去的代谢密码。 在万物追求即时生成的当下，聊聊那些经得起时间考验的底层打磨。

原始内容

如果 AI 几秒就能给出正确答案，却没人能看懂推导逻辑，这还算真正的解答吗？

陶哲轩谈 AI 形式化解题带来的学术抢发焦虑；论坛秒解高难积分的神秘大神真实身份；16.9 MB 极小语音识别模型 Whistle；在帆船上离网生活十年的极简软件实验；194 岁巨龟未曾老去的代谢密码。

在万物追求即时生成的当下，聊聊那些经得起时间考验的底层打磨。