참고X
오픈AI 안전팀 핵심 관계자 퇴사
오픈AI의 기업 문화 비판 및 안전 경고와 함께 사임. 주요 연구실의 인사 변화는 업계 흐름에 영향.
원문 제목 @Polymarket: BREAKING: OpenAI safety employee resigns after 3.5 years, declaring the company’s culture is broken & warning that “the time f
원문 보기 ↗광고
중요Claude가 유명 수학 난제 '퍼콜레이션 추측' 증명한 듯…연구자들은 '왜 맞는지' 아직 분석 중
Lean 형식검증으로 AI가 증명을 생성·검증한 사례. 코드·정리 자동 검증 파이프라인에 참고할 만함.
promppy는 한국 AI 실무자를 위한 실시간 AI 뉴스 터미널입니다.
15분마다 속보·중요·팁 자동 수집 · 한국어 요약 제공