TAOGiá TAO(Bittensor)

Chuyên gia Toán học Tao Trạch Hiên và Vương Hồng nhấn mạnh: Đối mặt với sự bùng nổ các chứng minh do AI tạo ra, cộng đồng toán học cần học cách "tiêu hóa" chúng, chứ không chỉ đơn thuần tiếp nhận. Tao Trạch Hiên dành nhiều ngày để phân tích, tinh chỉnh và tái cấu trúc một chứng minh có sự tham gia của AI cho Giả thuyết Sendov tồn tại 67 năm. Ông chỉ ra rằng một công trình toán học hoàn chỉnh không dừng lại ở việc được chứng minh, mà còn cần được kiểm chứng, giải thích rõ ràng, xuất bản và tích hợp vào hệ thống kiến thức hiện có. Việc "tiêu hóa" này giúp đơn giản hóa lập luận, mở rộng kết quả (như mở rộng sang Giả thuyết Phelps–Rodriguez) và làm cho tri thức thực sự khả dụng. Ông kêu gọi thay đổi văn hóa nghiên cứu, coi trọng công việc diễn giải và hợp nhất chứng minh, đồng thời giới thiệu kho lưu trữ "Palomar" để đăng ký, theo dõi và hợp tác trên các kết quả đã được xác minh, nhằm đảm bảo quyền ưu tiên dựa trên một bộ thành tựu hoàn chỉnh chứ không chỉ là thời điểm công bố đầu tiên.

CEO Tim Cook gần nghỉ hưu đã công bố một bước đột phá lớn cho Mac: chip M6 sản xuất trên tiến trình 2nm đầu tiên và chip M5 Ultra mạnh mẽ nhất từ trước đến nay với kiến trúc 4 lõi (quad-die) lần đầu tiên xuất hiện. M6 mang lại hiệu suất AI cao hơn tới 4 lần trên Mac mini, trong khi M5 Ultra trong Mac Studio cung cấp tới 36 lõi CPU, 80 lõi GPU và bộ nhớ thống nhất lên đến 512GB, hiệu suất AI đạt gấp 4.3 lần M3 Ultra. Apple đang định vị lại Mac, đặc biệt là Mac mini, như các thiết bị chạy Agent AI liên tục (always-on). Tuy nhiên, nhu cầu AI đẩy giá bán lên cao (Mac mini M6 đắt hơn 55% so với M4) và gây thiếu hụt nguồn cung phiên bản bộ nhớ lớn, với Mac Studio 512GB phải chờ đến cuối tháng 10. Đây được xem như di sản cuối cùng của Tim Cook trước khi bàn giao vị trí CEO cho John Ternus vào ngày 1/9, đánh dấu việc Apple mạnh mẽ dấn thân vào thị trường máy tính AI cao cấp.