陶哲轩：用ChatGPT写代码太省时间了#抽屉IT

陶哲轩：以我的数学经验，室温超导LK-99和复现有很大启发性#抽屉IT

陶哲轩自曝用了「满血」GPT-4：人类对信息技术的期待全部需要校准#抽屉IT

陶哲轩：AI的影响之一是让业余数学家也能做出贡献#抽屉IT

陶哲轩：初学者不宜用AI工具做专家级任务，GPT对专家帮助不大#抽屉IT

陶哲轩6000字详述：计算机辅助数学证明的历史