인공지능(AI)가 프로그램을 진화시키면 새로운 수학 구성을 찾을 수 있을까?
Romera-Paredes 등은 언어모델의 프로그램 제안과 자동 평가·진화를 결합해 cap set 구성과 온라인 bin packing 휴리스틱을 탐색했습니다.
Mathematical Discoveries from Program Search with Large Language Models
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
해외 학술 연구
해외 학술 연구
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.
해외 학술 연구의 7개 분야
해외 학술 연구72편 · 69묶음
검색 결과 제목
인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?
P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
인공지능(AI)에게 여러 번 물어 가장 많은 답을 고르면 더 정확할까?
자기일관성 방법은 다양한 풀이 경로에서 최종 답을 모읍니다. 정답률 개선과 답의 논리적 보증을 구별하고, 반복 답변의 독립성도 따져 봅니다.
Self-Consistency Improves Chain of Thought Reasoning in Language Models
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
인공지능(AI)가 풀이의 갈림길로 돌아가면 더 잘 풀 수 있을까?
생각의 나무는 중간 풀이를 여러 갈래로 만들고 평가하여 탐색합니다. 유망하다는 판단과 실제 정답 검사는 따로 보아야 합니다.
Tree of Thoughts: Deliberate Problem Solving with Large Language Models
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
인공지능(AI)에게 “다시 검토해”라고 하면 정답을 오답으로 바꿀 수도 있을까?
외부 정답 정보가 있는 교정과 AI의 내적 자기교정은 다른 조건입니다. 답이 바뀐 횟수보다 어떤 방향으로 바뀌었는지를 확인해 봅니다.
Large Language Models Cannot Self-Correct Reasoning Yet
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
36–40 / 69묶음