국내 법률 AI 플랫폼 ‘로올’이 푼 47년 수학 난제…테렌스 타오 저장소에 증명 기록 올라글쓴이 뉴스온등록일 2026.09.28 18:12조회수 10https://www.joongang.co.kr/article/25465301 https://blog.naver.com/newpic2018/224425041782