RT @dotey: 최근 수학 커뮤니티에서 매우 흥미로운 일이 일어났습니다. 세계적으로 유명한 수학자 테렌스 타오는 고전적인 에르되시 문제를 풀 때, 증명 초안 작성부터 증명을 단순화하는 과정, 그리고 형식적 검증까지 전 과정에 걸쳐 AI를 보조 도구로 사용했습니다. 에르되시…
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.