오픈AI가 차기 모델 Astra로 10년 넘게 막혀 있던 수학 문제 10개에서 새 결과를 내고 Lean 증명 파일을 함께 공개했고, 더 인포메이션은 샘 알트먼이 워싱턴에서 정책 입안자와 규제당국자에게 Astra를 시연했다고 보도했습니다. 알리바바 Qwen은 의료 용어 재현율 95.36%를 내세운 음성 인식 모델 Qwen-Audio-3.0-ASR-Flash를 내놨습니다.
AI 인사이트
의료 95.36%, 산업 93.24%라는 재현율은 Qwen이 내부 테스트로 잰 값이라, 실제 현장 녹음에서 같은 정확도가 나오는지는 아직 확인되지 않았습니다.
AI 인사이트
오픈AI는 Astra를 제품으로 내놓기 전에 워싱턴의 정책 입안자와 규제당국자에게 먼저 시연해, 성능 소개와 정책 설명을 한 번에 진행했습니다.
AI 인사이트
음성 진입점이 화면에 상주하면 작업을 멈추지 않고 지시를 넣게 됩니다.
AI 인사이트
형식 증명 파일이 함께 나오면 컴퓨터가 증명 단계를 하나씩 검사하므로, 발표의 진위를 논쟁 없이 확인할 수 있습니다.
오픈AI는 249쪽 논문과 함께 열 건 모두에 Lean 인증서를 붙였지만, 몇 문제를 시도해 몇 번 실패했는지는 밝히지 않았습니다. 열 건이 어떤 문제였고 어떻게 확인됐는지는 〈오픈AI 미출시 모델이 27년 난제를 풀고 증명마다 기계 검증서를 붙였습니다〉에 정리돼 있습니다.
