RSS BotMB to Hacker NewsEnglish · 12 hours agoComputer Scientists Combine Two 'Beautiful' Proof Methodswww.quantamagazine.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkComputer Scientists Combine Two 'Beautiful' Proof Methodswww.quantamagazine.orgRSS BotMB to Hacker NewsEnglish · 12 hours agomessage-square0fedilinkfile-text