Peter Steinberger@steipetekeep thinking
DịchViệc Anthropic gắn nhãn 'tiếp tục suy nghĩ' (keep thinking) đang trở thành tâm điểm tranh luận trong cộng đồng công nghệ, xoay quanh vấn đề quyền riêng tư và khả năng trích xuất các bước suy luận ẩn của mô hình AI.
Kim@kimmonismusIt's crazy how solving the Riemann Hypothesis via AI used to be a running gag, and now it's actually…
DịchOpenAI đang thử nghiệm các mô hình nội bộ thế hệ mới nhằm giải quyết những bài toán hóc búa nhất của toán học như Giả thuyết Riemann và P vs NP.
StochBench là bộ tiêu chuẩn mới gồm 450 bài toán quá trình ngẫu nhiên trình độ cao, giúp đánh giá khả năng chứng minh định lý toán học của AI trong các lĩnh vực chuyên biệt thay vì chỉ tập trung vào toán thi đấu.
Simon Willison phân tích sự kiện OpenAI dùng mô hình chưa công bố để giải bài toán Navier-Stokes trong 88 giờ, sau đó xác thực bằng Lean qua GPT-6 Astra, làm dấy lên nhiều tranh luận về tính minh bạch.
Cùng sự kiện, tinh chọn hiển thị «OpenAI công bố lời giải cho bài toán thiên niên kỷ Navier-Stokes bằng AI»AI đưa ra đáp án chính xác cho bài toán hóc búa, nhưng Terence Tao cho rằng quy trình tư duy và cách tiếp cận vấn đề mới là điều đáng bàn hơn cả.
Rohan Paul@rohanpaul_aiAnother serious win for AI in mathematics: Claude formalized Fermat's Last Theorem in 11 days. AI m…
DịchAnthropic công bố Claude đã hoàn thành việc chuyển đổi chứng minh định lý Fermat của Wiles sang mã Lean thông qua hệ thống đa tác nhân, đánh dấu bước tiến lớn trong toán học máy tính.
Nghiên cứu giới thiệu khung 5 cấp độ (L0-L4) giúp các mô hình suy luận lớn (LRM) tự tiến hóa mà không cần sự can thiệp của con người, thông qua việc tự động hóa quá trình xác thực và tạo lộ trình học tập.
Kỷ niệm 10 năm phát triển, AMD chính thức phát hành ROCm 10.0 với những cải tiến trọng tâm về hiệu suất AI suy luận, tối ưu hóa công cụ lập trình và phân tích hiệu năng trên các nền tảng Instinct, Radeon và Ryzen AI.
Kim@kimmonismusThe new Claude models show quite good results, even on Medium reasoning. (Opus 5.1?) After Thariq a…
DịchCác mô hình Claude mới đang cho thấy hiệu suất suy luận mạnh mẽ, đặc biệt trong các tác vụ 3D phức tạp. Dù tiêu tốn nhiều token tư duy, đây được dự đoán là bản cập nhật Opus 5.1 sắp ra mắt.
Các mô hình AI của OpenAI đang tạo ra bước ngoặt lịch sử khi giải quyết thành công hàng loạt bài toán hóc búa của huyền thoại toán học Paul Erdős, mở ra kỷ nguyên mới cho nghiên cứu toán học.