뉴스
"검증"(으)로 총 2건 검색되었습니다.
- 역대급 규모 고정밀 양자컴…퀀티넘, 98큐비트 '헬리오스' 공개동아사이언스 2026.06.19
- '랜덤 서킷 샘플링(RCS)'이라는 벤치마크 연산을 수행해 '양자 우월성'을 다시 한번 검증했다. RCS는 실용적인 연산은 아니지만 고전컴퓨터로 따라갈 수 없는 양자 연산 성능을 증명하는 지표다. 김기환 기초과학연구원(IBS) 트랩이온 양자과학 연구단장은 "양자 우월성에 대한 보다 확실한 ... ...
- AI, 필즈상 연구도 5일 만에…“문제 해결보다 중요한 건 연구 과정” 동아사이언스 2026.06.19
- 자체도 중요하기 때문이다. 형식화는 수학자가 쓴 증명을 컴퓨터가 한 줄씩 논리적으로 검증할 수 있는 코드로 바꾸는 작업이다. 논리적 오류나 누락된 가정을 잡아낼 수 있어 수학계에서 중요하게 여긴다. ● AI가 단 번에 끝낸 형식화…"배울 기회를 잃었다" 지난 2월 미국 AI 스타트업 ‘매스(Math ... ...
