AI 수학 증명 진전, 호스킨슨 “예상 못했다”

토큰포스트 · 2026-09-09 07:52 UTC

인공지능이 복잡한 수학 증명을 작성하고 형식 검증까지 수행하는 수준에 이르렀다는 평가가 나왔다. 오픈AI의 나비에–스토크스 방정식 관련 발표를 계기로 AI의 수학 추론 능력이 다시 주목받고 있다.

요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.

같은 날 다른 소식