통합검색

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

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

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

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

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

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

하나의 Putnam 원문이 Lean Isabelle Coq 형식화로 갈라지고 각 커널 검사를 거쳐 비교표에 모이는 도식

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

불리언 false는 ToBoolean 뒤 거짓 경로로 가지만 문자열 false는 비어 있지 않아 참 경로로 가는 자료형 변환 그림입니다.

정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?

형식화 → 164만 명제 → Lean 4 / 반복학습 → 새 증명 → 다음 모델 / 평가 → 57.6% P@32 → Putnam 7를 비교하는 LTCT 교육용 도식