cột mốc thú vị trong toán học AI Aristotle (một nhà toán học AI) vừa giải quyết vấn đề Erdos' #124, vấn đề này đã mở trong gần 30 năm boris alexeev (nhà toán học nghiên cứu) đã chạy nó trên một phiên bản beta mới của Aristotle với khả năng lý luận mạnh mẽ hơn + giao diện ngôn ngữ tự nhiên, và nó đã tạo ra một chứng minh chính thức đầy đủ. thật là một khoảnh khắc điên rồ cho việc chứng minh định lý AI.