뉴스10월 5일울프럼, AI가 쓴 수학을 사람이 점검하는 도구 만든다스티븐 울프럼이 Wolfram Language에 순수수학 개념을 담는 작업을 진행 중이라고 밝혔다. AI가 만든 증명이 연구자의 질문에 맞는지 사람이 확인하는 과정을 강조했다.
