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
Hàng chờ rút staking trên Ethereum về 0
Hàng chờ rút staking trên Ethereum đã về 0, trong khi khoảng 2,5 triệu ETH đang chờ kích hoạt validator, với thời gian chờ ước tính lên tới 43 ngày 10 giờ.
