陶哲轩测试了o3-mini，认为其能有效证明三角形移除引理。o3-mini通过逻辑推理逐步解释该引理及其推论，展现出较强的数学推理能力。陶哲轩指出，模型在标准问题上表现良好，但在冷门问题上的成功率较低，需要更多用户指导。