“December 2016 News”, Gwern2016-12-03 ()⁠: