초안을 제안하는 일과 규칙을 확인하는 일
2024년 1월 공개된 알파지오메트리는 이런 역할 분담을 생각하게 하는 기하학 사례입니다. 개발자들의 설명에 따르면, 학습한 언어 모델이 도움이 될 보조 구성을 제안하고 기호적 추론 장치가 정해진 규칙으로 풀이를 이어 갑니다. 여기서 기호적 추론 장치란 점·선의 관계와 기하 규칙을 명시적으로 다루는 프로그램입니다.
그림에서 무엇을 볼까요?
지도 확인 완료와 배터리 확인 완료를 두 조건 모두라는 상자에 입력하고, 그 묶음에서 출발 허용, 이어 출발 신호 켜짐으로 내려가는 도해. 조건 묶음과 화살표 방향을 따로 확인하도록 표시한다.
2024년 1월 공개된 알파지오메트리는 이런 역할 분담을 생각하게 하는 기하학 사례입니다. 개발자들의 설명에 따르면, 학습한 언어 모델이 도움이 될 보조 구성을 제안하고 기호적 추론 장치가 정해진 규칙으로 풀이를 이어 갑니다. 여기서 기호적 추론 장치란 점·선의 관계와 기하 규칙을 명시적으로 다루는 프로그램입니다.
추론이 막히면 새로운 구성 후보가 다음 길을 열고, 규칙에 따른 추론이 그 길을 확인합니다. 이 소개는 개발자가 공개한 2024년 시스템의 설명에 근거합니다. 임의의 사진을 읽는 모든 AI나 일상의 모든 판단을 같은 방식으로 해결한다고 확대하지 않습니다. 이 장에서는 제안과 확인을 연결한 구조에 주목합니다.
같은 자료에서 결론이 달라질 수 있다면
내 생각을 펼치고, 바꾸고, 다시 확인하는 공간
분류 나무 · 한 갈래 내려갈 때 조건이 더해진다