One of mathematics’ most contentious debates could be settled by translating a controversial 500-page proof into computer code. The decade-long standoff over Shinichi Mochizuki’s ABC conjecture proof might finally get resolved through formal verification in Lean.
The PlayStation 5 has reached 84.2 million units sold, officially surpassing every Xbox console in history. While the Xbox 360 likely sold slightly more over its lifetime, Microsoft hasn’t updated those figures in over a decade. Sony’s current generation is proving to be its most financially success
The global securities regulator IOSCO has issued warnings about tokenization, noting that blockchain-based tokens linked to traditional assets could create new risks for investors. While adoption remains limited, regulators are concerned about counterparty risks and potential spill-over effects from
Mozilla’s latest Firefox update officially ends support for 32-bit Linux systems while adding powerful new PDF annotation features. The browser also gets visual refinements and smarter tab management tools for modern workflows.
Microsoft has made its Surveys Agent generally available to all Microsoft 365 Copilot commercial users worldwide after months of testing. The feature streamlines survey creation, management, and analysis directly within Copilot’s interface. Users can now ground surveys in existing Office files and a
For the first time, researchers have successfully trapped a stable “closed-shell” molecule using deep ultraviolet light. The breakthrough with aluminum monofluoride required lasers operating at 227.5 nm and took nearly eight years to achieve. This opens doors to advanced quantum simulations and prec
European edtech startups are raising millions for AI tools that promise to enhance rather than replace learning. From writing platforms to grading assistants, investors are betting big on AI’s educational potential despite cheating concerns.
Minisforum just unveiled the MS-R1, the world’s first Arm-based mini workstation with UEFI boot support. Powered by China’s CIX CP8180 processor, it delivers server-grade performance in a 1.7-liter chassis. Starting at just $504, it could disrupt the entire compact workstation market.
The great corporate Bitcoin trade is showing cracks as both skeptic James Chanos and MicroStrategy’s Michael Saylor adjust their positions. Chanos has exited his short against MicroStrategy after the stock’s premium to Bitcoin holdings narrowed dramatically. These moves signal shifting sentiment aro
GEEKOM is shaking up the laptop market with the Geekbook X14 Pro, an all-metal ultra-light Windows laptop weighing just 999g. The company saw 150% revenue growth in Q3 2025 and is positioning itself against giants like Apple and Dell. Both X14 Pro and X16 Pro models feature Intel Ultra processors an
