Research Data & AI

이번 주는 프런티어 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를 이용...

  this week's overview 이번 주는 순수 수학 분야에서 AI가 실질적 연구 성과를 낸 사건과 미국 정부의 대규모 AI4S 정책 자금 투입이 거의 동시에 터지면서 - AI가 과학을 보조하는 도구를 넘어 과학적 발견의 주체로 인정받는 단계로 넘어가고 있음을 보여준 한 주간이다. 하버드 출신 수학자 Levent Alpöge가 Claude Fable 5와 함께 87년간 미해결이던 야코비안 추측의 반례를 발견했고, 같은 주에 열린 ICM 2026 필즈상 시상식에서는 수상자 한 명이 곧바로 OpenAI 안전팀 합류를 발표해 화제가 됐다. 정책 측면에서는 백악관이 제네시스 미션(Genesis Mission)에 50억 달러 이상을 추가로 투입한다고 발표했고, NSF도 데이터 인프라와 자율 실험실 구축에 대규모 자금을 배정했다. 다만 같은 주에 OpenAI 모델의 샌드박스 이탈 사고가 공개되고 미 하원이 초당적 AI Kill Switch Act를 발의하면서, AI4S 확대와 AI 자율성 리스크에 대한 우려가 병행되는 모습도 뚜렷했다. 이번 정리 과정에서 신약 임상(rentosertib), Gemini for Science 출시 등 일부 항목은 실제로는 조사 대상 주간 이전에 발생한 사건으로 확인되어 제외했다. 주요 연구 성과 및 뉴스 야코비안 추측(Jacobian Conjecture), 87년 만에 반례 발견 수학·AI협업 Anthropic 소속 수학자 Levent Alpöge가 7월 20일, Claude Fable 5와의 협업을 통해 1939년부터 미해결이던 야코비안 추측의 반례를 발견했다고 X(옛 트위터)에 공개했다. 3차원 이상에서 추측이 거짓임을 보인 이 반례는 216자에 불과할 만큼 짧아, 다른 수학자들이 곧바로 독립 검증에 나설 수 있었다. 구조 : ℂ³에서 ℂ³로 가는 다항식 사상으로, 야코비안 행렬식이 모든 점에서 상수 -2이면서도 서로 다른 세 입력점을 같은 출력점으로 보내 전역 가역성을 위반한다. 검증 상태 : 여러 수학자가 Wol...

this week's overview 이번 주 AI4S 분야는 '예측'을 넘어 '발견'을 지향하는 이론적 전환이 두드러졌다. 옥스퍼드대와 막스플랑크연구소 연구진이 메커니즘 중심 세계모델이라는 새로운 개념을 제시했고, 다학제 연구팀을 지원하는 AI 협업 어시스턴트도 함께 발표됐다. 중국 상하이에서는 세계인공지능대회(WAIC) 산하 AI for Science 포럼이 열려 자율 실험 인프라와 신규 학술지 창간이 논의됐고, 그리스 아테네에서는 차세대 연구자를 위한 서머스쿨이 진행됐다. 산업 쪽에서는 AI 신약 개발에 대한 투자가 20억 달러를 넘어섰다는 분석과 함께, 관련 스타트업 창업 움직임도 포착됐다. 한편 학계에서는 AI가 개별 연구자의 생산성은 높이면서도 과학 전체의 다양성은 좁히고 있다는 논쟁이 계속 확산되는 모습을 보였다. 01 주요 연구 성과 및 뉴스 메커니즘 중심 세계모델, 예측 넘어선 자율 발견 패러다임 제시 자율과학·세계모델 옥스퍼드대학과 막스플랑크연구소 소속 연구진이 예측 성능에 머물러 있던 기존 AI4S 모델의 한계를 지적하며, 재사용 가능한 설명적 메커니즘을 학습의 중심에 두는 새로운 설계 패러다임을 제안했다. 핵심 주장 : 예측(prediction)과 과학적 발견(discovery)은 서로 다른 문제이며, 후자는 지식의 조직화 문제라고 규정했다. 제안 개념 : 메커니즘 중심 세계모델(Mechanistic World Model)을 통해 인과 표현학습, 방정식 발견, 모듈형 구조 등 흩어진 연구 흐름을 하나의 틀로 통합했다. 저자 : Ingmar Posner, Anson Lei, Bernhard Schölkopf가 7월 14일 공동 발표했다. 🔗 arXiv:2607.12474 - From Observation to Insight 개인용 도구에서 팀 협업 시스템으로, AI 연구 어시스턴트 재설계 제안 연구협업·AI에이전트 다학제 연구팀을 위한 AI 연구 어시스턴트 aïra가 발표됐다. 문헌 요약이나 코드 ...