2026년 필라델피아에서 열린 국제 수학자 회의에서 Jacob Tsimerman은 새로운 필즈상 수상자 중 한 명이 되었습니다. 캐나다 수학자 38세는 시상식 후 기자회견에서 자신의 진로에 대한 대대적인 조정을 발표했다. 오픈AI에 합류해 인공지능 안전 연구에 참여하겠다고 밝혔다.
이번 결정은 1년 전 짐머만의 공개 입장과 대조된다. 2025년 7월에는 고급 인공지능이 인류 멸종으로 이어질 수 있는 다양한 경로를 정리하는 '인공지능의 잠재적으로 파괴적인 재난 시나리오 분류 프레임워크' 작성에 참여했습니다. 당시 그는 이러한 극단적인 위험이 발생할 가능성을 과소평가해서는 안 된다고 공개적으로 믿었으며 최첨단 인공지능 연구 및 개발에 대한 유예를 촉구했습니다. 동시에 그는 지정학적 경쟁과 기업의 상업적 경쟁이 글로벌 R&D 유예 협정의 이행을 어렵게 만들 가능성이 높다는 점을 인정했습니다. 위험 경고를 자주 발행하지만 Zimmerman은 이미 일상 업무에서 정기적으로 대규모 언어 모델을 사용했으며 AI를 사용하여 문헌 검토 속도를 높이고 정리의 예비 검증을 완료했습니다.
인공지능 기능의 급속한 반복은 그의 연구 아이디어를 변화시켰습니다. 올해 초 Zimmerman의 박사 과정 학생이자 Anthropic에서 일하는 수학자 Levonte Alperger는 AI 협력의 도움으로 팀이 100년 된 Jacobi 추측에 대한 반례를 찾았다고 말했습니다. 이후 OpenAI는 내부 추론 모델이 반례의 존재를 독립적으로 입증해 80년 동안의 단위 거리 추측을 뒤집었다고 밝혔습니다. Zimmerman은 OpenAI의 초청을 받아 외부 검증 전문가로 활동했으며 AI에서 파생된 증명 프로세스가 논리적으로 엄격하고 최고의 수학 저널에 직접 게재될 수 있다고 판단했습니다. 지속적인 발전을 통해 그는 인공 지능이 컴퓨팅 보조 장치에서 엄격한 수학적 발견에 적극적으로 참여하는 역할로 변모하고 있음을 깨닫게 되었습니다.
짐머만은 보안 분야가 아무리 논란이 되어도 첨단 AI 연구개발은 멈추지 않을 것임을 깨닫고, 연구의 초점을 '위험의 탄생 방지'에서 '위험의 조정 및 통제'로 전환했습니다. 그는 자율 AI 시스템의 역량이 계속 강화되면서 실제 측정 검증만으로는 안전성을 완전히 보장할 수 없다고 지적했다. 수학적 증명은 다중 에이전트 AI 시스템을 제어하기 위한 보다 안정적인 제약 시스템을 구축할 수 있습니다. OpenAI는 오랫동안 모델 정렬, 논리적 추론, 수학적 검증에 깊이 관여해 왔으며 이는 그의 전공과 매우 일치합니다.
이러한 직업 선택은 학계 전반의 변화를 반영하기도 합니다. 짐머만은 더 이상 정규 수학 박사 과정 학생을 모집하지 않겠다고 발표했습니다. 그 이유는 엄격한 논리적 추론에서 기계가 꾸준히 인간을 능가하게 되면 전통적인 수학 연구 진로의 생존이 의심스럽기 때문입니다. OpenAI는 그의 구체적인 직위를 발표하지 않았으며 토론토 대학에서 교수직을 유지할 것인지 여부도 밝히지 않았습니다. 그러나 그의 임명은 높은 수준의 AI 기능과 검증 가능한 안전 규정을 개발하기 위해 수학적 논리에 깊이 관여하는 수학자들이 업계에 점점 더 필요하다는 점을 확인시켜 줍니다. 이러한 움직임은 또한 학계의 주류 실용적 변화를 나타냅니다. 과학 연구계는 더 이상 기술 개발 중단에 집착하지 않고 대신 AI를 제어할 수 있는 수학적 시스템 구축을 우선시합니다.