OpenAI released new mathematical results, Lean formalizations and compute disclosures while outlining a more transparent path for AI-assisted science.
It is the day’s clearest signal that frontier models are beginning to contribute inspectable mathematical knowledge rather than only solve benchmark questions.
⚡ Quick hits
FundingEx-Ramp engineers raised $20 million for Melius, an AI platform launched after abandoning their first product.TechCrunch ↗
IndustryCanva became the fourth most-used AI platform on the web, according to a16z data shared by Canva.X / Canva ↗
Mistral opened a public preview of its one-trillion-parameter multimodal model, pairing frontier claims with a promise of open weights later this month.
⚡ Quick hits
FundingAI infrastructure startup Lambda is reportedly raising $4 billion ahead of a planned IPO.TechCrunch ↗
DeepSeek is reportedly nearing an $12 billion funding round backed by Tencent and CATL, underscoring the capital race behind Chinese AI.
⚡ Quick hits
IndustryAnthropic CEO Dario Amodei’s reported 2025 compensation reached $18 million, highlighting the financial premium attached to frontier-lab leadership.IT之家 ↗
PolicyItaly’s antitrust authority opened an investigation into Suno over terms allowing unilateral changes to features and subscription fees.IT之家 ↗
AgentsInfoQ China examined how AI can enter the production operations loop, arguing that “AI plus SRE” is not itself an operating model.InfoQ 中文 ↗
AIGCInfoQ China highlighted a Canvas UI release with 35 components amid broader debate over WebGPU’s visual capabilities and browser control.InfoQ 中文 ↗
IndustrySakana AI is hiring a public-sector associate to manage publicly funded projects and ensure compliance with agency rules and deadlines.X / Sakana AI Labs ↗
PolicyQbitAI reported that mathematician Terence Tao is being described as part of a growing AI-slowdown debate.量子位 ↗
IndustrySakana AI is seeking a public-sector specialist to connect its research with government budgeting, policy planning, and procurement opportunities.X / Sakana AI Labs ↗
AgentsSakana AI’s president told an STS Forum audience that competitive advantage is shifting from single-model performance to whole-system orchestration.X / Sakana AI Labs ↗
AgentsCohere presented North 2 as an enterprise control room coordinating agents, connectors, and models across heterogeneous corporate systems.The Decoder ↗
ModelsFalcon-Emirati is a language model tuned for Emirati Arabic, aiming to preserve local dialect, cultural context, and conversational nuance.Hugging Face ↗
IndustryArtificial Analysis placed OpenAI Web Search fifth in its Search Index, behind Perplexity, Octen, Parallel, and Brave.X / Artificial Analysis ↗
AgentsArtificial Analysis reported OpenAI Web Search costs about five cents per task, including roughly four cents for search.X / Artificial Analysis ↗
BenchmarkArtificial Analysis ranked OpenAI Web Search’s average task time at about 31 seconds, placing it fourteenth among 26 products.X / Artificial Analysis ↗
PolicyUtah authorized Nolla Health to begin issuing automated AI prescriptions for acne treatments under its startup program.SiliconANGLE ↗
Reflection AI has released Beam, a 501-billion-parameter open-weight model that targets coding, reasoning and long-horizon agent workloads.
⚡ Quick hits
FundingAI-agent hardware startup Ghost raised $11 million to develop Core, a continuously running personal agent designed for local operation.SiliconANGLE ↗
ResearchMicrosoft Research highlighted evidence that AI performance can degrade significantly in realistic multiturn interactions despite strong single-turn benchmarks.Microsoft Research ↗