참고Reddit
수학 난제 해결: Claude(클로드)가 증명한 11개 정사각형 최적 패킹
AI 모델이 형식 검증 언어(Lean)를 활용해 복잡한 수학적 최적화 문제를 증명한 사례.
원문 제목 Astra and Claude prove the best known square packing for 11 squares is optimal (formalized in Lean)
원문 보기 ↗●OpenAI(오픈AI), 미공개 내부 프런티어 모델이 도출한 수학 연구 결과 대거 공개●Mitchell Hashimoto, 프로그램 상태를 터미널에 알리는 범용 표준 제안●OpenAI(오픈AI), EU에서 ChatGPT(챗GPT) 출력물에 기본 워터마크 적용—EU 외 지역은 기본 꺼짐●OpenAI(오픈AI), 새로 푼 수학 난제 수백 건 GitHub(깃허브) 대량 공개 예정●AI 클라우드 스타트업 Lambda, IPO 앞두고 40억 달러 유치…145억 달러 밸류●미 국방부, Claude(클로드) 사용 중단…대량 감시·자율무기 이견이 발단●OpenAI(오픈AI), API 사용 티어 5단계→3단계로 개편…최상위 진입 문턱 절반으로●구글, 멀티모달 통합 임베딩 모델 'EmbeddingGemma 2' 공개 (Apache 2.0)
광고
중요OpenAI(오픈AI), 미공개 내부 프런티어 모델이 도출한 수학 연구 결과 대거 공개
IAS 자문그룹 검증 거친 결과물로, 추론 특화 모델의 연구 보조 활용 가능성을 가늠할 기준점.
promppy는 한국 AI 실무자를 위한 실시간 AI 뉴스 터미널입니다.
15분마다 속보·중요·팁 자동 수집 · 한국어 요약 제공