주메뉴바로가기 본문바로가기
닫기

[특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!

지금 이곳에선 2018년 필즈상 수상자인 페터 숄체 독일 본대학교 교수님의 증명을 검증하고 있어. 심사위원은 바로 나! ‘LEAN(린)’이야. 소프트웨어(SW)가 지구 최고 수학자의 증명을 검증한다니 놀랍지?  [계산이 복잡할 땐 나를 불러! 린] 후우~. 검증이 끝나고 바로 달려왔어. 놀라지 마! 내가 숄체...(계속)

수학동아 2022년 02호
이전
다음
1
수학동아 2022년 02호 다른추천기사
이 기사를 읽은 분이 본
다른 인기기사는?
[기획] 2022 베이징 동계올림픽 응원은 가슴으로 분석은 수학으로!
[특집] 막힌 부분을 뻥! 수학자 돕는 AI!
[핫이슈] 이런 가위바위보 봤어?
[매스미디어] 해적: 도깨비 깃발
[역설의 나라 앨리스] 제2장. 모순 웅덩이
  • 동아사이언스 바로가기
  • 과학동아 사이언스보드 바로가기
  • 어린이과학동아 어린이수학동아 바로가기
  • 폴리매스 바로가기
  • DS스토어 바로가기
  • 디라이브러리 바로가기
  • 과학동아천문대 바로가기
  • ㈜동아사이언스 | 등록번호 : 서울 아04396 | 등록일자 : 2017년 3월 2일 | 제호 : 동아사이언스 | 발행인 : 장경애 | 편집인 : 김민수
  • ㈜동아사이언스 디라이브러리 | 대표 : 장경애 | 개인정보관리책임자 : 최수정(privacy@dongascience.com) | 청소년보호책임자 : 신한식
  • 서울시 용산구 청파로 109, 7층 (04370) ｜ 문의 : 02-6749-2000 ｜팩스 : 02-3148-0789 ｜사업자등록번호 : 101-81-62201 (사업자정보확인)
  • 통신판매업신고번호 : 제2013-서울용산-01101호 ｜온라인 결제를 위한 PG사의 구매안전서비스(가입사실 확인)
  • Copyright © Dongascience. All right reserved.

  • 폴리매스 문제는 2019년도 정부의 재원으로 한국과학창의재단의 지원을 받아 수행된 성과물입니다.

  • ☎문의 02-6749-3911