Ý TƯỞNG, QUYẾT ĐỊNH & BÀI HỌC

Bài viết

Ghi chép về AI, kiến trúc và xây dựng sản phẩm từ thực tế.

2 bài viết

04 Aug 2026 · 9 phút đọc

ai-agents

OpenAI Astra Giải 10 Bài Toán Mở — Và Bài Học Thực Sự Là Về Sự Tin Tưởng

Astra phá vỡ một conjecture của Erdős từ thập kỷ trước và công bố Lean-verified proofs trên GitHub với chi phí $2,000. Fields Medalist Timothy Gowers gọi một proof xứng đáng đăng Annals. Đột phá không phải là AI giải được toán khó — mà là cơ chế: machine-verifiable output như chuẩn mới để tin tưởng công việc của AI.

Đọc tiếp