The amount of faces we’re about to rip = https://t.co/4ewIiLQxHd
339 followers
1 followers
@ciphernyx Yes - these are important features. I've meant the insight generated from unsatisfiability - See the proof of PTP (https://t.co/HwU2qFms9N)
929 followers
@jeremyjkun There's someone called Marijn Heule who has solved hard mathematical problems such as: Keller's Conjecture: https://t.co/u3Dfj35pm9 Boolean Pythagorean Triples Problem: https://t.co/prspfp1Dov and (jointly with Scott Aaronson) is trying to ta
12 followers
RT @mvaneerde: Heule, Kullmann and Marek have answered a long-open question: is it possible to color all the positive integers red and blue…