https://unlocked.microsoft.com/ai-anthology/terence-tao/


정식 증명 검증 도구, 인터넷 검색, 기호 수학 패키지와 같은 도구와 통합될 때 2026 수준의 AI가 적절하게 사용되면 수학 연구 및 기타 여러 분야에서 신뢰할 수 있는 공동 저자가 될 것으로 기대합니다.


테렌스 타오 gpt에 관심 많나봄