Specific prizes might be awarded for options of remarkable elegance or involving excellent generalisations of an issue. This last occurred in 1995 (Nikolay Nikolov, Bulgaria) and 2005 (Iurie Boreico), but was much more frequent up to your early 1980s. Just about every evidence which was discovered and confirmed is utilised to reinforce AlphaProof�