OpenAI는 자사 모델이 수학과 이론 컴퓨터 과학의 10개 새로운 결과를 만드는 데 도움이 됐다고 밝히며, 연구 수준 AI로의 보다 진지한 진출을 시사했다.

OpenAI는 10만 명의 학술 연구자에게 무료 ChatGPT 접근을 제공해, 고급 모델을 과학 워크플로와 연구실에 확장하겠다고 밝혔다.

독일의 오픈 모델 Soofi S는 완전 오픈 영어·독일어 벤치마크에서 최고 성과를 주장하는 한편, 개발자들은 테스트 데이터 유출을 공개하고 수정했다.

Mistral AI가 Apache-2.0 라이선스의 Lean 4 코드 에이전트 모델 Leanstral 1.5를 선보였다. 이 모델은 PutnamBench 문제 672개 중 587개를 해결했다고 전해진다.

과학자들은 OpenAI의 ChatGPT-5 Pro를 사용해 새로운 수학적 증명과 블랙홀 발견을 이루어냈으며, 이는 지속되는 한계에도 불구하고 AI 지원 연구의 패러다임 전환을 알린다.