HỆ THỐNG AI CẢI TIẾN CHO THẤY TRIỂN VỌNG TRONG VIỆC XÁC MINH PHẦN MỀM KHÔNG CÓ LỖI
- Baldur sử dụng mô hình ngôn ngữ lớn (LLMs) để tự động tạo ra chứng minh toán học, đánh dấu bước tiến lớn trong tự động hóa việc kiểm tra độ chính xác của mã phần mềm.
- Sản phẩm này hoạt động cùng với các công cụ chứng minh định lý để giảm thiểu tỷ lệ sai sót trong khi kiểm định mã.
- Baldur, khi kết hợp với công cụ Thor, đạt được độ chính xác ấn tượng là 65.7% trong việc tạo ra chứng minh toán học.
- Dự án được phát triển qua nhiều tháng với sự hợp tác từ Google và sự dẫn dắt của Emily First, cùng với sự hỗ trợ từ DARPA và NSF.
- Baldur cải thiện quy trình sửa lỗi bằng cách học từ những sai sót được máy chứng minh định lý phát hiện, tăng độ chính xác và độ tin cậy.
- Mặc dù còn có không gian để cải thiện, Baldur mở ra hướng tiếp cận mới cho việc kiểm định phần mềm một cách chính thức, hỗ trợ các kỹ sư phần mềm với khả năng tự động tạo ra chứng minh toán học.
📌Baldur sử dụng mô hình ngôn ngữ lớn để tự động tạo ra chứng minh toán học, đánh dấu bước tiến lớn trong tự động hóa việc kiểm tra độ chính xác của mã phần mềm. Phát triển Baldur là một sự kết hợp của nỗ lực cộng đồng và công nghệ tiên tiến, hứa hẹn một tương lai mà phần mềm không còn lỗi. Với tỷ lệ thành công đã được cải thiện từ 57% lên 65,7% khi kết hợp với Thor, Baldur không chỉ thể hiện khả năng mà còn tạo ra tiền đề cho việc kiểm định tự động trong tương lai. Sự hợp tác với các tổ chức như Google, DARPA và NSF càng làm tăng giá trị và tiềm năng áp dụng của Baldur trong ngành công nghiệp phần mềm, nơi mà độ phức tạp của hệ thống ngày càng tăng cao.
Thảo luận
Follow Us
Tin phổ biến
TAG
AI giáo dục
AI sinh-y-duoc
AI nghệ thuật
AI pháp lý-quản trị-chủ quyền
AI models
AI xã hội
AI prompts
AI kiến thức-khóa học
AI video
AI công nghiệp-lĩnh vực
AI edge
AI viễn thông
AI tools
AI chính phủ
AI GPT Store
AI cybersecurity
AI so sánh
AI đạo đức
AI tips
AI market
AI relations
AI quân sự
AI an toàn-an ninh-techwar
AI việc làm
AGI
AI doanh nghiệp
AI No-Low Code
OpenAI ChatGPT
AI môi trường-năng lượng
AI skill-talent
AI & công nghệ khác
AI nghiên cứu
AI chips-hardware-compute
AI vs con người
AI coding assistant
AI mở-nguồn mở
AI năng suất
AI startup-M&A
AI tương lai
AI báo chí
AI data
AI bản quyền
AI PC
AI riêng tư
AI deepfake-ảo giác-ANTT
AI ảnh-video-music-âm thanh
AI detect-test
AI minh bạch
AI nhỏ
AI hồi sinh
AI kiếm tiền
AI nông nghiệp-thực phẩm
AI ngân hàng-tài chính
AI giao thông
AI marketing-kinh doanh
AI smartphone
AI robotics-auto-agents
AI consumer devices
AI ecosystem
AI manufacturing
AI benchmark
Telecom
AI thành công-thất bại
National AI links
Digital
Semi-Cloud-DC-Green
Cybersecurity
Digital Legal
HTS