만약 제가 밀레니엄 프라이즈 문제에 대한 증명을 가지고 있다면, 아마도 린(Lean) 기법으로 바로 넘어가기 전에 증명의 기본 아이디어를 먼저 공유할 것 같습니다.
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.
Colin Fraser(@colin_fraser)의 스레드
트윗 1개 · 2025. 12. 21. 오후 10:03
작성자 정보
스레드를 불러오는 중
깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.
보통 몇 초면 완료되니 잠시만 기다려 주세요.
트윗 1개 · 2025. 12. 21. 오후 10:03
만약 제가 밀레니엄 프라이즈 문제에 대한 증명을 가지고 있다면, 아마도 린(Lean) 기법으로 바로 넘어가기 전에 증명의 기본 아이디어를 먼저 공유할 것 같습니다.