참고Reddit
GPT-5.6 Sol, 20년 난제 '크루제이 추측' 증명 성공
AI가 복잡한 수학적 난제 해결에 기여한 사례로, 연구/학술적 도구로서 모델의 가능성을 시사함.
원문 제목 Neurosurgery resident at a Peking College Hospital uses GPT 5.6 Sol to prove a 2 decades old mathematical conjecture underlying a major problem in numerical linear algebra — All for the purposes of his research on transcranial ultrasound.
원문 보기 ↗