Mike Dodds chia sẻ ghi chú về việc xây dựng các công cụ hình thức với AI agent
Bắt đầu từ đây
Mike Dodds của Oath Technologies đã chia sẻ ghi chú và slide từ nhiều tháng xây dựng ngữ nghĩa, trình xác minh và chuỗi công cụ chứng minh, trong đó AI agent đảm nhận phần lớn công việc. Tài liệu đưa ra lời khuyên mang tính thăm dò về việc dùng AI để xây dựng công cụ hình thức, dựa trên trải nghiệm thực tế đó. Các ghi chú không khẳng định đây là phương pháp đã được chứng minh; Dodds trình bày hướng dẫn này như bước đầu, rút ra từ công việc của chính ông chứ không phải từ một kết quả đã được kiểm chứng.
Tạo từ các bài viết · cập nhật 1 giờ trước
Dòng thời gian bài viết
Theo các bài viết để thấy sự việc từ nhiều phía.
- Hacker News · AILời khuyên dự kiến về việc xây dựng các công cụ hình thức với AI Agent
Mike Dodds của Oath Technologies chia sẻ ghi chú từ nhiều tháng xây dựng ngữ nghĩa, trình xác minh và chuỗi công cụ chứng minh với phần lớn công việc do AI Agent đảm nhận. Bài nói đưa ra lời khuyên dự kiến về việc dùng AI để xây dựng các công cụ hình thức, dựa trên trải nghiệm thực tế đó.
Độ nóng của sự việc này
Chưa đủ quan sát liên tục để vẽ xu hướng.