Research Data & AI

this week's overview 이번 주(8월 4일~10일)의 AI4S 지형은 AI가 발견 도구를 넘어 검증자 역할까지 확장 하는 흐름으로 요약된다. Roche의 미국 바이오텍 계열사 Genentech은 Recursion과의 AI 신약개발 협력에서 첫 신경과학 표적을 초기개발 단계로 진전시켰고, 반도체 신소재 스타트업 Discovered Materials는 AI 에이전트 스웜으로 칩 냉각 소재를 탐색하는 파이프라인을 공개했다. 한편 Nature는 AI가 75년 된 화학 참고문헌의 끓는점 오류를 발견한 사례를 보도하며, AI가 과학 문헌의 신뢰성 검증 수단으로도 부상하고 있음을 보여줬다. 학술 진영에서는 KDD 2026(제주) 이 데이터사이언스 최고 학회 최초로 AI for Sciences 트랙을 신설했고, 정책 진영에서는 미국의 프런티어 AI 사전검토 체계와 EU AI Act 투명성 의무가 같은 주간에 나란히 가동되며 거버넌스 압력이 커지고 있다. 주요 연구 성과 및 뉴스 Roche·Genentech, Recursion과 AI 신경과학 표적 초기개발 단계 진입 신약개발·AI드러그디스커버리 Roche의 미국 바이오텍 계열사 Genentech이 Recursion Pharmaceuticals 와의 AI 신약개발 협력에서 도출된 첫 신경과학 표적을 공동 초기개발 프로그램으로 진전시켰다고 8월 5일 발표했다. 이는 최대 40개까지 계획된 프로그램 중 첫 번째 마일스톤이다. 표적 발굴 : Recursion이 1조 개 이상의 인간 신경세포 데이터를 기반으로 구축한 '생물학 지도'에서 AI로 발굴한 미탐색 신경퇴행성 질환 표적이다. 검증 방식 : AI가 제시한 후보를 광범위한 실험실 검증으로 뒷받침해 인과성을 확인했다. 확장성 : 데이터셋을 반복적으로 재분석해 추가 표적을 발굴할 수 있는 구조로 설계돼, 단발성이 아닌 반복 가능한 발견 엔진을 지향한다. 🔗 bloomberg.com - Roche Advances AI-Derived Drug ...

이번 주는 프런티어 AI 랩이 "AI가 논문을 요약하는 도구"에서 "미해결 수학·암호학 문제를 직접 푸는 연구 주체"로 넘어가는 장면을 연달아 공개한 한 주였다. OpenAI와 Anthropic이 같은 주에 각각 수학·암호분석 결과를 내놓았고, 동시에 연구자 대상 모델 접근성 확대(OpenAI)와 AI 생성물 표시 의무 시행(EU)이 겹치면서 "누가, 무엇을, 어떻게 검증할 것인가"라는 질문이 부상했다. 01 연구 발표 OpenAI, 수학·이론컴퓨터과학 미해결 문제 10건에 새 결과 발표 RESEARCH 2026.08.01 발표 OpenAI가 차기 모델군 "Astra"의 내부 버전을 이용해 고차원 구면충전, 이진·구면 부호, 산술회로 복잡도, 폰노이만 대수(Connes 강직성 추측), 양자 병렬반복, 격자암호 최근접벡터문제, Ehrhart 부피추측, 다색 램지수, 극값그래프 이론 등 10년 이상 정체돼 있던 문제 10건에서 새 결과를 공개했다. 각 결과는 Lean 4 형식검증 증명서와 함께 공개돼, 커널 수준의 자동 검증이 가능하다. 다만 형식검증(Lean 커널 통과)은 "정의로부터 결론이 논리적으로 도출됨"만을 보증할 뿐, 그 정의가 원래의 역사적 추측을 충실히 반영하는지는 별도의 수학적 검토가 필요하다는 지적이 뒤따랐다. 저자성(authorship) 문제에 대해 OpenAI는 "AI가 전부 생성한 증명에 인간 저자성을 주장하는 것은 시스템의 기여와 인간 지적 노동의 성격을 모두 왜곡하는 것"이라는 입장을 밝혔다. 출처: OpenAI 공식 발표(8/1) , MLQ News 검증 리포트 , Forbes(8/3) Anthropic, Claude Mythos Preview로 HAWK·축소라운드 AES 암호분석 취약점 발견 RESEARCH 2026.07.28 발표 Anthropic Frontier Red Team이 Claude Mythos Preview를 이용...