First things first
Some wild tech stuff happening today. AI is cracking complex math faster and even designing circuit boards now. Meanwhile, security holes and government distrust seem to be growing, making us wonder what’s next.
On the lighter side, folks are fixing up phones for longevity, building open-source bike computers, and moving gold for safety. It’s a weird mix of chaos and innovation - pretty typical for the digital age.
The top 6
Anthropic researchers used AI to produce the first fully computer-checked proof of Fermat's Last Theorem in just 11 days, formalizing it in the Lean programming language. This achievement marks a significant step toward automating the verification of complex mathematical proofs, potentially transforming research mathematics.
A remote code execution vulnerability exists in the sandbox component of all Chromium versions. The flaw is actively exploited and may require chaining with other zero-day vulnerabilities to succeed.
A Gallup poll shows that a record-high 89% of Americans believe government corruption is widespread. The poll indicates growing distrust in government institutions across the country.
An adult film producer linked a prolific torrent pirate to a Meta Reality Labs executive, suggesting the employee downloaded nearly 20,000 files for work purposes. The case connects to a larger $446 million lawsuit against Meta over AI training data using copyrighted films.
Corporate America is increasingly adopting open-source AI technologies to enhance their operations. However, state-of-the-art models are still required for complex tasks like coding, as open-source options currently excel more at summarization and documentation.
IBM Bob is a new product or platform developed by IBM. It has received mixed reviews, with some users criticizing its quality and others drawing comparisons to past software failures like Microsoft Bob.
Support our sponsor
beehiiv handles the unglamorous parts of running a newsletter - deliverability, referrals, ad revenue, subscriber growth - so you can spend your time writing. Built by people who scaled Morning Brew. Free to start, no card required. 14-days free, then save 20% for 3 months.
Quote of the day
You cannot find peace by avoiding life.
Virginia Woolf
Also big today
Mullvad is shutting down its public encrypted DNS servers, as their internal VPN DNS already encrypts traffic. Instead, they will support Quad9, a leading privacy-focused public DNS provider, and users should switch to Quad9 before November 2, 2026.
OpenAI demonstrated GPT-6 Astra working on circuit board design in KiCad, showcasing AI's growing understanding of electronics. Current models can generate electronic designs using declarative code, enabling more effective testing and validation of AI-produced circuits.
Statichost.eu offers European-based static website hosting with infrastructure owned by European companies, emphasizing privacy and control. It supports deployment from various git providers, custom domains, SSL certificates, and instant rollbacks.
OpenTrailPaper is an open-source firmware for the LilyGO T5S3 e-paper bike computer, allowing riders to track rides, navigate GPS routes, and record data offline. The device can operate independently after loading maps and routes via a companion app, with Bluetooth sensors for heart rate and power data.
Fairphone's Gen 6+ is designed for longevity and easy repairability, allowing users to fully disassemble the phone in about 20 minutes. The Dutch company's approach emphasizes user ownership and sustainability, contrasting with traditional fragile smartphones.
GPT-6 Astra is OpenAI's flagship model designed for advanced analysis, research, and software engineering tasks, especially those involving long-term agentic activities. It is available through OpenRouter, which routes requests to various providers based on speed, cost, and accuracy, and supports a range of demanding applications.
Pass it on
Enjoying the digest?
Forward it to someone who'd like it, or send them the link to subscribe.
Share hn.todayOne for the road
I tried to make up a joke about ghost, but I couldn't.
It had plenty of spirit, but no body.
Worth a look
Large language models are often described as next-token predictors, but post-training, they also learn from generated sequences through reinforcement learning with rewards. This process allows LLMs to explore and improve beyond just predicting existing text sequences.
There are now over 975 active Nitter instances, including some accessible via Tor. Many instances are rate limited or have been taken down due to legal issues, but new ones continue to be created.
European countries like the Netherlands, France, and Germany are relocating their gold reserves from North America to Europe. The moves are driven by concerns over geopolitical unrest and the desire to keep gold closer to home for crisis preparedness.
Starting January 2027, Gmail will no longer support the
Pennsylvania voters are opposing the construction of new data centers in their communities. They believe these developments could negatively impact local residents and the environment.
The US military has disabled ad trackers on soldiers' phones and computers due to security concerns. This move follows reports that location data was used to target American troops in the Middle East.
Song of the day
Deep cuts
Alan Waldenberg, a top Pentagon official, hired his personal lawyer to handle a minerals deal involving the Department of Defense. The deal included a $400 million stake in MP Materials to secure U.S. rare earth supply chains from China.
Spotify's Portal introduced two modes, bulk-reader and code-writer, to reduce token usage by delegating repetitive I/O tasks to cheaper models. This approach significantly cuts costs by reserving the more expensive models for complex problems, saving up to 90% in token consumption.
AI tools now automate incident response, handling routine issues and diagnosing problems without human intervention. However, this automation reduces engineers' experience with complex or unfamiliar incidents, potentially impairing their ability to respond effectively to rare or high-severity problems.
OpenAI, Anthropic, and xAI experienced simultaneous AI service outages, with causes remaining unclear. SpaceX attributed Grok's issues to an outage at its Memphis compute center, but other companies did not specify external sources for the disruptions.
SpacetimeDB addresses the challenge of horizontal scalability in databases by focusing on compute, storage, and networking, with storage scaling available by October 31, 2026. It offers high performance under contention and tools to handle parallelizable OLTP workloads effectively.
deSEC offers a free secure DNS service aimed at enhancing internet privacy and security. The service provides users with a trusted DNS resolver that helps prevent DNS-based attacks.
Today's best Hacker News stories, summarized and screenshotted, one email a day.