뉴스
"증명"(으)로 총 2건 검색되었습니다.
- 역대급 규모 고정밀 양자컴…퀀티넘, 98큐비트 '헬리오스' 공개동아사이언스 2026.06.19
- RCS는 실용적인 연산은 아니지만 고전컴퓨터로 따라갈 수 없는 양자 연산 성능을 증명하는 지표다. 김기환 기초과학연구원(IBS) 트랩이온 양자과학 연구단장은 "양자 우월성에 대한 보다 확실한 종지부라고 할 수 있다"면서도 "아직 전체 연산 과정에서 이온 이동 및 냉각 시간이 대부분을 차지하기 ... ...
- AI, 필즈상 연구도 5일 만에…“문제 해결보다 중요한 건 연구 과정” 동아사이언스 2026.06.19
- 수준까지 올라올 수 있다고 전망했다. 이승재 인천대 수학과 교수는 “증명의 오류를 잡아내거나 반례를 찾을 때 AI가 빠르다”고 밝혔다. 다만 "문제를 던져놓고 풀어줘 하는 식은 통하지 않는다”며 “질문을 쪼개 되짚어가며 써야 의미 있는 결과를 만들어낸다"고 강조했다. 이시우 EPFL ... ...
