The Great Inside
← 전체 인물 보기

Ivonne Vetter, Archives of the Mathematisches Forschungsinstitut Oberwolfach, 2012, CC BY-SA 2.0 DE · Oberwolfach Photo Collection (Archives of the Mathematisches Forschungsinstitut Oberwolfach), photo ID 17061, taken by Ivonne Vetter in 2012 at the Arbeitsgemeinschaft on Ergodic Theory and Combinatorial Number Theory (Tao annotated as organiser); Wikimedia Commons file 'Terence C. Tao Oberwolfach 2012.jpg'. The MFO Terms of Use (clause 4) allow its reduced-resolution watermarked images, where MFO owns the copyright, to be used under CC BY-SA 2.0 Germany; the collection page lists Copyright: MFO and Author: Vetter, Ivonne. Saved at the Commons size of 400 x 266 with its small MFO watermark, no resizing. · CC BY-SA 2.0 DE

수학자 · 현대

테런스 타오

b. 1975

주요 업적 분야

과학

아직 성격 매칭에 포함되지 않았습니다 — 기록된 근거가 성격 모델 전체를 다루기에는 충분하지 않습니다. 이 페이지의 다른 모든 내용은 자유롭게 확인하실 수 있습니다.


핵심 특성


주요 업적

벤 그린과 함께 2004년에 소수가 임의의 길이의 등차수열을 포함한다는 것을 증명했는데, 이는 오랫동안 풀리지 않던 문제였다.

편미분방정식, 조합론, 조화해석학, 가법적 수론에 대한 기여로 2006년 필즈상을 받았으며, 카케야 문제에서 파동 사상에 이르기까지 폭넓게 연구했다.

이미지 복원에 쓰이는 압축 센싱을 에마뉘엘 캉데스와 함께 연구했고, 2013년에는 소수 간격에 관한 온라인 공개 협업 폴리매스 프로젝트를 조직했다.


삶의 장면들

2015년 한 블로그 댓글이 엘리엇 추측과의 연관을 제안한 지 몇 주 만에 타오는 에르되시 불일치 추측을 증명했고, 논문에서 그 댓글 작성자에게 감사를 표했다.

이는 첫인상을 고치고 다른 사람의 아이디어 위에 쌓아 가는 태도와 부합한다. 입장 수정 성향

2013년 6월 그는 소수 간격 유계성에 관한 폴리매스 프로젝트를 만들어 장이탕의 모듈식 증명을 참여자들에게 나누었고, 때로는 30분마다 상한이 낮아졌다.

이는 문제를 공개적으로 모듈 단위로 나누어 협업하는 방식과 부합한다. 협업 성향


전환점

2023년 10월 그는 AI의 도움을 받아 린(Lean) 증명 언어를 배우고 있다고 밝혔고, 11월에는 많은 자원봉사자와 함께 PFR 증명의 형식화를 이끌어 약 3주 만에 마쳤다.

이는 경력 중반에 형식 검증과 대규모 협업으로 방향을 넓힌 흐름과 부합한다. 적응력


비슷한 인물

전체적인 프로필이 이 사람과 닮은 사람들이에요.

세쿼야

학자1770–1843
91% 프로필 일치도

반대 프로필

경쟁 상대가 아니라, 살펴볼 만한 다른 프로필 형태예요.


출처