추천검색어 목표 의도 취지 표적 대상 동기 비젼

뉴스

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

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

공개 수학 라이브러리 '매스립(mathlib)'에 축적하고 연구자들이 증명을 직접 이해하는 게 목적이다.   AI 사용도 허용했다. 매스 소속 연구자도 참여했고 AI가 생성한 일부 결과도 받아들였다. 다만 공개 협업을 통해 형식화 과정에서 필요한 정리와 개념을 함께 축적하는 방식을 추구했다.  지난해 ... ...