추천검색어 허락 허가 인정 승인 용납 관용 관대

뉴스

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

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

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