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.