본문으로 건너뛰기

피드 트렌딩 커뮤니티 공지사항 기술 태그 AI 용어 사전 서비스 소개 문의 운영 정책 개인정보 처리방침

매일 업데이트되는 글로벌 소스의 AI/ML 뉴스를 수집하고 한국어로 요약합니다.

AI Trends·후원

피드 트렌딩 커뮤니티 공지

피드 트렌딩 커뮤니티 공지

수학적 추측 (mathematical-conjecture) 용어 설명 | AI Trends

mathematical-conjecture

수학적 추측

중급

증명되지 않았으나 참으로 여겨지는 수학적 명제. AI가 이를 해결했다고 주장하는 사례가 늘면서 수학계의 검증 필요성이 대두됨.

비슷한 개념

erdos-conjectures open-problem mathematics-research-agent frontier-math mathematical-reasoning formal-proof firstproof automatic-deduction

← 용어 사전 전체 보기