Een oud wiskundig bewijs is nu opnieuw uitgevoerd door wetenschappers van Microsoft Research. Interessant, omdat het bewijs dat ze nu hebben gegeven volledig met een computer gecontroleerd kan worden.

Een team van Ierse wiskundigen heeft een complex rekenalgoritme gebruikt om vast te stellen dat een sudoku met minder dan 17 begincijfers geen unieke oplossing heeft.

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 Amerikaanse tijdschrift Time stelt aan het eind van elk jaar toptien-lijstjes samen in allerlei categorieën. In 2009 eindigde in de categorie wetenschap op de zevende plaats een wiskundige stelling die dertig jaar lang op een bewijs moest wachten: het zogeheten ‘fundamentele lemma...

John G. Thompson en Jacques Tits krijgen dit jaar de Abelprijs. De Abelprijs is samen met de Fields Medal de hoogste onderscheiding in de wiskunde, vergelijkbaar met de Nobelprijs.

Een team van achttien wiskundigen heeft met behulp van een supercomputer grip gekregen op een zeer gecompliceerde structuur uit de wiskunde: de Liegroep E8.