Một điều thực sự tuyệt vời về AI tự động hóa là chúng ta có thể rất tự tin vào tính hợp lệ của những chứng minh được tạo ra này. Đây là một mức độ xác minh mà nhiều công việc viết tay của con người thiếu và sẽ được hưởng lợi từ đó. Cảm ơn rất nhiều đến mô hình Aristotle tuyệt vời của @HarmonicMath!

GPT-5.2 thực sự là một mô hình tốt trong toán học thưa ngài OpenAI đã nấu ăn rất ngon với tỏi

Một điều rất rõ ràng với tôi: Tất cả các phòng thí nghiệm khác đều tụt lại xa so với OpenAI về khả năng lý luận và điều đó không hề gần gũi. Các phòng thí nghiệm khác cần phải kiểm soát tình trạng ảo giác và sự lười biếng.