NEAR AI giải quyết Putnam Bench chỉ với 111 USD, tiết kiệm gấp 250 lần so với phương án rẻ thứ hai

Đội ngũ NEAR AI vừa ra mắt Lean agent, một agent có khả năng hoàn thành mọi thử thách trong bộ benchmark toán học dành cho sinh viên đại học với chi phí cực thấp. Để giải quyết toàn bộ 672 bài toán trên Putnam Bench, agent này chỉ tiêu tốn 111 USD, giảm tới 250 lần chi phí so với phương án rẻ thứ hai hiện có. Toàn bộ mã nguồn của agent này đều là mã nguồn mở, giúp cộng đồng dễ dàng kiểm chứng độ chính xác và hiệu suất của bộ giải toán.

Formal verification vốn hướng tới việc cung cấp các chứng minh toán học để đảm bảo phần mềm hoạt động chính xác, nhưng trước đây chi phí thực hiện quá cao khiến việc áp dụng rộng rãi gặp khó khăn. Công cụ của NEAR AI được thiết kế để tối ưu chi phí, giúp việc kiểm tra này trở nên rẻ đến mức có thể thực hiện cho mỗi lần commit code trong quy trình phát triển, đưa chi phí tài chính cho việc xác thực về mức không đáng kể.