#bend-2와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
AI 에이전트가 작성한 코드가 사람이 명시한 규칙(LAWS.bend)을 위반하면 컴파일이 실패하도록 설계된 형식 증명 언어 Bend 2가 공개됐다.
AI Briefing