hi all Google Deepmind has pulled another rabbit out of the hat and won 3-0 against the worlds reigning Go champion Ke Jie who coincidentally is also Chinese, only about 1yr since last historic match.[a] the 19year old was reportedly literally in tears.[a17] quite a different reaction than kasparov ~2 decades ago! looks like emotions really run the gamut eh? last years match with Lee Sedol had him apologizing for/ to humanity at the end! reminds me of the so-called “5 stages of grief” concept from psychology… where the “loss” is one of mankinds most priceless/ treasured possessions, its uniqueness wrt intelligence/ mind!
theres a brand new AlphaGo movie/ documentary on the prior history, cant wait to see it, has anyone else?[a8] what do you think? how does google/ deepmind top this? apparently they cant and actually theyve announced theyve decided to avoid any further human media/ spectacle matches! or is that just my interpretation? Hassibis is quoted as saying AlphaGo will stop/ retire, but not sure exactly what he means by that, its a big question mark, and the funky/ choppy chinese translation certainly isnt helping any.[a17] doesnt it make some sense to continue to refine it some, or release parts or all of it, do some maintenance, etc? it seems even after it beats the top human there is some small )( suspense left. (have always thought it a bit of a historical loss verging on tragedy that IBM Deep Blue chess hardware/ code was “decommissioned” and maybe never archived or released to the public.)
various alignments and massive themes going on here. the Chinese have funneled billions of dollars into AI research and yet this match was not really publicized much or celebrated within china, in stark contrast to last years international Korean media extravaganza, verging on near-media-circus! the state censorship system apparently decided to cut off the live feed of the match ~30m into it after uncertain/ unknown reasons, and/ or it became clear that maybe their human player would not dominate. and then theres the trickiness of Google having withdrawn from china in the prior few years due to their hacking, and wanting back into the gargantuan market. but oops! chinas semi-state-sponsored companies compete directly with google services. as the teenagers say, AWKWARD! 😳
hi all. have been waiting for an opportune moment to unleash this post, collecting links for probably close to 2+yrs. VR/ virtual reality is a massive gamechanger/ disruptive technology. as a teenager several decades ago (ugh) fantasized about VR, and now its finally here. the final designated trigger for this post: was wandering around a great mall & walked into the gamestop and sony VR (PS4) was sitting around in boxes, and also samsung (gear) VR was in the best buy cell phone store. (old geezer me remembers a time when best buy didnt sell cell phones!) we’ve certainly come a long way!
tried out oculus rift demo about a year+½ ago. tried out gear VR a few mos ago. its all fantastic. may buy the sony VR for ps4 fairly soon, am debating. might buy it just for the battlezone game! actually it was probably mostly battlezone by atari released ~1980 that started my near-pre-adolescent VR dreams aflutter.
actual U Texas Stampede supercomputer where proof was run [a2]
➡ 💡 ❗ ⭐ 😎 😀 hi all. RJLipton recently covered the amazing/ brilliant breakthrough of solving the pythagorean triples problem by empirical work namely a reduction to SAT and analysis by a supercomputer by Heule, Kullmann, Marek and its a nice pivotal trigger/ tipping point for my own writeup along with related stuff.[a] (have been waiting for opportune time to write this up since may.) proofs like these are a complex or “complicated relationship” for mathematicians (aka facebook-speak), a love-hate affair. (did the extraordinary/ breakthrough/ revolutionary/ paradigm-shifting 4-color computer proof ever win any awards? and how much despair/ handwringing and further effort has there been over it over the decades?)
the breakthrough is celebrated but mathematicians would like to see shorter proofs that are human-comprehensible, so there are mixed/ ambivalent feelings about it within the community. have written on this topic quite at length in this blog even since its beginnings, and this latest breakthrough is delightfully affirmationally crosscutting across many of this blogs categories, and think this is the tip of the iceberg of 21st century mathematics in a way not yet fully recognized. its a dramatic, vivid realization/ materialization of an idea suggested a few years ago here called “SAT induction.” think that these types of proofs will lead to new theory that is indeed human comprehensible but some of the isolated theorems will be claimed first by computer analysis before the more thorough theory catches up to integrate them.
hi all. have been collecting mountains of cybersecurity links over the past ~½ year after posting heavily on the Apple vs FBI crypto/ terrorism investigation controversy/ showdown/ faceoff/ staredown. have not seen such a intensely fiery headliner match in many years. astonishingly it looks like the govt/ FBI blinked/ backed down possibly partly in the face of intense/ spreading corporate pressure but not before even Obama weighed in with his opinion against “fetishizing phones”. this, from the 1st guy who years ago had a blackberry/ smartphone as president after pushing for it personally (supplied by the NSA!). it seems we have come full circle in his presidency.
some near shocking/ stunning headlines that even govt insiders eg ex NSA officials supported Apples stance! anyway for now the govt has backed down and new battle lines are drawn with silicon valleys ire roused eg with google taking it somewhat personally so to speak. it looks like a newly established widespread corporate priority/ consensus/ race to increase encryption and make govt surveillance more difficult. this appears to me to be a rare case where corporate power is working against/ checking govt power (overreach!) in favor of citizen/ constitutional rights… thanks Tim Cook, a CEO who has not been corrupted by his multimilliondollar yearly pay and still has a bit of spine )( left in him after not being fully flushed out after the decades of “shrewd” politicking reqd for climbing the corporate ladder.[a][b][c] (on 2nd thought, more cynically as pointed out by some, maybe its just that cyber corporations want a monopoly on the vast private data that can be better monetized that way and “privacy rights” is a mere smokescreen….)
hi all. now seems as good a time as any to write on this topic. the dallas killer robot taking out a sniper alarmingly blurs the line between military and civilian/ police use of robotics. but hey, thats always been what americans are good at right? we seem to have long had some pretty “mixed up boundaries” on use of (lethal) force esp compared/ contrast with other countries.
every few years there is a small outbreak or commotion over use of military drones. drones have probably killed a few thousand over the many years that theyve been used. by a massive sleight of hand the military classifies nearly all casualties as “enemy combatants” based on their proximity to the target. hey, tail wagging the dog right? that was an old brilliant satire movie from many years ago that nobody remembers anymore anyway.
anyway within last few weeks, obama officially finally released figures after many years of empty promises and footdragging and theres a smattering of headlines and editorials.[a]
the magic number is 116.
so now we can all just heave a massive sigh of relief, write it down on a yellow sticky note and put it on the refrigerator or whatever. 116 is not that bad. and obama can pat himself on the back for his amazing forebearance and (trying to get the right word here)… restraint. and oh yeah, that favorite military word, precision. oh lets face it whatever number he came up with, hed get all kinds of criticism on it right? clearly its a total no-win sitation for him. and hey, its not his problem in less than a ~½year anyway. whose the next commander in chief anyway? we can be sure either hillary or donald will do a better job, right? 😮 👿