![[수학뉴스] 수학증명, 인공지능에 맡겨라!](http://dl.dongascience.com/uploads/article/thumbnail/201906/m20190601-006.jpg)
[수학뉴스] 수학증명, 인공지능에 맡겨라!
수학동아 2019년 06호
인공지능으로 수학의 정리를 증명하는 것을 염려하는 의견도 있습니다. 제레미 아비가드 미국 카네기멜론대학교 철학과 교수는 “증명을 인공지능에게 맡기면 직접 증명하면서 새로운 개념을 찾거나 새로운 질문을 떠올리는 과정을 경험할 수 없다”고 말했습니다. 정말 인공지능이 수학자처럼 ...
인공지능으로 수학의 정리를 증명하는 것을 염려하는 의견도 있습니다. 제레미 아비가드 미국 카네기멜론대학교 철학과 교수는 “증명을 인공지능에게 맡기면 직접 증명하면서 새로운 개념을 찾거나 새로운 질문을 떠올리는 과정을 경험할 수 없다”고 말했습니다. 정말 인공지능이 수학자처럼 ...
![[과학뉴스] 어린이 화재 대피, 화재경보기보다 엄마 목소리가 효과적](http://dl.dongascience.com/uploads/article/thumbnail/201812/S201812N014-img.jpg)
경보기에 아이의 이름을 포함한 경우와 포함하지 않은 경우의 차이는 없었다. 스플레인가드 교수는 “어린이는 어른보다 더 깊게 잠들기 때문에 화재경보의 효율이 낮다”며 “어린이와 부모를 위한 실용적인 화재경보기를 찾는 데 도움이 될 것”이라고 말했다. doi:10.1016/j.jpeds.2018.09.02 ...
![[어린이과학동아 기자단] 과학기술의 집합체, 휴대전화](http://dl.dongascience.com/uploads/article/thumbnail/201708/C201708N007_000.jpg)
사람이 다치는 것을 막기 위해서 프로펠러에 ‘가드’라는 액세서리를 붙여요. 프로펠러 가드를 붙이지 않으면 전문가 모드로 조종할 수 있어요.드론 파이터는 크기가 작아서 360° 회전이 가능해요. 또한, 일정한 위치에 떠서 멈춰 있는 정지비행도 할 수 있어요. 그래서 팀을 나누고 드론 파이터로 ...
확인하고 차단하는 것이 중요하기 때문이다. 미래창조과학부가 추진하는 바이오나노헬스가드연구단은 공기 중에 떠다니는 바이러스를 포착해 걸러내고 PCR 분석을 하지 않고도 종류를 알아낼 수 있는 랩온어 칩을 개발하고 있다. 심장, 간, 폐를 작은 칩 위에여기서 끝이 아니다. 랩 온어 칩 기술을 ...
걷는 로봇미국 코넬대 기계항공공학과 호드 립슨 교수와 버몬트대 컴퓨터과학과 조시 본가드 교수 공동연구팀은 바닥에 불가사리처럼 납작하게 누워 있다가 다리를 세우면서 일어나 걸어 다니는 ‘스타피쉬’ 로봇을 만들었다. 이 로봇은 관절마다 센서가 붙어 있어서 갑작스러운 신체 변화에 ...
보안 점검을 받기 때문이다. 잉카인터넷의 보안 프로그램 인 ‘엔프로텍트’와 ‘게임가드’는 사용자가 1억 명이 넘는 다. 센터에 설치된 상황판에는 전날과 오늘의 신고현 황을 비교해놓고 있었다. 기자가 찾아간 1월 16일에도 수십만 건이 넘는 PC가 악성코드에 감염됐다.센터를 책임지는 정영석 ...
고비를 여러 번 넘기고, 마침내 겔다가 지내고 있는 고아원에 도착한다. 겔다는 트롤이 베가드 가문의 생존자를 ‘케이’라고 오해한 덕분에 우연히 남동생 케이를 찾게 된다. 이 과정에서 트롤은 겔다가 마법거울을 가지고 있다는 사실을 확인하고, 두 남매가 눈물의 상봉을 하든 말든 서둘러 ...
경우가 있는데 이런 상태를 ‘메타안정 상태’라고 부른다.연구에 참여한 필립 웨스터가드 박사는 “동위원소인 마그네슘-24를 메타안정 상태로 만드는 건 매우 어렵지만 특수 장비를 이용해 성공했다”고 말했다. 연구팀은 가장 흔한 형태인 마그네슘-24를 레이저로 붙잡아 절대영도 가까이 ...
상관없이 죽을 수 있다. 그래서 가드들은 지구 곳곳에 흩어져 서로 연락 없이 지낸다.가드는 각자 적에게 걸리지 않도록 가짜이름과 가짜직업을 만든다. 정체나 능력이 드러나면 아무 흔적도 남기지 않고 그 지역을 떠나야 한다. 존은 그의 세판인 헨리와 함께 미국 애리조나 주, 콜로라도 주, 메인 ...
| 갤리온 | 260쪽 | 1만 2000원미국 메릴랜드대 존 로빈슨과 펜실베이니아주립대 제프리 가드비는 미국인들이 한 주에 얼마나 많은 여가시간을 보낸다고 생각하는지 조사했다. 그 결과 미국인들은 평균 18시간의 여가시간을 보낸다고 생각했다. 하지만 매일 한 일을 조목조목 적게 하자 실제 여가시간은 ...