ARCHIVE · 아카이브
Hard Problems · 난제와 탐구
-
CPU 파이프라인은 남았고, 읽은 글자는 0이었다
Vesuvius Challenge 공개 자료로 CPU 파이프라인을 만들었지만 새 잉크와 문자를 확인하지 못했다. 재감사에서는 보존되지 않은 benchmark 결과를 통과로 세지 않았다.
-
The CPU pipeline remained; the character count was zero
I built a CPU pipeline around public Vesuvius Challenge material but confirmed no new ink or characters. A later audit removed benchmark claims whose raw outputs had not…
-
기계 검증은 통과했지만 새롭지는 않았다
Ulrich u4에 대한 무한 반모형을 형식화해 공개했지만, 뒤늦은 선행조사에서 같은 결론과 Lean 검증이 먼저 있었음을 확인했다. 저널 경로는 종료했다.
-
Machine-checked, but not new
I formalized and publicly archived an infinite countermodel for Ulrich’s u4. A later priority check established that the same conclusion and a Lean formalization already existed, so I…
-
P2624의 공개 증명 트리를 독립적으로 다시 만든 기록
공개 사양에서 일곱 개 증명 트리를 다시 생성해 299,903,736개 노드와 공개된 파일별 해시를 모두 맞췄다. 새 정리나 공식 난제 해결을 주장하는 작업은 아니다.
-
Independently rebuilding P2624’s public proof trees
I regenerated seven proof trees from a public specification, matching all 299,903,736 nodes and all seven published component hashes. This was not a new theorem or a recovery…