Anthropic published a blog post detailing FlashProve, an open-source system that provides cryptographic proof confirming which specific AI model produced a given output. The system relies on labs publishing a 'fingerprint' for each released model, which can later be matched to outputs and verified without exposing the model's underlying weights. Anthropic says verification can run locally and could also confirm third-party claims, such as that a cybersecurity scan was performed by a specific frontier model.
techcrunch.com
· 2026-11-03
An Arizona State University lecturer and founder of AI implementation firm Main & Machine writes that businesses are underestimating the real cost of checking AI-generated output before use. He cites U.S. Census Bureau data showing overall business AI adoption at 17% to 20% in late 2025 through early 2026. He argues that treating 'human in the loop' as a mere checkbox fails because a quick second look often isn't genuine verification.
entrepreneur.com
· 2026-11-01
A software engineer blogged about an attempt to formalize the well-known result that quines follow from Kleene's second recursion theorem, drawing on an existing preprint that carries out the construction in untyped lambda calculus. The post walks through the classical computability-theoretic statement of the theorem and sketches how setting the relevant function to the identity yields a self-referential index resembling a quine.
emarzion.github.io
· 2026-10-31
Ofcom reports that roughly 150,000 16- and 17-year-olds in the UK lack a passport or driving licence, which may be required as a fallback for age verification under the country's planned ban on under-16 social media access. The regulator outlined four 'highly effective' verification methods, including photo ID checks, bank age confirmation, digital ID services and facial age estimation, but said official ID would likely be needed as a backstop since facial estimation can be inaccurate by several years. The ban on platforms like Instagram, TikTok and YouTube is set to take effect next spring.
news.slashdot.org
· 2026-10-30
Lasm is a new toolchain that ahead-of-time compiles standard Lean 4 programs into WebAssembly, letting a single codebase run as a Node server, serverless or edge function, WASI/Fastly module, or browser app. It ships via npm bundling Lean and its Lake build tools, requiring only Node, Bun, or Deno. Its flagship demo, a RealWorld-spec app called Conduit, includes 117 formally proved theorems.
github.com
· 2026-10-30
Ben Lorica interviewed Leo de Moura, creator of the Lean theorem prover and VP/Distinguished Scientist at AWS, about how AI is making formal verification more accessible. The conversation covered machine-checked proofs, trust in AI-generated code and autonomous agents, and the concept of a fully verified software stack.
thedataexchange.media
· 2026-10-29
Stanford researcher Chuyue Sun's AI system completed an engineering verification task in under half a day for less than $500, a job that previously took three experts five months. The work, used to verify part of Signal's encryption code, underpins the public launch of startup &Truth, which Sun joined in August and which has raised $70 million. Rival Harmonic, backed by $295 million and cofounded by Robinhood CEO Vlad Tenev, this week said its AI agent Aristotle can now verify software in C and hardware designs in Verilog, and is testing with firms including Tensordyne and Nvidia's venture arm.
wired.com
· 2026-10-29
A Reddit user says they installed Garmin Messenger on a second phone, entered their existing number, verified it via SMS, and saw their full conversation history reappear without entering a Garmin account password. The second device then began sending and receiving messages, with no apparent way to view or disconnect other active sessions. Garmin has reportedly been notified but has not confirmed any fix.
androidauthority.com
· 2026-10-29
Google updated Gemini in Sheets so AI-generated cells now display the web sources used to populate them, letting users verify data without searching separately. The update also increases Gemini's processing capacity to 3,000 cells per request, with Google claiming some 500-cell tasks run up to 55 times faster than manual entry. Google Sheets is additionally rolling out compact pivot tables and improved Excel compatibility to all users.
androidauthority.com
· 2026-10-29
Ofcom has published guidance on how social media platforms could check whether users are over 16, ahead of the UK's social media ban taking effect in March. The regulator recommends photo ID matching, banking-based checks, facial age estimation and digital ID services as 'highly effective' options, alongside traditional ID documents. Implementation details are left to individual platforms, and the proposals still require government approval.
bbc.co.uk
· 2026-10-29
Discord announced that Discoverable Servers with more than 1,000 members will get dedicated web pages summarizing community descriptions and public channel conversations, making them findable through search engines like Google and DuckDuckGo. Private DMs, group chats, and non-discoverable servers will remain unaffected, and admins can opt out via Server settings > Web presence.
zdnet.com
· 2026-10-28
Governor Kathy Hochul signed legislation mandating AI companies offer age verification methods, at least one not solely reliant on government ID, and delete collected age data after use. For users under 18 or unverified as adults, chatbots are barred from pretending to be human, claiming personal relationships, discussing self-harm or suicide, or sharing sexually explicit content. Violations can bring civil penalties up to $25,000 each plus damages, with the law taking effect in six months.
engadget.com
· 2026-10-28
GoKawiil