We demonstrate that large language models can produce reasonable numerical ratings of the logical consistency of claims. We also outline a mathematical approach based on sheaf theory for lifting such ratings to hypertexts such as laws, jurisprudence, and social media and evaluating their consistency globally. This approach is a promising avenue to increasing consistency in and of government, as well as to combating mis- and disinformation and related ills.

Last week I wrote about how science infuses science fiction in the Syfy network series The Expanse. Now comes a story about how the researchers at MIT's CSAIL (Computer Science and Artificial Intelligence Laboratory) are turning science fiction into science. The researchers created a system that allows a robot to correct its mistakes in real time when a human observer notices that a mistake is being made. The observer just sits there and watches; she doesn't physically interact with the robot or anything else. If the observer recognizes that a mistake is occurring, the robot changes course and does the right thing.

June 05--Tucson-based video game development studio Desert Owl Games continues to grow, with the launch of a "Huntsman" movie tie-in game, the 10-year anniversary of its biggest title and upcoming work with Sony. The studio, which was born after Sony Online Entertainment closed its Tucson operations in 2011, traces its roots back to Octopi, the game developer Sony bought in 2009 and turned into SOE Tucson. Desert Owl Games has 15 people on staff, with another 15 to 20 artists employed on a contract basis, and actively develops what was Octopi's flagship game, "PoxNora," which passed from Sony control over to Desert Owl in 2014 and turns 10 this year. Arthur Griffith, one of the game's creators and co-founder of Desert Owl, said a lot has changed in the gaming industry in that time period. When "PoxNora" launched, gaming magazines wouldn't advertise it, he said, because it wasn't available in stores.