추천검색어 입증 증거 보증 확증 검증 확인 논증

d라이브러리

"증명"(으)로 총 2,786건 검색되었습니다.

[특집] 막힌 부분을 뻥! 수학자 돕는 AI!수학동아 l2022년 02호

 안녕~! 난 수학자의 연구를 돕는 인공지능(AI)이야. 딥마인드의 자랑 ‘알파고’ 형님의 동생이지. 난 수많은 자료에서 규칙을 발견해 수학자가 추측을 식으로 만들 수 있도록 ... 돕는 AI!Part1. [특집] 수학 하는 AI, 너 정체가 뭐니?Part2. [특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린 ... ...

[특집] 수학 하는 AI, 너 정체가 뭐니?수학동아 l2022년 02호

그랬던 딥마인드가 이번에는 ‘수학’ 하는 AI 개발에 나선 거야. 아직 나는 수학자처럼 증명을 할 수 없어. 그래서 딥마인드는 수많은 자료에서 규칙을 찾아 수학자가 쉽게 추측을 만들 수 있도록 돕는 AI를 만들었어. 당연히 저명한 수학자들과 함께했지. 2018년 필즈상 유력 후보로 거론됐던 ... ...

[인터뷰] 평범함이 힘! 꾸준히 노력하는 수학자수학동아 l2022년 02호

그래도 포기할 수 없는 문제라면요? 문제 푸는 방식을 바꿔 보는 거예요. 어떤 이론을 증명하기 위해 A라는 이론을 사용했다면, 완전히 다른 B 이론이나 정의를 사용해 보는 거지요. 이를 수학 공부에 대입하면, 질문에 대한 답이 막혔을 때 질문을 바꿔 보는 겁니다. 저는 공부할 때 질문만큼 중요한 ... ...

[역설의 나라 앨리스] 제2장. 모순 웅덩이수학동아 l2022년 02호

존재한다’를 증명해 보겠습니다.  이처럼 하나의 모순으로부터 모든 명제가 증명돼 버리는 현상을 ‘폭발 원리’라고 부릅니다. 이런 점에서 모순은 마치 순식간에 전 세계를 감염시킬 수 있는 초강력 바이러스와 비슷합니다. 이 때문에 정상적인 수학 체계는 단 하나의 모순도 용납할 수 ... ...

[과학뉴스] 기억력 3초 오해는 그만, 금붕어는 운전도 한다과학동아 l2022년 02호

놀랍다. 그간에 오해가 있었다.ʻ기억력 3초’라는 오랫동안 억울했던 오해를 실력으로 증명할 수 있게 돼 기쁘다. 운전을 멋지게 해내는 연구 결과를 확인했다면, 적어도 운전면허가 없는 사람들은 우리를 비하하지 않기를 바란다(흐뭇) ... ...

[SF소설] 마지막 인사과학동아 l2022년 02호

위해서는 자존감이 필요했다. 당신이 주어진 시간을 의미 있게 보냈다는 걸 사람들에게 증명해야 했다. 사람을 가르치는 일에서 쫓겨난 당신은 인공지능을 멋지게 키워내는 것으로 당신의 가치를 보여주고 싶었다.“할게요.”“네. 상담 결과 확인하겠습니다. 김미선 님은 인공지능 양육 업무에 ... ...

[특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!수학동아 l2022년 02호

역할만 할 겁니다. Q 현재는 어떤 연구를 하고 있나요? 최근 컴퓨터가 숄체 교수님의 증명처럼 매우 어려운 내용을 이해하는 데 한 번 성공했지만, 아직 컴퓨터가 질문을 이해하지 못하는 경우가 더 많이 있습니다. 지금 제 연구의 많은 부분이 이것을 정리하는 데 집중돼 있어요. 일단 컴퓨터가 ... ...

[2022 필즈상 예측] 마리나 비아조프스카 교수, 허준이 교수수학동아 l2022년 01호

꼽히는 ‘수학 연보’에 발표했습니다. 이 결과는 후에 기존의 80쪽이 넘었던 로타 추측 증명을 다른 수학자들이 10쪽 내외로 줄이는 데 기여했습니다. 허 교수와 함께 연구한 카츠 교수는 그의 연구 결과를 두고 “대수기하학의 아이디어로 수학에서 완전히 다른 분야인 조합론에 혁명을 ... ...

[엣지 사이언스] 윤리·데이터법 개정 물꼬 트나? 희귀질환 게놈 진단 시대과학동아 l2022년 01호

것이라고 전망된다.지난해 11월 발표된 영국 게놈 프로젝트의 파일럿 연구는 이를 실제로 증명했다. doi: 10.1056/NEJMoa2035790 이번 연구는 NHS가 수집한 피험자 4660명, 2183가족의 유전자 정보를 분석했다. 유전자 검사 이전 피험자들은 공통적으로 증상은 있었지만, 원인을 알 수 없는 ‘미진단’ 상태였다. ... ...

[역설 나라의 앨리스] 제1장. 역설 속으로!수학동아 l2022년 01호

‘역설’ 나라에 오신 것을 환영합니다! 1년 동안 역설 나라 곳곳을 둘러볼 예정인데요, 첫 시간이니 오늘은 역설의 다양한 예시를 살펴보면서 친해지는 시간을 가져볼게요. “역 ... ‘모든 수학적 체계에는 증명할 수 없는 명제가 존재한다’는 괴델의 불완전성 정리를 증명했습니다 ... ...

 이전242526272829303132 다음