통합검색

AI 도구가 보낸 글자 ‘false’는 정말 거짓일까?

JavaScript에서 비어 있지 않은 문자열은 내용이 false여도 참으로 변환됩니다. 입력 자료형과 검사 정책을 바꾸며 실행 경로를 비교합니다.

인공지능(AI)는 언제 계산기나 검색기를 불러야 하는지 스스로 배울 수 있을까?

Toolformer는 소수의 사용 예시에서 API 호출 후보를 만들고, 다음 단어 예측 손실을 실제로 줄인 호출만 남겨 언어모델을 미세조정했습니다.

Toolformer: Language Models Can Teach Themselves to Use Tools

같은 확률도 자연 빈도로 쓰면 더 잘 풀릴까

호프라게와 동료들은 조건부확률을 퍼센트로만 제시하는 방식과 실제 사람 수처럼 자연 빈도로 제시하는 방식을 비교합니다. 표현 형식이 단순한 문제뿐 아니라 여러 단서가 있는 복잡한 베이즈 추론의 성과에도 영향을 주는지 실험했습니다.

자연 빈도는 단순·복합 추론 과제에서 베이즈 추론을 향상한다 — Natural frequencies improve Bayesian reasoning in simple and complex inference tasks

풀이 여섯 개를 두 번씩 비교하려면 몇 모둠·몇 회차가 필요할까?

참여 인원·시간·모둠 정원·풀이 수·필요 검토 수를 바꾸어 완전 검토 풀이와 부족한 검토 칸을 계산합니다.

Toolkit to Support Evidence-Based Algebra Instruction in Middle and High School

같은 수학문제를 여러 증명 언어로 옮기면 인공지능(AI) 비교가 더 공정해질까?

PutnamBench는 640개 대학 수학문제를 Lean 4·Isabelle과 일부 Coq로 1,692회 형식화해 언어별 자동증명기의 강점과 난도를 비교했습니다.

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition