참고GeekNews
OpenAI, 유체역학 증명과 함께 'Lean 4' 형식 증명 공개
수학적 추론의 신뢰성을 높이기 위해 AI가 생성한 결과물에 형식 증명(Formal Proof)을 결합하는 최신 경향을 보여줌.
원문 제목 OpenAI의 Navier-Stokes 발표에 포함된 Lean 4 형식 증명
원문 보기 ↗광고
중요OpenAI, 말하면서 듣는 실시간 음성 모델 'GPT-Live-1' 공개…Yelp 예약 통화에 적용
발화 중 사용자 끼어들기·주제 변경 처리 가능. 콜센터·예약 음성봇 구축 시 검토 대상.
promppy는 한국 AI 실무자를 위한 실시간 AI 뉴스 터미널입니다.
15분마다 속보·중요·팁 자동 수집 · 한국어 요약 제공