Onderzoekers hebben op Google-servers berekend dat de Rubikkubus altijd in maximaal twintig stappen is op te lossen. In 1981 was al bewezen dat het altijd in 52 keer draaien of minder kan; geleidelijk is dat teruggebracht tot 20.
Het decembernummer van de Notices of the American Mathematical Society heeft als thema ‘formal proof’, met artikelen over de recentste ontwikkelingen van door computers gegenereerde en door computers geverifieerde bewijzen.
Een prijsvraag die in mei van dit jaar werd uitgeschreven is gewonnen door de twintigjarige student Alex Smith. Hij bewees dat de zogeheten ‘2,3-Turingmachine’ universeel is.