본문으로 건너뛰기
AI 학습
학습
릴리스 노트
릴리스
도메인 자료
도메인
강의 교안
교안
검색
전체 자료 검색
검색
로그인
주제별
최신
전체
0
화면을 불러오는 중입니다
주제별
최신
전체
395
AI 코딩
104
보안 · 조직 운영
85
업무에 쓰기
67
업무 자동화
43
도구 연결
42
AI 시작하기
36
지식 · 검색
18
선택한 조건에서 검색
검색
업무에 쓰기
2건
보기
목록
격자
정렬
최신순
업무에 쓰기
×
오늘
×
필터 초기화
유클리드 파동방정식 국소 평활화 형식화
Lean 형식화가 다루는 정리와 추정 범위를 요약한 문서입니다.
ChatGPT
레퍼런스
전문가
G
github.com
2026.10.27
학계와 함께 과학적 이해를 만드는 공개 방식
연구 결과 공개와 공로·투명성 원칙을 설명하는 사내/대외 협업 검토 글입니다.
ChatGPT
깃허브
사례
전문가
O
openai.com
2026.10.27
