Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)(@teortaxesTex)의 스레드

더 많은 사람들이 타오의 저서를 읽고 인공지능이 그와 그의 동료들을 위해 실제로 어떤 일을 하는지 알아야 합니다. 특정 추측 해결, 문헌 검색, 상한값 찾기, 최종 증명 종합 등 다양한 작업을 수행합니다. 그게 최적의 방법인지, 아니면 타오가 그것들을 제한적인 도구로 사용하는 것을 선호하는 건지 궁금하네요.