과학 X/Twitter
AI 최초의 자율 수학 증명 — OpenAI 모델, 80년 에르되시 추측 반박
OpenAI의 범용 추론 모델이 1946년 폴 에르되시가 제기한 이산 기하학의 핵심 추측을 자율적으로 반증했다. AI가 수학의 주요 미해결 문제를 독립적으로 해결한 것은 역사상 처음이며, 다수의 수학자들이 독립적으로 검증했다.
1분 소요 42 조회
카테고리
과학
Insights의 과학 기사
과학 X/Twitter
DeepMind, 과학 연구 가속을 위한 'Gemini for Science' 공개
Google DeepMind가 Google I/O 2026에서 'Gemini for Science'를 공개했다. 과학자들이 가설 탐구, 연구 검증, 문헌 분석을 AI로 가속하도록 돕는 실험적 도구 모음이다.
1분 소요 34 조회
과학
구글 딥마인드 AI 수학 공동 연구자, 수십 년 묵은 램지 수 5개 한계 갱신
구글 딥마인드가 제미나이 기반 멀티 에이전트 시스템 'AI 수학 공동 연구자'를 공개해 FrontierMath Tier 4에서 모든 AI 중 최고인 48%를 기록했다. AlphaEvolve는 11~20년간 유지된 램지 수(Ramsey number) 5개의 하한선 갱신에 성공했다.
1분 소요 43 조회
과학 레딧
FDA, AI로 신약 임상시험 기간 최대 40% 단축 — 인과 AI 파일럿 가동
미국 식품의약국(FDA)이 클라우드 기반 인과 AI(Causal AI)를 활용해 의약품 및 의료기기 임상시험 기간을 최대 40% 단축하는 파일럿 프로그램을 시작했다. FDA 최고AI책임자 제레미 월시는 규제 승인 속도도 빨라질 것이라고 밝혔다.
1분 소요 43 조회
과학 레딧
데미스 하사비스의 Isomorphic Labs, AI 신약개발에 2조 8천억원 투자 유치
딥마인드 창업자 데미스 하사비스가 이끄는 AI 신약개발 기업 Isomorphic Labs가 21억 달러(약 2조 8천억 원) 규모의 시리즈 B 투자 유치에 성공했다. Thrive Capital 주도, Alphabet·GV·MGX·Temasek 등이 참여했다.
1분 소요 43 조회
과학 해커뉴스
뇌졸중 재활 약물 DDL-920 첫 발견 — UCLA 연구팀
UCLA 연구팀이 마우스 실험에서 물리적 재활 치료 효과를 재현한 최초의 약물 DDL-920을 발견했다. Nature Communications에 발표된 이번 연구는 뇌졸중 회복 의학의 패러다임 전환 가능성을 제시한다.
1분 소요 38 조회
과학 해커뉴스
Dirtyfrag: 전 Linux 배포판에 통용되는 로컬 권한 상승 취약점 공개
패치와 CVE가 없는 상태에서 공개된 Linux 커널 취약점 Dirtyfrag는 비권한 사용자가 모든 주요 배포판에서 root를 획득할 수 있게 한다.
1분 소요 41 조회
과학 해커뉴스
ShinyHunters, Canvas LMS 재공격 — 9,000개 학교 데이터 유출 협박
ShinyHunters 그룹이 Canvas LMS를 운영하는 Instructure를 두 번째로 침해하며 2억 3,100만 명의 데이터를 탈취했다고 주장하고 5월 12일까지 공개를 협박했다.
1분 소요 38 조회
과학 해커뉴스
인간 뉴런으로 만든 바이오컴퓨터가 던지는 윤리적 공포
실험실에서 배양한 인간 뉴런 20만 개로 DOOM을 플레이하는 바이오컴퓨터가 등장했다. LLM과 달리 인간 신경세포를 활용하는 이 시스템은 '의식'에 대한 불편한 질문을 제기한다.
1분 소요 31 조회
과학 레딧
IBM MAMMAL, AlphaFold 3 넘어 9개 생물학 벤치마크 석권
IBM Research가 단백질·분자·유전자 데이터를 통합하는 멀티모달 모델 MAMMAL을 발표했다. 11개 생물학 벤치마크 중 9개에서 최고 성능을 달성하며 일부 항목에서 AlphaFold 3을 앞질렀다.
1분 소요 34 조회
과학
하버드 연구: OpenAI o1이 응급실 의사보다 높은 진단 정확도—Science 논문
하버드 의대와 Beth Israel Deaconess가 Science에 게재한 연구에서 OpenAI o1 모델이 실제 응급실 케이스 76건 중 67%를 정확히 진단했다. 두 내과 전문의의 정확도(55%, 50%)를 웃도는 결과다.
1분 소요 40 조회
과학 레딧
AI, 응급실 의사 진단 정확도 상회 — Science 게재 연구, 협력적 돌봄 모델 제안
저명 학술지 Science에 게재된 새 연구에 따르면 최신 LLM이 실제 응급실 데이터와 수백 명의 의사 비교 실험에서 진단, 응급 분류, 다음 처치 결정 등 임상 과제 전반에서 인간 의사와 동등하거나 상회하는 성과를 보였다. 연구자들은 AI가 의사를 대체하는 것이 아니라 협력적 돌봄 모델로 통합돼야 한다고 강조했다.
1분 소요 43 조회