구글 딥마인드팀이 알레테이아(Aletheia)를 소개했다. 알레테이아는 대회 수준의 수학과 전문 연구 간의 간극을 메우는 특수 AI 에이전트로 설계되었다. 모델은 2025년 국제 수학 올림피아드(IMO)에서 금메달 수준의 성과를 거두었지만, 연구에는 방대한 문헌을 탐색하고 장기적인 증명을 구성해야 한다. 알레테이아는 이를 자연 언어로 반복적으로 생성, 검증 및 수정하여 해결한다. 이를 통해 알레테이아는 수학적 발견뿐 아니라 전문 연구에서도 혁신적인 성과를 이룰 수 있게 된다.

<Mark Tech Post 뉴스 본문 전체읽기>