이 태그가 붙은 글 2편입니다. 전체 태그 보기
구글 딥마인드가 LLM 에이전트와 Lean 정리증명기를 결합해 핵융합, 광화학, 신약대사 시뮬레이션용 양자 프로그램을 찾아내고 정확성까지 자동으로 검증하는 연구를 공개했습니다.
Anthropic이 Claude Mythos 5가 최소한의 인간 개입으로 양자 회로를 설계해 8개 과제 중 7개에서 기존 최고 설계를 넘어섰다고 공개했습니다.