Skip to content
Tech News
clear
Topics: Today This Week This Month This Year

OpenShell details formal-methods approach to auditing AI agent permission changes

OpenShell published research on using formal methods, including the Z3 solver, to verify that permission changes proposed by autonomous AI agents remain within the bounds originally approved by a human operator. The team argues that as organizations scale from a handful of coding agents to hundreds or thousands running long, open-ended tasks, manual permission review becomes impossible to sustain. Their approach aims to mathematically prove that scoped agent policies never exceed the intent of the overall system's charter.

AI labs' 'slowdown' calls face scrutiny amid IPO ambitions

OpenAI and Anthropic executives have begun publicly urging caution about AI's risks even as their companies pursue trillion-dollar valuations, prompting MIT Technology Review to examine what a real slowdown would look like and whether the industry's own calls for restraint can be trusted. The publication is also hosting a subscriber roundtable discussing the credibility of AI extinction fears, once considered fringe but now voiced by researchers within top labs.

OpenAI's 'Project Lily' has contractors manually reviewing ChatGPT chat logs

A 404 Media investigation reveals OpenAI runs an internal effort called Project Lily, employing hundreds of contractors paid roughly $50 an hour to read anonymized ChatGPT conversations and rate the quality of the bot's answers. Reviewers check for issues like overly robotic phrasing, sycophancy, and improper anthropomorphizing, following guidelines described as inconsistent and frequently changing.

HTC Vive Eagle smart glasses launch at $499 but underwhelm in review

HTC's Vive Eagle smart glasses, styled after Ray-Ban's Wayfarer-inspired smart eyewear, are now available in the US for $499 with a 12-megapixel camera, four-microphone array and bass-enhanced speakers. The device runs on a Snapdragon AR1 Gen 1 chip with 4GB RAM and 32GB storage, but its 235mAh battery only lasts 4.5 hours of music playback or three hours of calls.

System76's Pangolin Pro laptop reviewed: repairable design meets Pop!_OS Linux

A review of System76's Pangolin Pro laptop highlights its large glass trackpad, a basic 2-MP webcam, and an easily accessible chassis secured by nine visible screws that allows users to upgrade RAM, SSDs, and WiFi cards. The review also notes that AMD Ryzen chips still lack Coreboot support, meaning the laptop doesn't run fully open firmware, and praises the bundled Pop!_OS Linux with its Cosmic Desktop for a smooth daily-use experience.

NSF grants hit 40-year low as China boosts early-career funding 50%

The US National Science Foundation will issue its fewest new grants in four decades after withholding roughly $1 billion for the White House's Grand Research Challenges initiative and pulling back recommendations for over 150 peer-reviewed proposals. Meanwhile, the National Natural Science Foundation of China is increasing its prestigious early-career grants by 50% this year, moving in the opposite direction as Washington retreats from research investment.

Benchmark test finds GPT-5.6 Luna catches fewer bugs than GPT-6 Astra but at 28x lower cost

A new benchmark comparing OpenAI's GPT-5.6 Luna and GPT-6 Astra on code review found Luna verified 69 bugs across 50 pull requests versus Astra's 92, while costing roughly 28 times less per review. Luna also produced more false positives, with 24 of 93 flagged issues failing verification compared to Astra's 4 of 96, and it caught fewer security-related bugs.

Valve's Steam Frame VR headset launches focused purely on gaming

Valve has released the Steam Frame, a standalone VR headset built specifically for playing games rather than serving as a multipurpose productivity or mixed-reality device. Early reviews suggest the device leans into a lighter, more playful approach to virtual reality rather than chasing the enterprise and work-focused ambitions of rivals like Apple's Vision Pro.

Today's top topics: openai samsung smart glasses android authority gemini adobe premiere anthropic data centers galaxy s27 ultra battersea power station
View all today's topics →