Neel Somani đã giải quyết một bài toán Erdos?
Neel Somani
Neel Somani13:00 11 thg 1
Chiến thắng cuối tuần: Bằng chứng tôi đã nộp cho Vấn đề Erdos #397 đã được Terence Tao chấp nhận. Bằng chứng này được tạo ra bởi GPT 5.2 Pro và được chính thức hóa bằng Harmonic. Nhiều vấn đề mở đang chờ đợi ai đó kích hoạt ChatGPT để giải quyết chúng:
Khi CT tan rã, thật thú vị khi thấy những nhân vật cũ xuất hiện trong tự nhiên.
55