:: codemode.org :: :: mmmmm....apelsin ::

[discuss] 2006-02-20 Mathematical proofs getting harder to verify [newscientist.com]
"We've handed off some of the checking, some of the verification if you like, to computers."


name: remember me
comment:


enter the code:

21611 links, 2648 comments, 12945289 clicks.