Intellectual Property & Open Science Compliance
Licensing, Prior Art Status & Commercial Governance
저작권 라이선스(CC BY-NC 4.0), 선행기술 지위 및 상용 거버넌스 고지
All manuscripts, mechanized Lean 4 formal proof scripts (.lean), symbolic CAS codes (.py), numerical solvers, and benchmark datasets published by Arkhenomia Institute (Author: Jung Soo Kim, ORCID: 0009-0006-5140-0604) are licensed under the unmodified Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).
아케노미아 인스티튜트(Arkhenomia Institute)(저작자: 김정수, Jung Soo Kim, ORCID: 0009-0006-5140-0604)가 공개하는 모든 논문 원고, Lean 4 기계화 형식 증명 스크립트(.lean), 기호 연산 코드(.py), 수치 솔버 및 벤치마크 데이터셋은 수정 없는 국제 표준 크리에이티브 커먼즈 저작자표시-비영리 4.0 국제 라이선스(CC BY-NC 4.0)에 따라 제공됩니다.
-
Academic & Open Research Safe Harbor:
비영리 학술 연구의 자유:
Non-commercial academic research, educational use, and independent verification are freely permitted with proper attribution and primary reference citation.
적절한 출처 표시 및 1차 참고문헌 인용을 전제로 대학·연구기관·독립 연구자의 비영리 학술 연구 및 검증은 자유롭게 허용됩니다.
-
Commercial Restriction (NC):
상업적 사용 제한 및 별도 계약:
Any commercial reproduction, internal enterprise deployment, derivative code porting, or proprietary AI model distillation requires a prior written commercial license agreement.
원저작자와의 사전 서면 상용 라이선스 계약 없는 상업적 복제, 사내 서버 구동, 타 언어 커널 포팅 및 독점 AI 지식 증류는 엄격히 금지됩니다.
-
Published Prior Art Protection:
공지된 선행기술(Prior Art) 특허 방어:
All mathematical equations and tensor architectures disclosed herein constitute published Prior Art under global patent laws against third-party patent appropriation.
공개된 모든 수학 방정식과 텐서 아키텍처는 전 세계 특허법상 공지된 선행기술을 구성하여 제3자의 무단 특허 독점을 원천 차단합니다.