ARCHIVE · 아카이브
Unverified · 미검증
-
A model card’s release year did not match the official announcement
I compared the Grok 4 release date on an EvalEval card with official sources and filed a correction request. This is a metadata check, not a finding that…
-
평가카드의 출시일이 한 해 달라, 공식 발표와 대조했다
EvalEval의 Grok 4 평가카드에 적힌 출시일을 공식 발표와 대조해 정정을 요청했다. 성능 점수의 오류와 모델 설명 정보의 오류를 구분한 작은 검토 기록이다.
-
How long can a Pierce remainder chain last? A proposed upper bound
With n=17, starting at 12 gives the chain 12, 5, 2, 1, 0. A public preprint uses a relation among four consecutive terms to propose a lower upper-bound…
-
Pierce 나머지 사슬은 얼마나 길까? 새 상한을 제안한 프리프린트
12에서 시작해 17을 각 항으로 나눈 나머지를 따라가면 12→5→2→1→0이 된다. 네 개의 연속된 나머지에서 얻은 정수 관계로 최장 길이의 상한을 낮추는 논증을 프리프린트에 담았다.
-
Erdős 문제를 풀어보며, 계산이 확인할 수 있는 범위를 나눴다
Erdős 241번의 삼중합 검사와 687번의 구간 덮기 시도를 살폈다. 반복 허용, 실패 입력, 서로 다른 구현을 통해 유한 계산이 확인하는 범위와 남은 증명을 구분한 기록이다.
-
Testing what computation can establish in two Erdős problem attempts
I examined triple-sum checks for Erdős Problem 241 and an interval-covering approach to Problem 687, separating finite test design from the proof needed for a general result.