본문으로 건너뛰기
AI 실무
실무
릴리스 노트
릴리스
AI 기초
기초
도메인 자료
도메인
강의 교안
교안
검색
전체 자료 검색
검색
로그인
주제별
최신
전체
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