Anthropic은 Claude가 기존 코드가 정확하다는 수학적 증명을 생성하도록 하여 123개 오픈 소스 라이브러리에 대한 약 1억 8천만 줄의 증명 코드를 생성했습니다. 그 과정에서 모델은 수년간의 테스트에서 버그를 발견했습니다…
Open-weights는 폐쇄된 가격 책정에 대한 압박을 풀고 액세스를 확대하여 전체 생태계에 대한 구축-구매 수학 방식을 변경합니다.
요약은 정보 제공 목적으로만 집계되었습니다. 전체 내용을 보려면 소스 링크를 따르세요. 데모 항목은 예시입니다.