인공지능(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
대학생 74명의 8주 학습일지 연구에서 초기 프롬프트는 전략 사용을 활성화했지만, 장기 제공 집단은 단기 제공 집단보다 전략·자기효능감·시험성적이 높지 않았습니다.
Effects of Short- and Long-Term Prompting in Learning Journals on Strategy Use, Self-efficacy, and Learning Outcomes
증명이론적 의미론은 논리 기호의 의미를 참값 표가 아니라 도입·제거 규칙에서 찾습니다.
Proof-Theoretic Semantics
성향점수는 관찰된 공변량을 균형화하지만 숨은 교란을 해결하지 않습니다.
The Central Role of the Propensity Score in Observational Studies for Causal Effects
2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.
Second-order and Higher-order Logic
216–220 / 400편