5 개 뉴스
DeepMind와 MIT CSAIL의 20명 연구자로 구성된 팀이 Lean 정리 증명기에서 LLM의 자율적 형식 증명 생성에 관한 최초의 대규모 평가를 발표했습니다. 에이전트는 LLM 생성과 Lean 기호 검증을 결합하여 353개의 개방 Erdős 문제 중 9개를 자율적으로 해결하고 492개의 OEIS 추측 중 44개를 증명했습니다.
많은 사용자가 창의적 작업에 AI를 사용하면 모두 비슷한 제안을 받게 됩니다——「아이디어 다양성 붕괴」. 연구자들이 과잉 집중 계수 Δ와 다양성 비율 ρ를 사용한 사전 프로토콜을 도입했습니다. 테스트된 세 개의 프런티어 모델 모두 단편 소설, 마케팅 슬로건, 대안적 용도 작업에서 인간과의 동등 임계값을 하회했습니다.
Jiaxian Yan 연구팀은 2026년 4월 23일 BioMiner를 발표했습니다——과학 문헌에서 단백질-리간드 생물활성 데이터를 자동 추출하는 멀티모달 AI 시스템입니다. 텍스트, 표, 분자 구조를 처리하며 새로운 벤치마크 BioVista(500편 논문 16,457개 항목)에서 F1 0.32를 달성하고, 시연 애플리케이션에서 11,683편 논문으로부터 82,262개 데이터를 추출했습니다.
Google Photos에 자동 프레임 기능이 추가되었습니다. 이 기능은 2D 사진을 3D 장면으로 해석하고 기하학적 구조와 카메라 매개변수를 평가한 다음, 잠재적 확산 모델을 사용하여 원래 화면 밖의 내용을 생성하여 대안적인 구도를 제공합니다.
연구자들이 Camera Artist를 발표했습니다. 실제 영화 제작 워크플로를 모델링하여 내러티브 영상을 생성하는 다중 에이전트 시스템입니다. 감독, 촬영감독, 편집자를 시뮬레이션하는 전문 AI 에이전트를 조율하여 일관된 시각적 스토리텔링을 실현합니다.