Trích dẫn Jake Boggan

Tôi từng là một tín đồ của lý thuyết đồ thị từ lâu và thậm chí chuyển đến Budapest một thời gian để học tập giữa các bậc thầy. Khi ở đó, tôi bắt đầu làm việc về Barnette's Conjecture, thứ đã chiếm lấy tâm trí tôi trong 24 năm tiếp theo của cuộc đời, ngắt quãng khi tôi làm việc trong nhiều lĩnh vực khác nhau. Mùa hè năm ngoái, tôi thậm chí đã nghĩ trong vài ngày rằng mình thực sự đã giải được nó. Nhưng nó được cho là đã được chứng minh ở đây - vấn đề 180. Tôi không biết phải nghĩ chính xác thế nào. Tôi đã dành hàng ngàn giờ cho vấn đề đó. Tôi thực sự rất thích nó. Nghe tin nó được giải quyết theo cách nào đó làm tôi buồn theo một cách xa xăm, giống như nghe tin một người yêu cũ đột ngột qua đời trong một vụ tai nạn ô tô. Tôi không biết, có lẽ có rất nhiều người đang cảm thấy những cảm xúc kỳ lạ tối nay. — Jake Boggan, bình luận trên Hacker News về openai/math Tags: openai, mathematics, deep-blue, llms, ai, generative-ai