Tất cả bài viết Danh sách
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.
Crypto
Ethereum đề xuất cơ chế kháng lượng tử ở cấp tài khoản, không cần hard fork
Một đề xuất mới cho thấy Ethereum có thể bổ sung cơ chế xác minh chữ ký kháng lượng tử ở cấp tài khoản ngay trên lớp thực thi, với chi phí khoảng 0,07 USD mỗi tài khoản mà không cần hard fork.