추천검색어 project 기획안 프로젝터 프로 연구과제 사업안

뉴스

"프로젝트"(으)로 총 1건 검색되었습니다.

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

  연구팀은 2024년 3월 코드와 작업계획을 공개해 외부 수학자들도 참여할 수 있는 형식화 프로젝트를 시작했다. 형식화 과정에서 나온 정리와 개념을 공개 수학 라이브러리 '매스립(mathlib)'에 축적하고 연구자들이 증명을 직접 이해하는 게 목적이다.   AI 사용도 허용했다. 매스 소속 연구자도 ... ...