Để giải một phương trình, máy tính thường đoán, kiểm tra, rồi lại đoán. Mỗi vòng lại tiến gần đáp án hơn. Nhưng một vòng có thể tiến gần đến mức nào?
Phương pháp Newton đặt hai câu hỏi mỗi vòng: giá trị của hàm số và độ dốc của nó. Khi đã gần đáp án, số chữ số đúng khi đó tăng gấp đôi sau mỗi vòng.
Năm 1974, Kung và Traub phỏng đoán một giới hạn tốc độ. Với n câu hỏi mỗi vòng, bậc hội tụ không bao giờ có thể vượt quá 2 mũ n−1. Chính họ đã xây dựng được các phương pháp đạt tới mức đó. Nhưng không ai chứng minh được rằng nó không thể bị vượt qua.
Matthew Colbrook, tại Cambridge, giờ đây đã chứng minh được điều đó. Mẹo nằm ở chỗ: xây dựng các hàm số cho ra cùng những câu trả lời nhưng giấu nghiệm của chúng ở chỗ khác. Một trợ lý chứng minh, Lean, đã kiểm tra kết quả.
Nguồn: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









