What can I say? Naughty Trev!
The biggest controversy in maths could be settled by a computer
-
For over a decade, mathematicians have failed to agree whether a 500-page
proof is actually correct. Now, translating the proof into a
computer-readable fo...
2 hours ago
2 comments:
you guys were bored weren't you?
Oh god why wouldn't you leave the poor bears alone lol!
Post a Comment