학술 AI

Clay Mathematics Institute가 OpenAI의 AI 생성 나비에–스토크스 해법을 검토하고 있어, 100만 달러 수학상 청구는 보류된 상태다.

Inherent는 Faraday AI 에이전트가 더 큰 Anthropic과 OpenAI 시스템을 논문 재현에서 이겼다고 말하며, 더 작은 모델과 연구 중심 에이전트의 가능성을 강조했다.

Anthropic은 EU 투명성 규정을 맞추기 위해 Claude의 텍스트에 워터마크를 적용하고 있으며, 이는 AI 탐지, 직장 사용, 학문적 진실성, 프라이버시 논쟁을 불러오고 있다.

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 지원 연구의 패러다임 전환을 알린다.