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

Anthropic's Claude produces first fully computer-verified proof of Fermat's Last Theorem

Anthropic researcher Tianyi Peng tested whether the Claude AI model could formalize Fermat's Last Theorem in the Lean proof assistant, and over 11 days of largely autonomous work, Claude generated an end-to-end, machine-checked proof. The system wrote roughly 13 million lines of Lean code and proved about 29,500 intermediate theorems, building on decades of prior work including Andrew Wiles's 1995 proof and a community formalization effort led by Kevin Buzzard since 2024.

Casio Leaks Point to New G-Shock GMC-2500/GAC-2500 With Nautilus-Style Case

Leaked images on Notebookcheck and Instagram reveal upcoming Casio G-Shock GMC-2500 (steel) and GAC-2500 (resin) watches featuring pronounced side shoulders reminiscent of Patek Philippe's Nautilus. The resin GAC-2500 line reportedly draws design cues from the original 1983 DW-5000C, while Casio has not confirmed pricing, specs or release date and declined to comment when asked by WIRED.

Analysts urge enterprises to rearchitect memory and storage for AI inference

Tirias Research founder Jim McGregor argues that AI is not one workload but millions of varied ones, meaning data centers can no longer treat memory and storage as secondary hardware. He says inference and agentic AI demand purpose-built systems capable of continuous, real-time data ingestion, caching, and movement rather than legacy infrastructure designed for training workloads.

ULTRALOQ's Bolt Fingerprint lock adds Apple Home support but skips Home Key

ULTRALOQ has released the Bolt Fingerprint smart lock, which the company describes as its first model fully integrated with Apple Home. The device supports fingerprint unlock for up to 50 fingers, 50 passcodes, auto-unlock, physical keys, and voice control via Siri, Alexa, or Google Assistant, and connects directly over 2.4 GHz Wi-Fi without needing a separate hub bridge.

Nuclear industry veteran details rocky pivot to entrepreneurship after 19-year career

A former commercial nuclear power operator who rose from Reactor Operator to Senior Reactor Operator and into management left his 19-year utility career at 38, relocating from Michigan to Washington, D.C. to chase 'unlimited income potential' through sales and business ownership. He found that the skills that made him excel as an employee inside a large organization did not translate into success running his own venture.

Google brings Lyria 3.5 music model to Gemini app and API

Google has expanded access to its Lyria 3.5 music generation model beyond Flow Music, launching it in the Gemini app and Gemini API. The rollout adds new features like short and long track options, genre templates, and vocal versus instrumental selection, with developers also gaining access via Google AI Studio and Google Vids.

70mai A810 Lite 4K Dual Dash Cam Drops to $89.97 on Amazon

Amazon has discounted the 70mai A810 Lite 4K Dash Cam Front and Rear by 40%, bringing its price down from $149.99 to $89.97. The device offers 4K front and 1080p rear recording, built-in GPS, Wi-Fi 6 connectivity, and ADAS driver alerts, plus optional parking surveillance features when paired with a hardwire kit.

Apple reportedly developing AI-driven home security camera with monitoring service

According to Bloomberg's Mark Gurman, Apple is developing a privacy-focused home security camera and automation device paired with a new monitoring service, expected to launch next year. The camera would reportedly rely on AI analysis rather than raw video footage to track home activity, and it's positioned as part of a broader wave of device launches Apple has planned over the coming years.

Today's top topics: anthropic apple elon musk ai agents iphone duo openai nvidia macbook pro spacex amazon deal
Browse all topics →  ·  Today's trending topics →