Loading feed…
Hacker News0 Hot0 comments17 min read
Why the Legendary Erdős Problems Are Falling to AI
AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining what makes the Erdős problems unique, mathematicians are trying to understand how AI might change the rest of math.
Source: https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803. 8sync News only summarizes and links out; content copyright belongs to the authors and original sources.
Recommended for you
Towards Data Science1 Hot24 minAI
How a Frontier Model Gets Built, Read from the Kimi K3 Report
Báo cáo kỹ thuật 47 trang của Moonshot AI về Kimi K3 tiết lộ mô hình 2,8 nghìn tỷ tham số (mô hình hỗn hợp chuyên gia mở) sử dụng kiến trúc kết hợp giữa linear attention và full attention, cùng routing thưa thớt qua 896 chuyên gia. Phần lớn công sức tập trung vào xây dựng môi trường học tăng cường có thưởng có thể xác minh, pipeline sinh tác vụ dựa trên biểu đồ tri thức, đào tạo 9 mô hình chuyên biệt rồi distilled thành một, và tối ưu stack phục vụ với prefix caching, cache-aware routing, quantization. Báo cáo cũng đề cập đến rủi ro bảo mật từ trọng số mở, hướng dẫn phát triển ứng dụng tập trung vào đánh giá, agentic engineering dài hạn và kinh tế phục vụ thay vì kiến trúc mới lạ.
Lập trình viên nên đọc bài này để hiểu cách xây dựng mô hình AI tiên phong không chỉ là về kiến trúc mà còn là về kỹ thuật thực hiện chi tiết—từ thiết kế môi trường RL, kiến trúc task, đến tối ưu hóa serving—để tránh sai lầm và tối đa hóa hiệu quả trong ứng dụng thực tế.
