Closing in on the twin prime conjecture (Quanta) - "Just months after Zhang announced his result, Maynard has presented an independent proof that pushes the gap down to 600. A new Polymath project is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower." [more inside]
Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]
The simulated brain - "First computer model to produce complex behaviour performs almost as well as humans at simple number tasks." [1,2,3,4,5,etc.]
Do you like biology? Do you like numbers? Like, actual numbers and not the television show? Take a look at BioNumbers. [more inside]
Durango Bill's Home Page. With topics that include: 3D end-to-end tour of the Grand Canyon, the origin and formation of the Colorado River, and examples of river systems that cut through mountain ranges instead of taking easier routes around them in Ancestral Rivers of the World. [more inside]
Mathematician Bums Out Entire Scientific Community His "Omega" number--infinite and incalculable--guts hopes for pure mathematics, physicists' hopes for a Theory of Everything, and is just in general kind of bafflingly cool. Builds on the whole Godel/Turing foundation of hopelessness!