三角形移除引理推论

陶哲轩使用o3-mini模型研究图论中的三角形移除引理，并对其表现进行了测试。虽然模型能快速给出正确答案，但在更复杂的问题上仍需用户详细指导。陶哲轩认为目前的AI在解决标准问题时有效，但对偏门问题的帮助有限，需要更多用户引导或计算资源支持。