한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과136건

검색 결과 제목

  1. 126수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
  2. 127그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  3. 128자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  4. 129인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
  5. 130단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

126–130 / 136편