한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과180건

검색 결과 제목

  1. 176자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  2. 177논증의 질을 점수 하나로 줄여도 될까?
  3. 178인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?
  4. 179풀이 예시를 보여 주면 작은 인공지능(AI)도 추론을 잘하게 될까?
  5. 180인공지능(AI) 심사위원에게 답의 순서를 바꿔 보여 주면?

176–180 / 180편