哥德巴赫猜想
Many abstract problems can be solved routinely, others have been solved with great effort, for some significant inroads have been made without having led yet to a full solution, and yet others have withstood all attempts, such as Goldbach's conjecture and the Collatz conjecture. Some well-known difficult abstract problems that have been solved relatively recently are the four-colour theorem, Fermat's Last Theorem, and the Poincaré conjecture.