형식화

수학자의 직관을 넘어선 AI, 반례 찾기에서 인간을 앞지르다

수학계에서 인공지능이 인간 수학자가 수십 년간 놓친 반례를 찾아내며 패러다임의 전환을 예고하고 있습니다. 최근 몇 주 사이 공식화 도구와 결합한 AI 시스템이 추측을 반박하는 사례가 잇따르면서 연구 방식의 변화가 현실화되고…