OpenAI model cracks 80-year Erdős problem

Hi there, this is your daily Neuronix.

📰 In today's Neuronix:

OpenAI says its system resolved Erdős problem 90, a conjecture in discrete geometry that had resisted proof for roughly 80 years.
The company frames this as a step beyond earlier ‘toy’ AI math results toward tackling non‑trivial, open problems.
It signals AI’s expanding role as a discovery engine in pure mathematics, not just code generation or language tasks.

A SpaceX IPO filing reveals Anthropic agreed to pay $1.25 billion monthly through May 2029 for cloud computing infrastructure.
That’s roughly $15 billion a year—underscoring the soaring costs of training and serving frontier AI models.
The pact highlights a new class of mega ‘compute supply’ deals outside the traditional hyperscale cloud triopoly.

CEO Jensen Huang acknowledged Nvidia’s retreat in China amid U.S. export controls, with Huawei filling the gap domestically.
Nvidia will prioritize compliant products and other regions while Huawei scales its AI accelerators at home.
The shift could reshape AI supply chains and competition dynamics in the world’s second‑largest economy.

Google is overhauling Search to integrate AI-generated answers more deeply, moving beyond the classic ‘10 blue links’.
Direct AI responses could reroute how users discover information and how publishers receive traffic.
It’s one of Google’s most consequential interface changes in decades as AI assistants vie for everyday queries.

Local officials approved a ban on new AI data centers after fierce community opposition tied to quality-of-life impacts.
Residents cite water use, power strain, noise, and tax incentives as key concerns with hyperscale AI builds.
Grassroots resistance adds friction to Big Tech’s trillion‑dollar infrastructure push, pushing projects to friendlier locales.

Reuters: Grok underwhelms in D.C., denting SpaceX’s AI story LINK
Axios: SpaceX isn’t the AI behemoth many assumed LINK
Samsung chip workers to receive ~$340,000 average bonus amid AI boom LINK
Microsoft warns of new Defender zero‑days exploited in the wild LINK
Study: ChatGPT and peers made major errors before Scottish election LINK
FCC official: Don’t give Starlink outsized control over rural broadband LINK
Disney sued over facial recognition at California theme parks LINK
Cleveland’s Flock camera network used for immigration searches, records show LINK
Judge delays approval of Anthropic’s $1.5B copyright settlement LINK
Microsoft to phase out SMS codes, nudges users to passkeys LINK
St. Charles, Missouri, votes to ban data centers LINK

Inter‑1 Streaming API: Real‑time social signal detection from live video, audio, and text via WebSocket. LINK
Claude Code: Anthropic’s coding environment focused on transparency, guardrails, and clear usage limits. LINK
Zero‑code MCP Client: A visual client to instantly test remote Model Context Protocol servers—no boilerplate needed. LINK
Google AI Search: Google weaves AI answers directly into Search, reshaping how users find information. LINK
Microsoft Account Passkeys: Microsoft is shifting from SMS codes to passkeys for authentication across its services. LINK

Study reports AI systems can outperform humans in Turing‑style tests by persuading judges they’re human. LINK
MIT unveils washable computer‑integrated fabric that senses movement and health signals while remaining wearable. LINK
MIT CSAIL builds a custom operating system to directly study how chips execute workloads, enabling new hardware insights. LINK