hi all. AI technology is really exploding in the last few years. the last big post/ compilation on the subj here was ~½ year ago and the links piled up in a blur since then. the main trigger for this post: the game of poker now seems to have “folded” to computer supremacy. a new paper was published on Deepstack and its highly competitive play, and Libratus is $800K up in a recent match against top experts (top players). my understanding is that there is still some weakness in multiplayer games and that the new breakthru is for 1-1 games, human vs computer, but presumably that razor-thin human edge might also melt away quickly.[a]
poker was a very good game for humans wrt our inherent/ evolved psychology. we (top humans that is) seem to have an intuitive grasp of how to bet based on the strength of cards, including the use of bluffing. it took computers until the 21st century to master this stuff. but it looks like they just passed the threshhold again. in a small surprise, it wasnt done by Deepmind but which is behind many other near-monthly, even verging on weekly breakthroughs.[c]
maybe not by total coincidence, the winning Libratus algorithm involves training a neural network to accurately estimate the search tree, quite similar to the Deepmind Go strategy that made huge headlines just a year ago. the media hasnt picked up on the poker competition as much as it did with Go… is it because cautious/ publicity shy academics have less PR instinct than google? or less budget? but maybe that “relatively low profile” will change in the weeks/ months ahead. hopefully there will be a very high profile contest that again captures widespread public interest/ imagination.
it seems the top poker competitions are typically held in Las Vegas afaik… what would it take to get the computers in that? wouldnt be cool if say Vegas (or some other high profile gambling center) decided to publicize it to attract attn/ tourism? but would the computer algorithms be competitive in the top multiplayer games? there have been increasing/ huge audiences for poker over last few years, not sure what all the factors are in in this surge (internet gambling might play a role…)
its neat to see academia still at the top of competitive research in AI. but that seems to be thinning somewhat over last few years as the massive corporations Google[b], Microsoft, Apple,[g] Facebook, Intel [f] and misc other corps [e] are snapping up AI talent like its a feverish arms race, and to some degree it is. theres also very fast/ dynamic startup/ other merger activity going on, and new research laboratories being founded.[h]
hi all. robots have been attacking people for over a decade now, they’re called drones, and the public outcry has not been too substantial. however, maybe the slumbering masses are starting to wake up to a related threat, job-killing robots.
this is a very complex topic that has been bubbling at the edges for years but 2016 finally seemed to mark the transition/ jump/ tipping point into mainstream consciousness. and theres some alarm/ panic, with headlines reflecting it.
despite this headline on this blog, despite the headlines elsewhere, it is really not a topic to be taken lightly. it has international implications. its affecting global economies. its tightly connected with the last few decades shift of globalization and neoliberalism, both of which seem these days (with Brexit/ trump upsets) maybe to be showing signs of aging and “long in the tooth”. it seems to be tied up with the future of technology, economics, and governments/ politics (eg whitehouse/ trump)![l] hence its one of those devastating crosscutting trifectas, aka “perfect storm”. its even starting to show up in intelligence agency strategic predictions/ alarm bells, and they are not pretty.[k1]
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.
➡ 💡 ❗ ⭐ ⭐ ⭐ 😮 😎 a youtube blogger “Veritasium” specializing in physics has over 300M views collectively on his videos.[a3] he has a “Patreon” page where he earns about $2.5K per video. at nearly one per week, hes apparently making close to $150K per year off of his youtube videos from that revenue stream alone[a4]—talk about getting paid to do what you love aka “dream job”. he has his own wikipedia page.[a2] (which makes me wonder, is there anyone comparable out there doing CS type videos? this really eyepoppingly shows theres a market for this stuff…)
veritasium just covered the silicone oil droplet experiments of bush and the video is currently at over 1M views.[a1] so its a totally certifiably viral video (whatever that means, just made it up!). to get this kind of exposure for this obscure physics factoid/ phenomenon is utterly phenomenal. he does it in an introductory way yet includes very advanced info eg re copenhagen interpretation, DeBroglie-Bohm pilot wave theory etc. this will only increase the momentum of this particular research area. so am commemorating this momentous event/ achievement with the FIRST embedded video ever on this blog. hurry, click now!
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.