LIVE PULSE
4.9 Anthropic CEO Amodei calls for slower AI development and shared safety rules — 11 src2.6 Agility Robotics unveils Digit 5 humanoid for warehouses and factories — 2 src2.4 Apple ships rebuilt Siri with Google Gemini, but not in the EU — 2 src2.2 Siri AI in macOS 27 Golden Gate: FAQ, Germany availability, privacy questions — 2 src1.7 Sam Altman says OpenAI will not go public in 2026, citing AI safety concerns — 5 src1.4 OpenAI contractors review real ChatGPT conversations to rate responses, report says — 2 src1.3 Anthropic data retention policy prompts firms to limit Claude use for sensitive work — 1 src1.3 CoMem Paper Proposes Shared and Individual Memory Design for LLM Multi-Agent Systems — 1 src1.3 Paper proposes evolving context parameterization for large language models — 1 src1.3 Fine-Tuning Vision-Language Models with Listener Gaze for Referring Expressions — 1 src4.9 Anthropic CEO Amodei calls for slower AI development and shared safety rules — 11 src2.6 Agility Robotics unveils Digit 5 humanoid for warehouses and factories — 2 src2.4 Apple ships rebuilt Siri with Google Gemini, but not in the EU — 2 src2.2 Siri AI in macOS 27 Golden Gate: FAQ, Germany availability, privacy questions — 2 src1.7 Sam Altman says OpenAI will not go public in 2026, citing AI safety concerns — 5 src1.4 OpenAI contractors review real ChatGPT conversations to rate responses, report says — 2 src1.3 Anthropic data retention policy prompts firms to limit Claude use for sensitive work — 1 src1.3 CoMem Paper Proposes Shared and Individual Memory Design for LLM Multi-Agent Systems — 1 src1.3 Paper proposes evolving context parameterization for large language models — 1 src1.3 Fine-Tuning Vision-Language Models with Listener Gaze for Referring Expressions — 1 src
HEATPULSEAI MAGAZINES
FLIP · FOLLOW · SAVE
Log inSign up

ai-for-mathematics

topic2 events
papersSEP 9 15:00 UTC

OpenAI says a model completed a proof related to the Navier-Stokes equations

OpenAI stated on Tuesday, September 8, that one of its models produced a proof tied to the Navier-Stokes equations, one of the seven Millennium Prize Problems carrying a $1 million award. The claim concerns a longstanding set of partial differential equations describing fluid flow, whose general smoothness and existence questions remain unresolved. It is unclear from the report how much of the underlying mathematical problem the work actually addresses.

openai/mathematics/research/navier-stokes
papersSEP 8 10:00 UTC

OpenAI shares AI-generated solution to Navier–Stokes Millennium Prize problem with Lean proof

OpenAI says its AI has produced a solution to the Navier–Stokes problem, one of the Clay Mathematics Institute's seven $1 million Millennium Prize challenges. The release includes a technical writeup together with a machine-checked formal proof written in the Lean proof assistant. Whether the argument constitutes a complete, correct solution will depend on scrutiny from the mathematics community.

WHY IT MATTERS ↘Pairing a frontier-model claim with a machine-checked Lean proof shifts verification from trusting the lab to auditing a formal artifact, a template that could become standard for evaluating AI reasoning claims. It also escalates competitive pressure among labs to target landmark open problems, though expert scrutiny of the argument remains the real bottleneck before any practical or prize implications follow.

openai/mathematics/lean/millennium-prize