TAG
Lean 형식 검증(Lean Formal Verification)
이 주제의 기사 1편. 최신 기사부터.

AI가 수학 난제 372개를 공략했다, 인간 전문가의 가치는 어디로 이동하는가
OpenAI가 수학계에 던진 충격은 AI가 어려운 문제를 풀었다는 사실만이 아니다. 인간이 평생 연구하던 문제를 AI가 몇 시간 만에 다룰 수 있게 되면서, 전문지식을 생산하고 평가하는 방식 자체가 흔들리기 시작했다는 점이다.
이 섹션에 아직 발행한 특집이 없습니다.
이메일 주소만 받습니다. 편지마다 있는 링크로 언제든 그만 받을 수 있습니다.