Hôm qua, tôi đã vượt qua một ngưỡng thú vị, mà tôi nghĩ nhiều nhà toán học khác cũng đã vượt qua gần đây. Trong quá trình cố gắng chứng minh một kết quả, tôi đã xác định được một tuyên bố trông có vẻ đúng và nếu đúng, nó sẽ hữu ích cho tôi. 1/3

Thay vì cố gắng chứng minh điều đó, tôi đã hỏi GPT5 về nó, và trong khoảng 20 giây đã nhận được một chứng minh. Chứng minh dựa vào một định lý mà tôi chưa từng nghe đến (câu phát biểu này hơi nằm ngoài các lĩnh vực chính của tôi), vì vậy mặc dù tôi tự tin rằng cuối cùng tôi cũng sẽ đến được đó, 2/3

thời gian mà tôi sẽ mất có lẽ sẽ vào khoảng một giờ (một ước lượng đi kèm với sai số khá lớn). Vì vậy, có vẻ như chúng ta đã bước vào một thời kỳ ngắn nhưng thú vị, nơi mà nghiên cứu của chúng ta được tăng tốc đáng kể nhờ AI nhưng AI vẫn cần đến chúng ta. 3/3

PS Trong trường hợp ai đó lo lắng rằng nó đã sử dụng một lemma mà tôi chưa từng nghe đến, tôi đã kiểm tra rằng lemma đó không phải là một ảo tưởng.