AI 과학 연구

Station 연구는 웹 검색과 기존 결과를 차단한 환경에서도 여러 AI 에이전트가 상당수의 과학적 발견을 재발견할 수 있음을 보여줍니다. 그러나 탐색을 지속하는 능력과 중요한 연구 주제를 판단하는 능력은 아직 다릅니다.

OpenAI가 700개가 넘는 원고에 걸쳐 AI가 생성한 수학 성과 약 400건을 한꺼번에 공개했다. 규모에 대한 감탄과 함께, 내용을 이해하고 정확성과 독창성을 검증하는 데 수년이 걸릴 수 있다는 우려도 커지고 있다.

니콘이 Small World in Motion 대회의 기존 1위 현미경 영상이 생성형 AI 관련 규정을 위반했다며 수상을 취소했다.

Gan Jiang은 언어 모델을 재훈련하지 않고도 분말 X선 회절(XRD) 분석 기술을 개선하는 자기학습형 과학 에이전트입니다. 상 식별, 다상 분해, 물리 제약 기반 전체 패턴 모델링을 하나의 분석 흐름으로 연결합니다.

연구진은 언어 모델 에이전트가 분자 기하 최적화기 Sella를 직접 수정하도록 하고, 조기 종료와 과적합을 막는 평가 게이트로 후보를 선별했습니다. 그 결과 나온 AutoSella는 보지 못한 분자와 DFT 테스트에서도 힘 평가 횟수를 줄였습니다.

SciUtopia는 연구 주제 선택, 협업, 투고, 심사, 재투고, 연구비, 연구자 이탈을 하나의 폐쇄형 루프로 연결하는 LLM 에이전트 시뮬레이션입니다. 투고 기회 확대는 성과를 늘릴 수 있지만 심사 부담과 연구자 지속성에도 영향을 줄 수 있음을 보여줍니다.

Vals.ai 연구팀은 AI 에이전트를 활용해 자성 물질을 설계하고 탐색했으며, 새 후보 물질과 1999년에 이미 합성된 물질을 하나씩 찾아냈다. 두 물질 모두 순자화가 0이면서 반도체 밴드갭과 스핀 선택성을 가질 가능성이 있지만, 실제 소자 적용까지는 추가 검증이 필요하다.

Fold2Reason은 단백질의 3차원 구조를 검증 가능한 추론 감독 신호로 바꾸고, 생물학 밖의 과제에도 능력이 전이되는지 실험했다. 보고된 결과에 따르면 공간·그래프·과학·일반 추론 벤치마크 전반에서 개선이 나타났다.

Rules to Tools는 과학적 요구사항을 호출 가능한 실행 검사로 바꿔 LLM 코딩 에이전트의 코드 수정 과정을 평가했습니다. 일부 SciCode 과제에서는 성능이 높아졌지만, 효과는 과제별로 달랐고 CPU 사용량은 증가할 수 있었습니다.

OSWorld-Science는 분자 그리기, 병리 이미지 분석, 통계 계산, 물리 시뮬레이션 등 과학 워크플로를 컴퓨터 사용 에이전트 평가에 포함한 벤치마크입니다. 단순한 화면 조작이 아니라 생성된 과학 산출물의 검증 가능성까지 살핍니다.

자동화된 연구의 병목은 실험 실행뿐 아니라 어떤 연구 방향에 자원을 투입할지 결정하는 데 있습니다. AIM은 아이디어 정리, 방향 선택, 구현 감사, 실험 예산 배분을 하나의 탐색 과정으로 통합합니다.

EvoDuet은 웹 검색을 고정된 부가 기능이 아니라 해답 후보와 함께 개선되는 탐색 과정으로 다룬다. 여러 과학 최적화 과제에서 성능을 높였지만, 효과는 모델별로 크게 달랐다.

대규모 언어 모델은 어려운 수학 정리를 증명하는 능력을 높이고 있지만, 증명할 수 있다는 사실이 곧 흥미롭다는 뜻은 아니다. 새로운 연구는 정리의 흥미도를 정량화해 기존 수학 라이브러리와 덜 겹치는 결과를 선별하는 방법을 제시했다.

Anthropic은 Claude가 박테리오파지 DNA에서 반복 서열과 연결된 미규명 역전사효소 시스템을 찾았다고 밝혔다. ART로 명명된 이 시스템의 생물학적 기능은 아직 확인되지 않았다.

SAIR Foundation이 수학 연구용 오픈 웨이트 모델과 관련 도구를 개발하는 ‘오픈 수학 모델 계획’을 발표했다. 1단계는 증명 이해, 문헌 검토, 코드 작성, 형식화 등을 대상으로 한다.

앤트로픽이 샌프란시스코 베이 지역에서 실제 생물학 실험을 수행하는 웻랩을 운영하고 있다고 확인했다. AI 모델이 제시한 가설을 현실의 실험으로 검증하는 단계로 사업 영역을 넓히는 모습이다.

돌발 홍수는 기존 관측 시스템이 위험을 포착하기 전에 발생할 수 있다. TACLS는 GNSS 신호에서 대기 수증기 정보를 추출하고 머신러닝을 결합해 홍수 위험을 더 일찍 파악하려 한다.

HypoEvolve는 전문화된 여러 LLM 에이전트를 유전 알고리즘으로 조정해 과학 가설을 제안하고 비판하며 수정·선별한다. 암 치료제 재창출을 사례로 삼아 DepMap과 Open Targets의 외부 생물학적 근거로 가설을 평가한다.

ScienceIDE는 분산된 과학 소프트웨어를 작업 생성, 실행, 과학적 검증이 가능한 프로그래밍 환경으로 바꾸는 인프라를 제안합니다. 연구팀은 검증된 상호작용 궤적을 활용해 PhAI-IDE 모델군도 학습했습니다.

OpenAI가 밀레니엄 난제 중 하나인 나비에-스토크스 문제의 해법을 찾았다고 주장했지만, 연구 데이터와 저자 표시, 경쟁사와의 협력 문제가 논란이 되고 있습니다. 이번 사건은 AI 기업의 속도 중심 경쟁이 수학 연구 문화를 어떻게 바꾸는지 보여줍니다.

자료에 따르면 필즈상 수상자 25명이 일부 AI 기업이 수학 연구를 벤치마크 경쟁으로 지나치게 단순화하고 있다고 경고했다. 쟁점은 AI 사용 여부가 아니라 이해, 기여 귀속, 교육, 공개 협업을 어떻게 지킬 것인가이다.