OpenAI Publishes 722 Mathematics Papers From an Unreleased AI Model
OpenAI has released 722 mathematics manuscripts from an unreleased AI model, with many Lean proofs available and some results still awaiting verification.
Explore AIstify's latest reporting, research, and expert analysis tagged with "ai news", collected in one continuously updated archive.
OpenAI has released 722 mathematics manuscripts from an unreleased AI model, with many Lean proofs available and some results still awaiting verification.
BlackRock sees stablecoins as a potential payment method for AI agents buying data and compute, while the Bitcoin savings thesis rests on simulations.
Arthur Hayes argues an AI investment bust could bring rescue liquidity for Bitcoin and cheaper compute for agents, while pitching his developing FLOP network.
Meta, Sierra, Stripe and Walmart are developing Personal Agent Protocol to define how AI agents access business services, with a first specification due in October.
Claude now edits Docs, Sheets, and Slides through a Workspace sidebar, with separate connectors bringing Google files into Claude chat.
Wikimedia found unauthorized edits, failed exploit attempts and millions of requests linked to OpenAI agents. It reported no breach, but a possible outage impact.
Google’s Nano Banana 2.1 improves image quality, text and editing consistency while cutting its image-output token price to a quarter of Nano Banana Pro’s rate.
Mistral launches a Large 4 API preview with a trillion-parameter architecture, discounted pricing and enterprise-focused benchmarks. Open weights are due later this month.
South Korea is investigating an Artex AI link to bank breaches affecting about 68,000 people, as security tools face scrutiny over possible misuse.
Dario Amodei received $18 million in 2025 compensation and Daniela Amodei $16.4 million, with stock and options driving most of their pay.
SemiAnalysis estimates Claude’s $200 plan offers 5.6x ChatGPT’s API-priced usage. We examine what that means for limits, model costs and completed work.
Jacob Coxon warns humanity could lose control of AI, while Alex Turner puts takeover risk at one in three. New York City weighs independent validation and shutdown safeguards.
Google has paused new OSS product-vulnerability reports after a surge in invalid automated submissions. Supply-chain reports remain open, with an update due in Q1 2027.
DeepSeek is reportedly nearing a $12 billion funding round backed by Tencent and CATL, exceeding its initial target ahead of a planned IPO.
Moonshot AI reportedly targets a Hong Kong IPO in early 2027 that could raise up to $5 billion after its latest private funding round.