A general-purpose OpenAI model produced a proof of the Erdős unit-distance problem, a long-standing open question many mathematicians had attacked without success. Tim Gowers confirmed the result, calling it a case of AI solving a genuine, named open problem rather than a contrived benchmark.
AI data-center demand for memory is draining supply, pushing DRAM and NAND prices up and forcing makers to reprice phones and laptops — the cheap end of the market gets squeezed first as commodity memory stops being cheap.
A tour of the smaller Python 3.15 changes beyond the marquee items — quality-of-life tweaks to the standard library, interpreter behavior, and syntax that most release notes skip but that change day-to-day code.
Ex-Twitter CEO Parag Agarwal argues that as agents, not humans, consume the web, the economics of content creation break — and lays out how to price and incentivize content when the reader is a machine.