LIVE PULSE
4.0 Anthropic CEO Amodei calls for slower AI development and shared safety rules — 11 src2.2 Agility Robotics unveils Digit 5 humanoid for warehouses and factories — 2 src2.0 Apple ships rebuilt Siri with Google Gemini, but not in the EU — 2 src1.8 Siri AI in macOS 27 Golden Gate: FAQ, Germany availability, privacy questions — 2 src1.4 Sam Altman says OpenAI will not go public in 2026, citing AI safety concerns — 5 src1.1 OpenAI contractors review real ChatGPT conversations to rate responses, report says — 2 src1.1 Anthropic data retention policy prompts firms to limit Claude use for sensitive work — 1 src1.1 Study examines issue bias in LLMs used as writing assistants before Swedish 2026 election — 1 src1.1 Study Audits Misalignment in Multi-Modal World Models — 1 src1.1 Retrieval-Grounded Reasoning Approach Proposed for Universal Multimodal Embeddings — 1 src4.0 Anthropic CEO Amodei calls for slower AI development and shared safety rules — 11 src2.2 Agility Robotics unveils Digit 5 humanoid for warehouses and factories — 2 src2.0 Apple ships rebuilt Siri with Google Gemini, but not in the EU — 2 src1.8 Siri AI in macOS 27 Golden Gate: FAQ, Germany availability, privacy questions — 2 src1.4 Sam Altman says OpenAI will not go public in 2026, citing AI safety concerns — 5 src1.1 OpenAI contractors review real ChatGPT conversations to rate responses, report says — 2 src1.1 Anthropic data retention policy prompts firms to limit Claude use for sensitive work — 1 src1.1 Study examines issue bias in LLMs used as writing assistants before Swedish 2026 election — 1 src1.1 Study Audits Misalignment in Multi-Modal World Models — 1 src1.1 Retrieval-Grounded Reasoning Approach Proposed for Universal Multimodal Embeddings — 1 src
HEATPULSEAI MAGAZINES
FLIP · FOLLOW · SAVE
Log inSign up

AI-generated proofs

topic1 events
papersSEP 9 10:31 UTC

OpenAI claims Navier-Stokes proof generated by 10,000-agent system

OpenAI says a system of 10,000 agents produced a proof addressing one of the Millennium Prize problems, Navier-Stokes. The result was published alongside a Lean repository to support independent verification and concerns a particular case covered by the official problem statement. The validity of the proof remains under scientific review.

openai/math/lean/agents