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

Two-year Shigella outbreak in lab primates yields data for broader vaccine design

Researchers analyzed immune responses from over 150 non-human primates infected during a prolonged Shigella outbreak at a research facility, identifying specific bacterial molecules and antibody binding sites linked to protective immunity. The findings, published in Science Translational Medicine, pinpoint precise structural targets that could inform vaccine design against multiple Shigella strains.

OpenAI launches GPT-6 Astra, calls it a step toward AGI

OpenAI has released GPT-6 Astra, a model trained on over 100,000 GPUs at its Texas Stargate site, marking the first time OpenAI used other AI models to help supervise training. President Greg Brockman described it as a 'generational leap' and hinted it could mark the arrival of artificial general intelligence. The model will roll out first to select partners in OpenAI's Daybreak Access program before reaching ChatGPT Plus, Pro, Business, Enterprise and API users.

San Francisco's Market Street empties out after car ban, crime wave and remote work shift

Market Street, once San Francisco's bustling commercial core, has become a largely deserted stretch lined with boarded-up storefronts and a barren, car-free roadway used mainly by buses. The decline followed the city's 2019 decision to ban private vehicles from the street, compounded by a wave of pandemic-era crime and looting and the mass shift to remote work that emptied downtown offices. Because San Francisco's downtown is zoned mostly for offices rather than housing, the pandemic-driven exodus left the area far emptier than mixed-use downtowns common in Europe and Asia.

Lean 4 formalization confirms prime gaps of at most 186, but relies on unproven axioms

A new repository presents a Lean 4 formal proof deriving the bound liminf(p_{n+1}-p_n) ≤ 186 for consecutive primes, building on the Maynard-Tao style DHL[40,2] admissible-tuple framework. The proof chain is conditional on three explicit input axioms covering Kloosterman sum bounds and related estimates, which have not themselves been formalized as Lean proofs despite being backed by established results like Deligne's theorem via Katz's monograph.

Frontend educators shift focus as AI reshapes web development discourse

Nolan Lawson notes that several prominent frontend web development educators—including Axel Rauschmayer, Salma Alam-Naylor, Josh W. Comeau, Kent C. Dodds, Addy Osmani, Rachel Nabors, and Lydia Hallie—have either scaled back their work or pivoted toward AI-related topics. To illustrate the shift, Lawson tested Claude Sonnet on a nuanced Chrome performance debugging scenario involving high 'Style Calculation' costs, a problem that has historically tripped up even experienced developers, and found the AI's answer impressively accurate.

OpenAI Launches GPT-6 Astra Model Upgrading ChatGPT and Codex

OpenAI has unveiled GPT-6 Astra, a new flagship model succeeding last year's GPT-5, bringing major gains in computer use, browsing, software engineering, and scientific reasoning. The company reports near-perfect scores on benchmarks like FrontierMath Tier 4, ARC-AGI-3, and ExploitBench, and says Astra is its best model yet for coding tasks. Astra also introduces a new memory system for Codex that lets it retain notes across long coding sessions instead of relying solely on context summarization.

CNIL fines Hôpital privé de la Loire €500,000 over 727,000-record breach

France's data protection authority CNIL has fined Hôpital privé de la Loire €500,000 after a 2025 breach exposed data belonging to over 727,000 people, including more than 524,000 patients and roughly 202,000 people listed as trusted contacts. Investigators found the hospital allowed external users to log in without VPNs or multi-factor authentication, gave a single compromised account access to all patient records, and had no real-time monitoring to catch the intrusion as it unfolded over several days.

Today's top topics: openai muse charm mark zuckerberg meta connect ai agents anthony albanese google meta ai agent services australia
Browse all topics →  ·  Today's trending topics →