수학은 오랫동안 AI가 넘기 어려운 벽으로 여겨졌다. 논리적 완결성이 요구되는 수학 증명은 단 하나의 오류도 전체를 무효화할 수 있기 때문이다. 그런데 벨기에 브뤼셀자유대학교(Vrije Universiteit Brussel) 연구팀이 이 벽을 허물었다. 누구나 사용할 수 있는 일반 챗GPT...
자세한 내용은 원문에서 확인하세요.
로그인하고 댓글을 작성하세요
첫 댓글을 작성해보세요
로그인하고 댓글을 작성하세요