☕️ SpaceX’s IPO filing is full of surprises

Hi there, this is your daily ☕️ Techpresso.

In today's Techpresso:

👀 SpaceX’s IPO filing is full of surprises

💰 Samsung chip workers will get a $340,000 bonus

💼 Zuckerberg warns ‘success isn’t a given’ after laying off 10% of Meta

🤑 Anthropic will pay xAI $1.25 billion per month for compute

🧮 OpenAI disproves 80-year-old geometry conjecture

Plus: 🎁 15 other news you might like, 🧰 5 tools, and 📚 4 papers.

👀 SpaceX’s IPO filing is full of surprises LINK

SpaceX has finally filed its public IPO paperwork, revealing plans to list on the Nasdaq under the ticker "SPCX" later this year at a reported $1.75 trillion valuation, with Elon Musk serving as CEO, CTO, and Chairman.

The S-1 shows SpaceX lost $4.9 billion in 2025 on $18 billion in revenue, with Starlink bringing in about $11 billion, while the xAI division soaked up 60% of capital spending — roughly $20 billion — and grew revenue just 22%.

SpaceX claims it has identified a $28.5 trillion total addressable market, lists "future markets" like point-to-point Earth travel, space tourism, in-orbit manufacturing, and asteroid mining, and expects Starship to begin payload delivery to orbit in the second half of 2026.

💰 Samsung chip workers will get a $340,000 bonus LINK

Samsung Electronics will hand out 40 trillion won ($26.6 billion) in bonuses to its semiconductor staff after striking a last-minute deal with its South Korean workers' union, narrowly avoiding a strike set for May 21st.

Under the terms, Samsung will pay 10.5% of profits as stock plus 1.5% in cash for 10 years if targets are met, averaging 513 million won ($339,000) per chip employee, with some estimates reaching 600 million won ($396,000).

The union, which originally asked for 15%, will vote on the deal this week, and if approved, workers get the payout in early 2027 and can sell one-third of the shares immediately.

💼 Zuckerberg warns ‘success isn’t a given’ after laying off 10% of Meta LINK

Mark Zuckerberg told staff that "success isn't a given" in a companywide memo on Wednesday, the same day Meta cut 10% of its workforce and pushed harder into artificial intelligence as the defining technology of the era.

The reorganization involves laying off about 8,000 employees and leaving roughly 6,000 open positions unfilled, while 7,000 workers are being moved into AI roles, with Zuckerberg promising no further cuts in 2026.

Laid-off US employees will get four months of severance pay plus extra weeks for each year worked at Meta, along with help on immigration and healthcare, according to an April memo from people chief Janelle Gale.

🤑 Anthropic will pay xAI $1.25 billion per month for compute LINK

Anthropic has agreed to pay xAI $1.25 billion every month through May 2029 for compute, a deal that could push xAI's total revenue from the arrangement past $40 billion across its full term.

The agreement, revealed in SpaceX's S-1 filing with the SEC, covers the full 300 megawatts of output from the Colossus 1 data center near Memphis, with either side able to end the contract on 90 days' notice.

SpaceX framed the deal as a way to monetize unused compute capacity, which suggests xAI overbuilt its servers as Grok usage fell sharply, and the company plans to sign more similar services contracts ahead of a public offering.

🧮 OpenAI disproves 80-year-old geometry conjecture LINK

OpenAI says one of its new reasoning models has produced an original proof that disproves a geometry conjecture posed by Paul Erdős in 1946, overturning a belief held by mathematicians for nearly 80 years.

The model found a new family of constructions that performs better than the square-grid solutions long thought to be the best, and OpenAI calls it the first time AI has autonomously solved a prominent open math problem.

Mathematicians including Noga Alon, Melanie Wood, and Thomas Bloom backed the disproof in companion remarks, a contrast to seven months ago when OpenAI's Kevin Weil wrongly claimed GPT-5 solved 10 unsolved Erdős problems.

Other news you might like

• Anthropic says it’s about to have its first profitable quarterLINK

• OpenAI IPO will happen ASAP, say insidersLINK

• Intuit to lay off over 3,000 employees to refocus on AILINK

• Nvidia says it has ‘largely conceded’ China’s AI chip market to HuaweiLINK

• Flipper unveils a Linux-powered networking gadget built for hackers and tinkerersLINK

• Customers say Trump Mobile is leaking their personal informationLINK

• SpaceX to launch an even bigger Starship prototypeLINK

• Musk’s xAI is being sued over its data center generators — now it’s buying $2.8B moreLINK

• Disney sued over facial recognition at parksLINK

• The era of ‘good enough’ AI has arrivedLINK

• Vibe coding is coming to your phoneLINK

• Waymo pauses Atlanta service as its robotaxis keep driving into floodsLINK

🧰 Trending tools

Tycoon AI: lets you delegate business tasks to an AI CEO that coordinates specialized agents for coding, marketing, and growth via text.LINK

WeWeb 3.0: a no-code editor that lets you build, customize, and deploy production-ready apps using AI generation plus full visual control.LINK

Slideshot: automatically records and edits polished demo videos and GIFs of your web app flows via MCP, eliminating manual screen recording and editing work.LINK

Vivaldi 8.0: a privacy-focused, highly customizable desktop and mobile browser built by an independent company that avoids tracking users or selling their data.LINK

TongueType for macOS: locally-run, press-to-talk voice dictation using Whisper AI, supporting 12 languages with no cloud, accounts, or subscriptions required.LINK

📚 Trending papers & reports

Apple's differential privacy system has bugs and misconfigurations in 5 of 9 audited mechanisms, affecting 87% of data collection in macOS Sonoma and 68% in Sequoia, meaning user data is less protected than Apple claims.LINK

Bitcoin's supposed power law fails as a structural model of price, but still outperforms standard forecasting rivals, with the time-domain exponent varying by nearly a factor of three depending on starting assumptions.LINK

AI agent safety improves when agents write code in a type-checked programming language, which reliably blocks unsafe behaviors like data leaks and malicious side effects, with no significant loss in task performance.LINK

Sycophantic AI models affirm users 50% more than humans do, making people less willing to repair relationships while increasing their false sense of being right, yet users still trust and prefer these flattering systems.LINK

Want to get the latest news differently? Find us on:

See you tomorrow for a new dose of ☕️ Techpresso!