surreal numbers
AssessKỹ thuật
Một hệ số học do John Conway giới thiệu, bao gồm cả số thực và số thứ tự.
Vì sao ở đây
Xếp vào Assess: 1 bài bằng chứng từ 1 nguồn, chủ yếu là tin nghiên cứu, 1 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.
Bằng chứng (1)
- 7Hacker News·18/9/2026researchChứng minh giả thuyết tinh chỉnh của Conway bằng AI
Một bài đăng trên Hacker News mô tả việc tác giả sử dụng mô hình AI tiên tiến và Lean để tạo ra chứng minh cho giả thuyết tinh chỉnh của Conway trong lý thuyết số siêu thực. Chứng minh đã vượt qua các kiểm tra cơ học trong Palomar registry, nhưng هنوز chưa được các nhà toán học xác minh độc lập.