computational-complexity 태그 문서 3개 | 우성짱의 문서

우성짱의 문서

Tag3건Article 3

#computational-complexity

이 태그와 연결된 문서를 한곳에서 모아보고, 함께 자주 등장하는 연관 태그까지 이어서 탐색할 수 있습니다.

연관 태그

#exponential-time-hypothesis공동문서 2 · 연관도 82%#ai-generated-proofs공동문서 1 · 연관도 58%#collective-proof-verification공동문서 1 · 연관도 58%#cryptographic-security공동문서 1 · 연관도 58%#discipline-specific-disclosure공동문서 1 · 연관도 58%#eth-refutation-claim공동문서 1 · 연관도 58%#harmonic-analysis공동문서 1 · 연관도 58%#local-smoothing-conjecture공동문서 1 · 연관도 58%#machine-checked-mathematics공동문서 1 · 연관도 58%#proof-to-understanding공동문서 1 · 연관도 58%

문서 목록

총 3건 중 1-3건

Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

Article2026년 10월 27일

Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

OpenAI와 Anthropic은 AI 모델이 지수시간 가설(ETH)을 반박하는 알고리즘을 찾았다고 주장했으며, 검증 결과에 따라 계산복잡도 연구의 전제와 기존 연구를 재검토해야 할 수 있다.

#anthropic #openai #exponential-time-hypothesis #subexponential-time-algorithms

Working with academic communities to build scientific understanding

Article2026년 10월 26일

Working with academic communities to build scientific understanding

OpenAI는 조화해석·복잡도 이론·양자장론의 AI 생성 연구 성과를 발표하고, 학계의 독립적 검증과 이해를 위해 분야별로 다른 공개·협력 방식을 실험한다.

#openai #exponential-time-hypothesis #local-smoothing-conjecture #discipline-specific-disclosure

Ten advances in mathematics and theoretical computer science

Article2026년 8월 1일

Ten advances in mathematics and theoretical computer science

오픈AI는 내부 모델 아스트라가 수학·이론컴퓨터과학의 장기 미해결 문제에서 도출한 열 가지 성과와 린 형식화 자료를 공개하면서, AI가 만든 논증의 출처를 투명하게 밝히고 공동체의 검토와 후속 연구를 요청했다.

#astra #openai #ai-generated-proofs #machine-checked-mathematics