AI요약: 

1. LK-99 논쟁은 아직 끝난 게 아니라 “제대로 된 샘플로 다시 실험해야 하는 상태”  
2. LK-99는 ‘초전도체’로는 아직 미검증, 하지만 ‘저저항/이상 전도 물질’로는 가능성 열려있는 상태

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6648038

This paper presents a deterministic mathematical treatment of the LK-99 replication crisis of July-September 2023. The treatment consists of four definitions, three lemmas, one central theorem, one axiomatic synthesis protocol, and three corollaries-together constituting a complete, formally structured resolution of the question: why did every reported replication fail, and what must be done to answer the empirical question that the 2023 episode failed to resolve. The central result is the LK-99 Contamination Theorem (Theorem 4.1): all anomalous magnetic behavior observed in the 47 analyzed replication attempts is attributable to Cu₂S ferromagnetism; pure-phase Pb₉Cu₁(PO₄)₆O was never cleanly synthesized and tested; the question of superconductivity in phase-pure LK-99 remains empirically open. The theorem is proved from three lemmas grounded in established materials science. The Axiomatic Synthesis Protocol (Protocol 5.1) encodes the solution as a deterministic, machine-verifiable procedure: mandatory XRD gate before transport measurement, fixed PLD parameters, and a binary decision rule-Cu₂S absent → proceed; Cu₂S present → stop and resynthesize. The protocol is a formal R³ Decision Procedure in the sense of the Russell Constitutional Mathematics framework (MARUSC-2026-R3CM-SSRN-001): terminating, deterministic, and CSL-recorded.

Keywords: Codes 74.62.-c (Effects of crystal defects), 74.25.Ha (Magnetic properties), 61.05.cp (X-ray diffraction), 74.70.-b (Superconductors) JEL Codes O31 (Innovation), O33 (Technological Change) MSC Codes 00A71 (Axiomatic Methods), 82D55 (Superconductors) LK-99, Cu₂S contamination, phase purity, contamination theorem, axiomatic synthesis protocol, R³ method, replication crisis, PLD synthesis, XRD verification, ontological grounding, deterministic protocol MSC 2020: 00A71 (Axiomatic Methods in Science), 82D55 (Superconductors), 00A69 (General Applied Mathematics)