Settling the Optimal Exponent Relating Sumsets and Difference Sets

AI 연구 에이전트(Hyra)의 도움으로 가산집합과 차집합 사이의 최적 지수가 2임을 증명한 수학 논문.

이 논문은 한마디로 유한 집합에서 '더하기 집합'과 '빼기 집합'의 크기 관계를 나타내는 최적 지수가 2라는 것을 증명한 수학 논문이다. 50년 이상 미해결이던 문제를 명시적 집합 구조를 구성해 해결했다. AI 연구 에이전트(Hyra, Hy3 모델 기반)가 탐색과 최적화를 보조했고, 인간이 증명을 검증했다.

핵심 요약

• 가산집합과 차집합 사이의 최적 보편 지수가 정확히 2임을 최초로 증명했다.
• AI 에이전트(Hyra)가 24시간 자율 탐색으로 핵심 구조를 발견하고, 인간이 수학적으로 엄밀히 검증했다.
• Lean 4 형식 증명도 제공해 기계 검증 가능성을 확보했다.
• base-12 숫자 기법, 3상태 캐리 오토마톤, 중국인 나머지 정리를 결합한 정교한 구성이 핵심이다.

논문 링크

외부 연구를 정리한 자료입니다. HDATF가 발표한 논문이나 제품 성능을 측정한 결과는 아닙니다.