Tất cả bài viết Danh sách
Crypto
Vitalik Buterin: Ethereum chuyển sang mô hình kết hợp blockchain và mật mã học
Vitalik Buterin cho biết Ethereum đang bước vào giai đoạn chuyển đổi dài hạn, kết hợp blockchain với công nghệ mật mã hiện đại để tăng bảo mật, quyền riêng tư và mở rộng phạm vi ứng dụng.
AI & Enterprise
Mô hình AI chưa công bố của Anthropic tạo bước tiến mới trong kiểm chứng giả thuyết Riemann
Anthropic cho biết một mô hình AI chưa công bố đã mở rộng đáng kể cận dưới của phạm vi kiểm chứng giả thuyết Riemann, cho thấy AI có thể tạo ra kết quả có giá trị trong nghiên cứu toán học.
AI & Enterprise
OpenAI nói Astra giải 10 bài toán mở hơn một thập kỷ
OpenAI cho biết mô hình nội bộ Astra đã tìm ra lời giải cho 10 bài toán mở trong toán học và tin học lý thuyết, đồng thời công bố các chứng minh hình thức có thể kiểm chứng bằng máy.
