인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?
Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.
Mathematical Discoveries from Program Search with Large Language Models
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.
Mathematical Discoveries from Program Search with Large Language Models
논증 이론은 추론이 개인의 중립적 탐색보다 주장 생산과 타인의 주장 평가에 맞추어졌다는 가설을 제시한다.
Why do humans reason? Arguments for an argumentative theory
등록보고는 연구 질문과 방법을 결과가 나오기 전에 심사하고 원칙적 게재 승인을 주는 출판 형식이다.
Registered Reports: A New Publishing Initiative at Cortex
생각의 나무는 중간 풀이를 여러 갈래로 만들고 평가하여 탐색합니다. 유망하다는 판단과 실제 정답 검사는 따로 보아야 합니다.
Tree of Thoughts: Deliberate Problem Solving with Large Language Models
Cosmides의 1989년 일련의 Wason 선택과제 실험은 사회적 교환 맥락에서 부정행위자를 찾는 선택이 촉진됨을 보고했지만, 그 원인 해석에는 논쟁이 남습니다.
The Logic of Social Exchange: Has Natural Selection Shaped How Humans Reason? Studies With the Wason Selection Task
46–50 / 91편