Terence Tao on proof checkers and AI programs

Mathematicians Attempt to Glimpse Past the Big Bang

Mathematicians and the Selection Task (2004)

Dick Rutan, co-pilot of historic round-the-world flight, has died