GoKawiil
Tech News
Anthropic has integrated Project Glasswing into its Cyber Verification Program, creating a multi-level access system for vetted security experts to use advanced AI cyber tools, including Claude Mythos. The move broadens access to three tiers of models, with over 129,000 vulnerabilities identified by users since April. The program aims to balance security risks with the benefits of AI-driven vulnerability discovery.
A formal verification project has completed a machine-checked proof in the Lean theorem prover establishing the optimal side length for packing 11 unit squares into a square container, with the exact value defined as the root of a polynomial equation. The verification run, tied to a specific pinned commit, accepted all 7,920 local Lean modules with zero admissions, using native numerical certificates for computationally expensive exact checks alongside standard Lean proofs for geometry and proof assembly.
Google is rolling out its Email Verification origin trial to Chrome on Android, adding a 'Verified Email' option under Settings > Addresses with an auto-confirm toggle. The feature lets Chrome confirm a user's email address directly with a supporting email provider, skipping the usual verification email or one-time code, though both the site and provider must support Google's protocol.
New enterprise technology solutions are emerging to address challenges in managing large language models and autonomous systems. These include project management tailored for government agencies, AI code verification tools, and API access management, aimed at helping organizations modernize while controlling costs.
Apple has announced updates to its Apple Cash service, including a new requirement for users to verify their identity starting November 9 to reload their balance. Additionally, Green Dot Bank may soon introduce a feature allowing direct transfers from bank accounts or merchants to Apple Cash, though no specific date has been set. Changes to the arbitration section of the terms are also noted, prompting users to review the updated policies.
A commentary piece describes a demo in which a coordinated group of cheap AI agents rebuilt a website for about $8, with one agent fabricating quotes and another independently catching and correcting more than a dozen fabrications at negligible extra cost. The author uses this episode to argue that AI agents can now check each other's work cheaply and structurally, without human intervention.
A new book recounts how Lean, a program originally developed to catch bugs in Microsoft's software, was repurposed by mathematicians to formally verify proofs. The review describes its journey from an internal engineering tool to a system now used to check mathematical arguments with machine-level rigor.
The Electronic Frontier Foundation launched its 2026 Opt Out October guide on Thursday, offering instructions for disabling AI data training, social media tracking and age verification across various platforms. The guide also lists alternative services for social media, browsers, design tools and operating systems, and the EFF says it will update the guide as circumstances change.
A federal court issued a preliminary injunction halting enforcement of Utah's SB 73, which required adult websites to detect and block VPN users or verify the physical location of visitors using privacy tools, and banned instructions on using VPNs to bypass age checks. The judge found the law likely violates the Constitution's restriction on states burdening people and businesses outside their borders, since it would effectively force sites to age-verify every visitor nationwide in case they were an obfuscating Utah resident.
A software engineer walked through a theory-of-computation textbook exercise asking for a proof, via finite automata, of a language property, then reformalized that informal constructive proof in the Lean proof assistant. The write-up builds a deterministic finite automaton (DFA) and leans on existing theorems in Lean's Mathlib library to formally verify it recognizes the target language.
Google has activated its developer verification system on certified Android devices in Brazil, Indonesia, Singapore, and Thailand, blocking installation of apps from unverified developers by default. A global rollout is planned for 2027. Users can still sideload apps via methods including Google's multi-step Advanced Flow, ADB, Shizuku, rooting, or custom ROMs such as LineageOS and GrapheneOS.
Google's new Android developer verification rules took effect September 30 in four countries, requiring apps from participating stores—including Google Play, Galaxy Store, and others—to come from registered developers on certified devices running Android 7 or later. Users can still sideload unverified apps through a new advanced flow, but it requires enabling a developer option, authenticating, restarting the device, and waiting 24 hours before installation is allowed.