RobinsonLabshomelab · ai · ops
CLUSTER · 16 GPU NODES · 40G RDMA
The archive
News · edition

Edition, Sat, 01 Aug 2026.

4 stories on the wire this day. Open any story for its sources. Summaries are written by software from the linked reporting and can be wrong. Spot an error? Email [email protected] and we will correct or remove it.

AI & Technology

The company's next major model family solved long-standing problems in geometry, group theory, and combinatorics, with proofs formalized in Lean for machine-checkable verification.

2 sources
Lead
this edition
Still developing
Anthropic introduces Claude Sonnet 5 as the most agentic mid-size modelClaude Sonnet 5 offers performance close to the larger Opus 4.8 but at a lower cost, with improved reasoning, tool use, and coding capabilities.AnthropicTechCrunch
Apple regains crown as world's most valuable company, overtaking NvidiaInvestors reshuffled tech's top ranks as Apple's market cap hit roughly $4.88 trillion, surpassing Nvidia's $4.86 trillion on Friday.The GuardianReuters
China launches WAICO, a new global AI governance body with 29 founding nationsThe World Artificial Intelligence Cooperation Organization was officially signed on July 16 in Shanghai, positioning AI development as a shared global endeavor rather than a single-nation pursuit.The DiplomatXinhua via CPPCC
Moonshot AI's Kimi K3 becomes world's largest open-weight model, tops code benchmarksThe 2.8-trillion-parameter model released July 16 ranked first in the Frontend Code Arena with 1,679 points, beating Claude Fable 5 in blind developer testing.Tom's HardwareArena.ai
ServiceNow hits $1B AI ACV and raises full-year outlook in strong Q2 2026 earningsServiceNow reported Q2 2026 revenue of $3.987B (up 24% YoY) and announced its AI platform crossed $1B in annual contract value, prompting a raised full-year subscription revenue forecast.Outlet
Strong ad growth drove revenue up 28% year-over-year, but heavy AI infrastructure investment squeezed free cash flow to just $784M.
SpaceXAI launches Grok 4.5 as an Opus-class model at lower costThe new model excels at coding, agentic tasks, and knowledge work with twice the token efficiency of competitors.SpaceXAITechCrunch
xAI releases Grok 4.5 with 1.5 trillion parameter MoE architecture and competitive pricingThe new model launched July 9 alongside GPT-5.6, featuring training on Cursor data and achieving 83.3 percent on Terminal-Bench 2.1 while using approximately 25 percent fewer output tokens than Opus 4.8.AIapps

AI & Technology

AI & Technology
A configuration of five point charges producing 24 critical points overturned James Clerk Maxwell's 1873 upper bound of (n-1)².
2 sources
AI & Technology
Taiwan's largest chip designer targets 15-20% share of the $80B custom AI chip market by 2027.
1 source
AI & Technology

OpenAI unveils Astra model with 10 groundbreaking math proofs

The company's next major model family solved long-standing problems in geometry, group theory, and combinatorics, with proofs formalized in Lean for machine-checkable verification.

The company's next major model family solved long-standing problems in geometry, group theory, and combinatorics, with proofs formalized in Lean for machine-checkable verification.

OpenAI has officially announced its next major model family, "Astra," by releasing a report detailing ten previously unsolved mathematical proofs across high-dimensional geometry, coding theory, group theory, quantum complexity, lattice cryptography, and extremal combinatorics. One major breakthrough established the existence of non-sofic groups, resolving a question that had remained open for decades. The model generated the arguments, humans helped turn them into research papers, and the proofs were formalized in Lean, creating machine-checkable certificates of correctness.

The achievement cost approximately $2,000 in API tokens at OpenAI's Sol rates. Thomas Bloom from the University of Manchester called the results "big news," noting that while AI didn't replace mathematicians, it drew on more than a century of human mathematical theory. Astra is the first model to undergo the planned U.S. government safety review process under the new AI framework and may ship as GPT-6 or a variant like GPT 5.7.

2 sources
The Decoder
Startup Fortune
AI & Technology

Meta reports $60.8B Q2 revenue, raises 2026 AI capex floor to $130B

Strong ad growth drove revenue up 28% year-over-year, but heavy AI infrastructure investment squeezed free cash flow to just $784M.

Strong ad growth drove revenue up 28% year-over-year, but heavy AI infrastructure investment squeezed free cash flow to just $784M.

Meta Platforms posted second-quarter 2026 revenue of $60.8 billion, a 28% increase year-over-year, driven by a 14% rise in ad impressions and a 12% increase in average price per ad. However, total costs rose 55% to $42 billion, including $2.4 billion in legal charges and $1.18 billion in severance expenses from the May 2026 headcount reduction. Free cash flow collapsed to $784 million from $8.55 billion the prior year, as capital expenditures reached $31.08 billion.

CEO Mark Zuckerberg stated that AI is accelerating Meta's core business and opening new enterprise opportunities. The company raised its full-year 2026 capital expenditure forecast floor to $130 billion, up from $125 billion, reflecting continued heavy investment in AI infrastructure. Family Daily Active People reached 3.6 billion, up 3% year-over-year.

2 sources
Meta Investor Relations
Blockspace Media
AI & Technology

GPT-5.6 helps mathematicians disprove 152-year-old Maxwell conjecture

A configuration of five point charges producing 24 critical points overturned James Clerk Maxwell's 1873 upper bound of (n-1)².

A configuration of five point charges producing 24 critical points overturned James Clerk Maxwell's 1873 upper bound of (n-1)².

The paper "The Maxwell Conjecture is False," posted to arXiv on July 29 by Philip Arathoon, Gavin Ball, and Matthew D., presents a counterexample showing that five charges can produce 24 non-degenerate critical points, exceeding the conjectured maximum of 16. GPT-5.6 Sol suggested the key configuration that led to this proof, which overturns a conjecture that had remained unbroken for roughly 150 years.

This breakthrough opens new directions in the study of electrostatic equilibrium points. Greg Brockman of OpenAI noted on X that it was "wild that this level of intelligence can be accessed by and is available to empower everyone," highlighting the significance of AI-assisted mathematical discovery.

2 sources
Office Chai
arXiv
AI & Technology

MediaTek approves $5B financing for AI data-center chip expansion

Taiwan's largest chip designer targets 15-20% share of the $80B custom AI chip market by 2027.

Taiwan's largest chip designer targets 15-20% share of the $80B custom AI chip market by 2027.

MediaTek's board approved a discretionary financing budget of $5 billion to support long-term growth in AI chips for data centers, marking a strategic push to reduce reliance on smartphones. The company raised its 2027 addressable market estimate for custom AI chips to $80 billion and increased its target market share to 15-20% from 10-15%.

The first custom AI chip is entering production in the fourth quarter, with a second expected for volume production in 2028. MediaTek expects its data-center AI chip business to generate more than $2 billion in revenue in 2026. This comes as smartphone-chip revenue fell 20% in Q2 amid rising component costs and declining global smartphone shipments.

1 source
The Star Malaysia
Every edition

The wire publishes daily and keeps an archive of every edition, listed by date, newest first. If a summary is wrong, we correct or remove it.

Back to the archive Latest edition