Chúng ta đang đứng trước một sự thay đổi sâu sắc trong lĩnh vực toán học. Vibe proving đã đến. Aristotle từ @HarmonicMath vừa chứng minh Vấn đề Erdos #124 trong @leanprover, hoàn toàn tự mình. Vấn đề này đã mở trong gần 30 năm kể từ khi được giả thuyết trong bài báo "Các chuỗi hoàn chỉnh của các tập hợp lũy thừa nguyên" trên tạp chí Acta Arithmetica. Boris Alexeev đã chạy vấn đề này bằng một phiên bản beta của Aristotle, gần đây đã được cập nhật để có khả năng lý luận mạnh mẽ hơn và giao diện ngôn ngữ tự nhiên. Siêu trí tuệ toán học đang đến gần từng phút, và tôi tự tin rằng nó sẽ thay đổi và tăng tốc đáng kể tiến bộ trong toán học và tất cả các lĩnh vực phụ thuộc.

Khi chuỗi @0xPolygon có 69 lần tái tổ chức mỗi ngày, giá là 2.89. Bây giờ nó hoạt động hoàn hảo với một lượng lớn dòng chảy và giá là 0.15. Tất cả những gì mọi người có thể làm là tiếp tục xây dựng.