본문으로 건너뛰기
Mathematical Conjecture
수학적 추측
증명되지 않았으나 참으로 여겨지는 수학적 명제. AI가 이를 해결했다고 주장하는 사례가 늘면서 수학계의 검증 필요성이 대두됨.
비슷한 개념
erdos-conjectures
Open Problem
Mathematics Research Agent
frontier-math
Mathematical Reasoning
Formal Proof
Probabilistic Inference
Automatic Deduction
← 용어 사전 전체 보기
AI Trends
피드
트렌딩
커뮤니티
탐색
보관함
로그인
홈
트렌딩
커뮤니티
보관함
프로필