05/09

Thứ Bảy · 82 tin
JiQiZhiXin
Mô hìnhĐiểm AI 95/100

Cùng sự kiệnĐột phá: Claude hoàn thành chứng minh hình thức hóa đầu tiên cho Định lý lớn Fermat

Anthropic công bố Claude đã hoàn thành việc chuyển đổi chứng minh Định lý lớn Fermat sang mã Lean chỉ trong 11 ngày, giúp máy tính có thể kiểm chứng từng bước logic thay vì dựa vào con người.

Cùng sự kiện, tinh chọn hiển thị «Claude hoàn thành chứng minh máy tính đầu tiên cho Định lý lớn Fermat chỉ trong 11 ngày»
Rohan Paul@rohanpaul_ai
Hướng dẫnĐiểm AI 63/100

Lời khuyên từ cha đẻ Claude Code: Hãy xóa sạch cấu hình AI mỗi 6 tháng để tối ưu hiệu suất

"delete your claude.md file, delete your skills, and delete your hooks. Then see what the model does…

DịchBoris Cherny từ Anthropic gợi ý các nhà phát triển nên xóa định kỳ các tệp claude.md, skills và hooks sau mỗi 6 tháng để làm mới cách mô hình vận hành, từ đó cải thiện hiệu quả làm việc của AI.

Lauren Tan@poteto
Hướng dẫnĐiểm AI 25/100

Kỹ sư Grok kêu gọi người dùng báo lỗi bot kèm 'mật mã' đặc biệt

send me all your Grok @Bot bugs with the in-app Send Feedback! i'll get my botetos to investigate th…

DịchLauren Tan, kỹ sư tại Grok, mời gọi người dùng gửi phản hồi lỗi thông qua ứng dụng kèm cụm từ "poteto poteto poteto" để đội ngũ ưu tiên xử lý. Bạn cũng có thể yêu cầu chính bot tự gửi báo cáo này.

WeChat: Baidu AI Cloud (ERNIE)
Hướng dẫnĐiểm AI 32/100

Kính AR F2 của Janaan Tech hợp tác cùng Baidu Cloud: Tích hợp cảm biến nhịp tim và AI

Kính AR F2 không camera của Janaan Tech kết hợp với Baidu Cloud để theo dõi nhịp tim và ngữ cảnh người dùng. Hệ thống sử dụng AI để phân tích trạng thái tâm lý và cung cấp các tính năng hỗ trợ thông minh qua sự phối hợp giữa thiết bị đầu cuối và điện toán đám mây.

Xiaobei@frxiaobei
Sản phẩmĐiểm AI 41/100

Gemini ra mắt tính năng Daily Brief: Tự động tổng hợp lịch trình và công việc hàng ngày

Gemini vừa bổ sung tính năng Daily Brief, giúp người dùng tự động tóm tắt các sự kiện quan trọng, email và danh sách việc cần làm từ hệ sinh thái Google. Đây là công cụ đắc lực giúp tối ưu hóa quản lý thời gian và công việc cho người dùng Google Workspace.

Rohan Paul@rohanpaul_ai
Nghiên cứuĐiểm AI 37/100

Google và KAIST giới thiệu Declarative Attention: Tối ưu hóa 52% chi phí tính toán cho mô hình AI

New Google Deployment Paper shows instead of forcing an LLM to reread its entire context for every t…

DịchNghiên cứu mới đề xuất cơ chế Declarative Attention cho phép mô hình tự chọn lọc ngữ cảnh cần thiết, giúp giảm đáng kể việc đọc bộ nhớ KV cache mà không cần thêm bộ đánh giá bên ngoài.

IT Home
Mô hìnhĐiểm AI 51/100

Xiaomi ra mắt Xiaomi-TabLDM: Mô hình AI xử lý dữ liệu bảng mã nguồn mở đạt đỉnh bảng xếp hạng

Xiaomi giới thiệu Xiaomi-TabLDM, mô hình nền tảng cho dữ liệu bảng có khả năng thích ứng linh hoạt với nhiều tập dữ liệu khác nhau. Mô hình sử dụng kiến trúc tiên tiến và dữ liệu tổng hợp để tối ưu hóa dự báo, hiện đã được công khai mã nguồn và trọng số.

IT Home
Sản phẩmĐiểm AI 42/100

Microsoft ra mắt Copilot Canvas cho Excel: Biến dữ liệu thành bảng điều khiển tương tác

Microsoft sắp cập nhật tính năng Copilot Canvas cho Excel, cho phép người dùng tạo các bảng điều khiển trực quan từ dữ liệu và chỉnh sửa bằng ngôn ngữ tự nhiên. Các biểu đồ này sẽ tự động cập nhật khi dữ liệu gốc thay đổi, dự kiến hoàn tất triển khai vào đầu tháng 10.

Ethan Mollick@emollick
Hướng dẫnĐiểm AI 28/100

Ethan Mollick biến Fortnite thành game phiêu lưu văn bản bằng Astra

When I posted the action-adventure version of Zork on BlueSky, someone suggested using Astra to turn…

DịchSau khi thử nghiệm với Zork, Ethan Mollick đã sử dụng công cụ Astra để chuyển đổi Fortnite thành một trò chơi phiêu lưu văn bản tương tác và chia sẻ công khai cho người dùng trải nghiệm.

Ethan Mollick@emollick
Hướng dẫnĐiểm AI 45/100

Ethan Mollick chỉ trích cách thay đổi tiêu chuẩn đánh giá của Artificial Analysis v4.2

The whole idea of indexes that you don't change all the criteria in ways that hugely change the rank…

DịchEthan Mollick cho rằng các chỉ số đánh giá AI không nên thay đổi tiêu chuẩn đột ngột làm xáo trộn bảng xếp hạng, đồng thời phê bình việc vẫn giữ lại phương pháp đo lường GDPval-AA thiếu chính xác.

IT Home
Mô hìnhĐiểm AI 83/100

Tinh chọnSam Altman xin lỗi vì sự cố ra mắt GPT-6 Astra, hiện đã mở cho người dùng Plus và Pro

Sau khi gây tranh cãi vì ưu tiên khách hàng doanh nghiệp hơn người dùng trả phí, OpenAI đã chính thức mở quyền truy cập GPT-6 Astra cho người dùng Plus/Pro và đưa ra cơ chế bồi thường bằng cách hoàn lại hạn mức sử dụng.

Diễn biến sự kiện · 2 bài →Thêm 2 nguồn khác đưa tinZnews Công nghệThe Verge: AI

Vì sao đáng đọc: Bài viết tổng hợp diễn biến sự cố ra mắt GPT-6 Astra, phản ứng của người dùng và chính sách bồi thường, giúp hiểu rõ các tranh cãi về thứ tự ưu tiên khi phát hành mô hình AI.
Tibo@thsottiaux
Sản phẩmĐiểm AI 55/100

Astra ra mắt sớm: Người dùng Plus, Pro và Business được reset hạn mức sử dụng ngay hôm nay

Because we are beyond happy to have Astra rolled out today ahead of schedule and you have been super…

DịchAstra chính thức trình làng sớm hơn dự kiến. Nhà phát triển xác nhận toàn bộ người dùng trả phí sẽ được reset hạn mức sử dụng (banked reset) ngay trong ngày, áp dụng cho cả tài khoản đăng ký mới trước 8 giờ tối (giờ PT).

Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Mô hìnhĐiểm AI 80/100

Cùng sự kiệnGPT-6 Astra của OpenAI chính thức có mặt trên OpenRouter với giá từ 10 USD/triệu token

Mô hình flagship GPT-6 Astra vừa được đưa lên nền tảng OpenRouter với mức giá 10 USD cho đầu vào và 50 USD cho đầu ra mỗi triệu token, hỗ trợ cửa sổ ngữ cảnh lên tới 1,05 triệu token.

Cùng sự kiện, tinh chọn hiển thị «OpenAI ra mắt GPT-6 Astra cho người dùng Pro, Enterprise và Business Premium»
VnExpress Khoa học Công nghệ
NgànhĐiểm AI 95/100

Tinh chọnVì sao Nvidia chi gần 13 tỷ USD để thâu tóm Hugging Face?

Thương vụ tỷ đô này giúp Nvidia củng cố vị thế thống trị trong ngành công nghiệp AI bằng cách kiểm soát nền tảng chia sẻ mô hình mã nguồn mở lớn nhất thế giới.


Vì sao đáng đọc: Đây là tin tức chấn động về M&A trong ngành AI, ảnh hưởng trực tiếp đến hệ sinh thái phát triển mô hình toàn cầu, có giá trị thông tin rất cao.
Kim@kimmonismus
Hướng dẫnĐiểm AI 22/100

Cộng đồng mạng ca ngợi Astra: Bản phát hành thành công nhất của OpenAI?

Crazy, I haven't seen a single negative post about Astra. Not here, not on Reddit. Everyone's prais…

DịchNgười dùng trên X và Reddit đồng loạt dành lời khen cho Astra nhờ tốc độ xử lý vượt trội, hiệu suất token tối ưu và khả năng giải quyết tác vụ thông minh, đánh giá đây là sản phẩm ấn tượng nhất từ trước đến nay của OpenAI.

Kim@kimmonismus
Nghiên cứuĐiểm AI 76/100

Cùng sự kiệnClaude lập kỳ tích: Hoàn thành chứng minh hình thức đầu tiên cho Định lý lớn Fermat

Respect where respect is due: Anthropic says Claude completed the first fully computer-checked proof…

DịchAnthropic công bố Claude đã hoàn tất chứng minh hình thức cho Định lý lớn Fermat sau 11 ngày làm việc, tạo ra hơn 13 triệu dòng mã Lean – quy mô chứng minh lớn nhất từ trước đến nay.

Cùng sự kiện, tinh chọn hiển thị «Claude hoàn thành chứng minh máy tính đầu tiên cho Định lý lớn Fermat chỉ trong 11 ngày»
cb_doge@cb_doge
Sản phẩmĐiểm AI 52/100

Grok AI chính thức đổ bộ mọi nền tảng: iPad, macOS, Windows, iPhone và Android

Your @bot teammates can now work wherever you are. Give them tasks from your computer, phone or tabl…

DịchGrok AI đã có mặt trên tất cả các nền tảng phổ biến, cho phép người dùng đồng bộ hóa công việc và tiếp tục các cuộc hội thoại liền mạch giữa máy tính, điện thoại và máy tính bảng.

Perplexity@perplexity_ai
Sản phẩmĐiểm AI 57/100

Perplexity tích hợp GPT-6 Astra cho người dùng Pro và Max

GPT-6 Astra is now available in Perplexity Computer for Pro and Max subscribers.

DịchPerplexity chính thức đưa mô hình GPT-6 Astra lên nền tảng, mang lại hiệu suất vượt trội với điểm số 0.682 trong các bài kiểm tra WANDR, tối ưu hơn so với các đối thủ như Fable 5.1 và Opus 5.

Thêm 1 nguồn khác đưa tinX: Aravind Srinivas (Perplexity CEO) (@AravSrinivas)
Tibo@thsottiaux
Sản phẩmĐiểm AI 58/100

Astra chính thức mở rộng cho toàn bộ người dùng gói Plus và Business

OK nevermind, the team and Astra did a good job and our systems are more scalable than we anticipate…

DịchTibo thông báo Astra đã sẵn sàng phục vụ mọi người dùng Plus và Business nhờ hiệu suất hệ thống vượt mong đợi, đồng thời khuyến khích người dùng chia sẻ phản hồi để cải thiện trải nghiệm.

Đã tải 40 tin

40 tin mỗi trang, cuộn để tải tiếp · lọc và sắp xếp ngay trên máy chủ (59 ms) · bộ lọc nằm trong đường dẫn nên chia sẻ link là giữ nguyên kết quả

Toàn bộ tin AI · Thẻ “ai” — Trang 49 | AIHOT.vn