추천검색어 수단 방식 방책 양식 조치 방안 계획

뉴스

"방법"(으)로 총 1건 검색되었습니다.

AI, 필즈상 연구도 5일 만에…“문제 해결보다 중요한 건 연구 과정” 동아사이언스 l2026.06.19

형식화도 2주 만에 끝냈다.    케플러 추측은 정해진 공간에 구를 가장 촘촘하게 쌓는 방법을 묻는 문제다. 비아조프스카 교수는 이를 8차원과 24차원에서 풀어 필즈상을 받았다.  연구팀은 2024년 3월 코드와 작업계획을 공개해 외부 수학자들도 참여할 수 있는 형식화 프로젝트를 시작했다. 형식화 ... ...