![[특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!](http://dl.dongascience.com/uploads/article/thumbnail/202202/pic_2022-01-25_오후_2.53_.08_Small_.jpeg)
[특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!
수학동아 2022년 02호
이곳에선 2018년 필즈상 수상자인 페터 숄체 독일 본대학교 교수님의 증명을 검증하고 있어. 심사위원은 바로 나! ‘LEAN(린)’이야. 소프트웨어(SW)가 지구 최고 수학자의 증명을 검증한다니 놀랍지? [계산이 복잡할 땐 나를 불러! 린] 후우~. 검증이 끝나고 바로 달려왔어. 놀라지 마! 내가 숄체 ...
이곳에선 2018년 필즈상 수상자인 페터 숄체 독일 본대학교 교수님의 증명을 검증하고 있어. 심사위원은 바로 나! ‘LEAN(린)’이야. 소프트웨어(SW)가 지구 최고 수학자의 증명을 검증한다니 놀랍지? [계산이 복잡할 땐 나를 불러! 린] 후우~. 검증이 끝나고 바로 달려왔어. 놀라지 마! 내가 숄체 ...
![[2022 필즈상 예측] 줄곧 탄탄대로 달려온 루마니아 출신 천재 수학자 기호 3. 아나 카라이아니](http://dl.dongascience.com/uploads/article/thumbnail/202202/pic_2022-01-25_오후_2.54_.00_Small_.jpeg)
함께 모였을 때 찍은 사진. 2018 필즈상 수상자와 함께 연구 카라이아니 ... 가장 큰 업적으로 꼽히는 것은 2018 필즈상 수상자인 페터 숄체 독일 본대학교 교수와 함께 새로운 대수기하학의 방법론을 활용해 시무라 다양체의 새로운 위상적 성질을 알아내고, 타원곡선에 관한 ‘사토-테이트 추측’을 ...
![[특집] 수학 하는 AI, 너 정체가 뭐니?](http://dl.dongascience.com/uploads/article/thumbnail/202202/pic_2022-01-25_오후_2.52_.48_Small_.jpeg)
만들 수 있도록 돕는 AI를 만들었어. 당연히 저명한 수학자들과 함께했지. 2018년 필즈상 유력 후보로 거론됐던 게오르디 윌리엄슨 호주 시드니대학교 수학연구소 소장님과 매듭 이론계의 거장인 마크 라켄비 영국 옥스퍼드대학교 교수님 등과 말이야. 수학적 발견에서 수학자의 직관은 매우 중요해. ...
![[특집] 수학](http://dl.dongascience.com/uploads/article/thumbnail/202201/pic_2021-12-25_오후_2.32_.38_Small_.jpeg)
딴 약 130년 난제, 슈테판 문제입니다. 녹는 얼음의 특이점, 있다 없다?!2018년 필즈상을 수상한 알레시오 피갈리 교수가 소속된 팀이 최근 약 130년 동안 수학자, 과학자를 궁금하게 만든 슈테판 문제를 풀었다고 발표해 주목받았습니다. 특이점은 있는 걸까요? 슈테판 방정식이 발표된 이후, 수많은 ...
![[2022 필즈상 예측] 마리나 비아조프스카 교수, 허준이 교수](http://dl.dongascience.com/uploads/article/thumbnail/202201/pic_2021-12-25_오후_2.33_.13_Small_.jpeg)
비아조프스카 스위스 로잔 연방공과대학교 교수는 2018년에 이어 또다시 유력한 필즈상 후보로 꼽히는 수학자 중 한 명입니다. 2016년 고차원에서의 ‘케플러 추측’을 해결해 수학계 샛별로 떠올랐지요. 케플러 추측은 정해진 공간 안에 구를 최대한 많이 쌓는 방법에 관련한 문제입니다. 1620년 독일 ...
![[옥스퍼드 박사의 수학 로그] 제12화. 소중한 수학 가족](http://dl.dongascience.com/uploads/article/thumbnail/202012/pre201127-012.png)
위대한 수학자가 위대한 스승이 돼서 또 다른 위대한 제자를 길러냅니다.2018년에는 수학 가족 3대가 나란히 필즈상을 받은 족보가 탄생했는데요, 8월 브라질 리우데자네이루에서 열린 세계수학자대회에서 알레시오 피갈리 교수가 필즈상을 받으며 피에르 루이 리옹 교수에서 세드리크 빌라니 교수, ...
![[옥스퍼드 박사의 수학 로그] 제11화. 발표의 세계](http://dl.dongascience.com/uploads/article/thumbnail/202011/M202011-168.png)
마련한다는 것에 큰 의미가 있죠. 실제로 꼭 필즈상 수상이 아니더라도 세계수학자대회에서 ... 21세기에 풀어야 할 수학 문제는 1966년 필즈상 수상자인 스티븐 스메일이 1998년 독일 ... 개인적으로 했던 발표 중 가장 재밌었던 건 2018년 영국 스코틀랜드 세인트앤드루스대학교에서 했던 ‘영국 수학 ...
![[수학뉴스] 코로나19와 세포의 싸움 수학으로 들여다본다](http://dl.dongascience.com/uploads/article/thumbnail/202006/M2006-074.png)
수학 이론으로, 이 이론을 연구한 이탈리아 수학자 알레시오 피갈리는 2018년 필즈상을 받았죠.니 교수는 “좋은 세포와 나쁜 세포 사이의 상호작용을 수치화해 다양한 질병의 진단과 치료에 도움을 줄 수 있을 것”이라고 말했습니다. 이 연구는 국제학술지 ‘네이처 커뮤니케이션즈’ 4월 29일 자에 ...
![[폴리매스 프로젝트] 12월, 세상에 없던 문제에 도전하라!](http://dl.dongascience.com/uploads/article/thumbnail/201912/20191126-img-061.jpg)
뜻인가요?페렐만은 ‘푸앵카레 추측’을 증명했는데, 그 업적으로 주는 필즈상과 상금을 거절했어요. 그 모습이 멋졌어요. ‘집돌이’처럼 집에서 혼자 ... 재밌기도 하고, 요령도 생겼어요. 언제부터 폴리매스 활동을 했나요?2018년부터 알고 있었어요. 폴리매스에서 활동하려면 수학을 잘 해야 할 ...
놓은 ‘랭글랜즈 프로그램’입니다. 제가 2018년 아벨상을 받을 수 있었던 중요한 연구입니다. ... 2002년 로랑 라포르그, 2010년 응오 바오 쩌우, 2018년 페터 숄체는 랭글랜즈 프로그램 관련 연구로 필즈상을 받았고요. 어때요, 이 정도 영향력이라면 정말 놀라운 크리스마스가 아닙니까? “동전 24,00 ...