OpenAI says its reasoning model disproved a geometry conjecture unsolved since 1946, and the snippet says mathematicians who challenged its previous claim now back it; the post does not disclose the model name, proof details, or verification process.

OpenAI resumed IPO preparations one day after Elon Musk lost a lawsuit targeting its structure, leadership, and finances; the headline says the IPO may happen in September, but the post does not disclose valuation, underwriters, or filing timeline.

OpenAI is preparing an IPO filing for a listing as soon as September with a target valuation of $1 trillion; the post names Goldman Sachs, Morgan Stanley, and Cooley but does not disclose filing terms or exchange details.

OpenAI Devs says the ChatGPT mobile app now supports Codex, letting users ask questions on mobile and continue the same conversation on desktop; the post does not disclose supported platforms, app versions, or rollout scope.

The title says OpenAI is preparing to file for an IPO soon; the RSS body only discloses 25 Hacker News points and 5 comments, and the post does not disclose valuation, fundraising size, filing date, or listing timeline.

SoftBank has committed more than $60 billion to OpenAI and holds over 10% without a board seat, while some executives question the risk of concentrating that much capital in one company.

OpenAI is offering each startup in Y Combinator’s current batch $2 million in API credits in exchange for equity; the post does not disclose the equity stake, credit expiration, or usage limits.

An OpenAI model solved the 80-year-old unit distance problem and disproved a major conjecture in discrete geometry; the post does not disclose the model name, proof mechanism, or reproducibility conditions.

Google, OpenAI, and Anthropic diverged on model pricing: Gemini 3.1 Pro is priced at $2 input and $12 output, GPT-5.5 at $5 and $30 after a short subsidy, and Claude Opus 4.7 stayed at $5 and $25.

Google released Gemini 3.5 Flash at I/O with $1.50 per million input tokens and $9 per million output tokens, making it 3x and 6x the previous model’s pricing, while adding roughly 1 million input tokens and about 65,000 maximum output tokens.

OpenAI says users generate more than 1.5 billion images per week in ChatGPT, and the post discusses new use cases and trends since the release of Images 2.0.

Bloomberg’s Big Take Asia podcast says Masayoshi Son’s OpenAI investment totals $60 billion. The snippet says the bet is raising concerns inside SoftBank. The post does not disclose deal terms, OpenAI valuation, financing structure, closing status, or timetable.

SoftBank has committed more than $60 billion to OpenAI, and some insiders are uneasy about Masayoshi Son’s devotion to Sam Altman; the RSS snippet does not disclose deal terms, deployment timing, or how many insiders raised concerns.

A jury quickly rejected Elon Musk’s lawsuit against OpenAI’s other founders and Microsoft, and TechCrunch says the courtroom record showed a weak case, including that Musk waited too long to file it.

OpenAI launched Guaranteed Capacity, a service for customers to secure long-term access to OpenAI compute and plan critical workloads under capacity constraints; the post does not disclose pricing, contract duration, or quota levels.

Google released Android CLI for AI coding agents, letting platforms such as Claude Code and OpenAI Codex build Android apps from the command line; the RSS snippet does not disclose version numbers, release timelines, pricing, or performance data.

OpenAI announced two measures for detecting AI-generated images: it joined the open C2PA standard and added Google’s SynthID to its products. The RSS snippet does not disclose which OpenAI products include SynthID, whether the checks cover legacy images, or when the measures become available to users.

Andrej Karpathy joined Anthropic’s pre-training team, which runs large-scale training for Claude’s core knowledge and capabilities; the RSS snippet does not disclose his title, reporting line, or start date.

Andrej Karpathy has joined Anthropic to return to frontline LLM research; the post identifies him as a former OpenAI core team member and Tesla Autopilot architect, but does not disclose his team, title, or specific research projects.

Former Microsoft executive Matt Veloso said Microsoft generated about $30 billion from its AI partnership between 2023 and 2025, while related costs reached $100 billion; he also said actual usage among paid Copilot users is below 3%.

OpenAI launched an AI content provenance system that combines Content Credentials and SynthID with a verification tool; the post does not disclose supported media formats, rollout scope, or detection accuracy.

The Information says 34 leading AI startups reached about $80 billion in annualized revenue, with OpenAI and Anthropic taking 89%, while Anthropic exceeded $30 billion in April 2026 and surpassed OpenAI’s reported $25 billion.

A federal jury in Oakland ended Elon Musk’s three-week case against OpenAI and Sam Altman by ruling that the statute of limitations had expired, while Musk said he would appeal to the Ninth Circuit.

Anthropic acquired Bun, Vercept, Coefficient Bio, and Stainless within six months, while OpenAI acquired Astral; the post does not disclose deal values, terms, or the cost comparison against forking the open-source projects.

A jury ruled against Musk in his case against OpenAI after two hours of deliberations, giving Sam Altman a legal victory; the RSS snippet does not disclose the claims, legal reasoning, or details of OpenAI’s public-listing plans.

Anthropic acquired Stainless, a New York startup founded in 2022 that automates creation and maintenance of SDKs for developers using APIs; the post does not disclose the deal price or Anthropic’s integration plan.

A jury rejected Elon Musk’s claims against Sam Altman and OpenAI over its shift toward a for-profit structure, finding he waited too long to sue; the post does not disclose the court venue, requested remedies, or overhaul terms.

The jury reached a unanimous verdict after about two hours in Musk v. Altman, finding two of Musk’s three claims time-barred and the third failed after a related dismissal; the advisory jury’s verdict was not legally binding, but US District Judge Yvonne Gonzalez Rogers accepted the decision.

Nine California jurors unanimously ruled that Elon Musk filed his claims against Sam Altman and OpenAI too late, and the RSS snippet does not disclose the requested damages or detailed legal reasoning.

OpenAI and Dell are partnering to bring the Codex coding agent to enterprise hybrid-cloud and on-premises deployments; the RSS snippet does not disclose launch timing, pricing, supported regions, or the specific security controls for sensitive data.

SmallCode passes 87 of 100 benchmark tasks with Gemma 4 activating 4B parameters per token. The author attributes the result to compound tools, compile and lint feedback, task decomposition after two repeated failures, and optional escalation to Claude or OpenAI for one task.

The FT headline says OpenAI’s $1tn IPO fate will be decided by an Oakland jury, while the RSS snippet only says Elon Musk’s legal challenge could derail the AI start-up’s commercial ambitions; the post does not disclose a trial schedule or IPO terms.

Google is widening its content transparency and verification tools across Search, Gemini, Chrome, Pixel and Cloud, and deepening industry partnerships. SynthID has watermarked over 100 billion images and videos plus 60,000 years of audio. SynthID verification in the Gemini app has been used 50 million times, and the capability reaches Search today, with Chrome in the coming weeks.

OpenAI partnered with Malta to give citizens one year of ChatGPT Plus after they complete a University of Malta AI literacy course, with the first users scheduled to receive access in May and distribution handled by the Malta Digital Innovation Authority.

Researchers used OpenHands to analyze traces from 8 frontier models on 500 swe-bench-verified tasks, finding that agentic coding reached a 154:1 input-output token ratio and that human difficulty labels correlated weakly with token use at Kendall tau 0.32.

Peter Steinberger used 603 billion tokens across 7.6 million requests in 30 days, with the bill exceeding $1.3 million; he said disabling fast mode cut the price by 70%, and OpenAI does not charge him for the tokens.

Deedy Das estimated that about 10,000 founders and employees at companies including OpenAI, Anthropic, and Nvidia have accumulated more than $20 million in wealth, while many software engineers face layoffs, sub-$500,000 career ceilings, and anxiety that their core skills are losing labor-market value.

Greg Brockman has officially taken charge of OpenAI’s product strategy, and Wired reports that he described a plan in a staff memo to combine ChatGPT and Codex into one unified experience.

OpenAI merged ChatGPT, Codex, and API into one product organization, with Greg Brockman taking over product strategy; the post says Anthropic’s valuation reached $900 billion, but it does not disclose the restructuring timeline.

Cerebras closed its IPO at a $60 billion market cap. CFO Bob Komin said it serves trillion-parameter models, including internal OpenAI 5.4 and 5.5 workloads, but the post does not disclose traffic share, latency tier, or cost per token.