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

d라이브러리

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

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

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

[특집] 막힌 부분을 뻥! 수학자 돕는 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호

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

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

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

우주, 미래 산업의 무대가 되다과학동아 l2022년 01호

연구·개발하는 스타트업에 투자하는 등 민간 투자 기회가 늘어나고 있다.이런 경향을 증명하듯 모건스탠리는 향후 우주항공 및 방위산업이 정보기술(IT) 등 다른 기술 분야와 융합되면서 2040년에는 규모가 1조 달러(약 1184조 원)를 훨씬 넘어설 것으로 전망하고 있다. 지난해 대한민국 정부 예산안이 ... ...

[특집] 수학 수학동아 l2022년 01호

년 루이스 카파렐리 미국 텍사스대학교 수학과 교수는 특이점이 분명히 존재한다는 것을 증명했습니다. 그의 연구에 따르면 특이점을 중심으로 녹은 물이 있어요.  이때 특이점의 온도가 0℃이며, 특이점에서 멀어질수록 온도가 이차함수 그래프를 그리며 상승해요. 만약 이런 특이점이 무수히 ... ...

 이전242526272829303132 다음