Simple blog from asynchronous connections.
Reason evolves, feelings give me the passion.
Context arguments: [ 1985, ^Barcelona, *Catalan]
Resize the viewport, Play the music and Write whatever.
i’m preventing all kind of errors and exceptions: magic not found.
deployed to prod
Computers are providing solutions to math problems that we can’t check
Good news! A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it’s talking about — because the solution, which is as long as all of Wikipedia’s pages combined, is far too voluminous for us puny humans to confirm.
A few years ago, the mathematician Steven Strogatz predicted that it wouldn’t be too much longer before computer-assisted solutions to math problems will be beyond human comprehension. Well, we’re pretty much there. In this case, it’s an answer produced by a computer that was hammering away at the Erdős discrepancy problem.
Full Story: Io9
/* by timpiele */