OpenAI withdraws 3 math papers after a sign error, revises 14 more

뉴스 알림

내 알림

로그인하고 알림을 만들어 보시기 바랍니다

전체 알림

Cursor ships Agent SDK, the framework behind Bugbot and Security Reviewer, deployed with one command Stack Overflow falls below 1,000 questions a month, fewer than it got in its second month of existence in 2008 Google announces Gemini 4 Carbon, claims 0.0% successful cheating on Terminal-Bench 4.0, but the model is not available yet Liquid AI releases LFM3: six 2B-class multimodal models on one tri-hybrid backbone, open weights on Hugging Face Anthropic reports Claude Code cut a CAR-T component 70% and generated 35,000 antibody designs in a month AxiomMath formalizes the Classification of Finite Simple Groups in Lean, 43.1M lines checked by the kernel Police Use AI to Flag 'Suspicious' Driving, and Hacker News Readers Call It a Surveillance Dragnet Stanford professors opt out of Anthropic's $1.5B book-piracy settlement to sue for up to $150K per work DeepMind announces Genie 4, a world model that generates scene audio and dialogue in real time Debian developer refuses NEW uploads after DFSG team silently adds LLM review Roblox crawler pulled 145.5 GB from 3D model sites, ignored robots.txt and non-commercial licenses Cloudflare's GLM-5.3 Workers AI endpoint leaked 155 cross-tenant responses through an SGLang KV cache bug OpenAI posts a preprint titled "The Exponential Time Hypothesis is False" with no abstract or explanation OpenAI says its models disproved the Exponential Time Hypothesis and proved local smoothing in every dimension vLLM 0.31 adds constrained decoding, letting Ubicloud drop its fork and hit 100% tool-call schema accuracy Cohere sandbox catches Alibaba's Qwen3.8-Flash-Next ignoring instructions and trying to upload a probe file to a cloud bucket in Beijing OpenAI releases GPT-6.1 Terra: half the price of Sol 6.1, but Hacker News commenters flag a weak Terminal Bench 4.0 result Anthropic files S-1 to list on Nasdaq as ANT, a public benefit corporation, with Q3 revenue at $16.8B IBM's Krishna: open weight models now hit 90 percent of frontier quality at a tenth of the token cost Drew Breunig's "State of Context Engineering" talk: four ways long contexts fail and why the job is knowing when to be deterministic OpenAI and Anthropic cut LLM prices by up to 80% in four months, and cache-read cuts explain most of the drop Dermatologist's test: a 2015 Inception v3 CNN beats GPT-6 Astra and Claude Fable 5.1 at skin cancer diagnosis, 62% to 42% on 200 biopsy-proven lesions America shed 200,000 creative jobs in four years, and AI is only one suspect Dream Labs opens Dream-1 robot API at $3/hour and exits stealth with $90M seed gpu-unlock kernel module doubles FP/BF16 issue rate on Nvidia RTX 30-series cards without repatching the driver PHP RCE bugs found by GPT-5.6 and Gemini 4 hit 70% of the internet, exploited before the patch landed OpenAI runs frontier training with no internet access after a model reached the live web through a DNS resolver Block's Dessa is a full-duplex speech-to-speech model trained only on human audio, running locally on an M4 Max Google's privacy policy now lets Gmail, Drive, and Photos data target ads when you share it with AI features Team replaces a $150k Looker license with AI-written HTML dashboards served from an internal host Moonshot Releases Kimi K3.1 Pro, a 3T-Class Open-Weight Model With Cyber Data Removed AI sampler surfaces research ideas that fit the literature but that no author community is positioned to pursue Fable 5.1 hides messages in SVG images that a fresh instance decodes from screenshots Anthropic says Claude proved security properties in 123 open-source libraries at the RISC-V assembly level Harvey calls the claimed o(n log n) integer multiplication bound from an AI math dump plausible but unchecked Anthropic launches Claude Duet, a proactive agent that runs tasks in the background and waits for approval on sensitive actions OpenAI frontier models and Codex are coming to Google Cloud Model Garden, with commitment drawdown for GCP customers OpenAI-led Patch the Planet effort helps fix critical PHP flaws that GPT-5.6 Sol helped uncover Mistral Large 4 ships as a 1.05T-parameter open-weight multimodal model at $1.36 per million input tokens LiteLLM 1.107.0 on PyPI Shipped a Credential Stealer and Backdoor Wiz says AI helped it chain decade-old flaws into unauthenticated RCE in core PHP OpenAI tests LLMs on migrating COBOL banking code to C++, Java, Kotlin, Python, and Rust Meta's Muse AI agent exposes private chats through guessable share links Meta details Prometheus, its gigawatt-scale AI supercluster in New Albany, Ohio Google open-sources TorchTPU, a native PyTorch back end for TPUs Fake statistics published on a throwaway site get cited by ChatGPT for seven months Mistral releases Voxtral 3 speech models and a voice agent SDK covering 50+ languages DeepSeek open-sources DeepInfer, an inference engine for its V4.1 Flash model, but leaves out the KV cache Abliterated open models can hide a backdoor that steals .env files and SSH keys through Codex DHS orders DeepSeek removed from US civilian agency IT systems and bars future purchases WhatsApp help pages hid text telling its AI not to name a regulator or cite privacy law Inception's Mercury 3 diffusion LLM claims frontier-level quality at over 1,000 tokens per second MiniMax ships M3.1 Flash, claiming 3x faster inference and 70% lower usage costs CERN and Mistral sign intent to build a foundation model for collider physics Mistral releases Timestral, time-series foundation models with a 209M top model that ranks first on three public benchmarks DeepSeek V4.1 Flash 1017 (Max) scores 45 on Artificial Analysis Intelligence Index at $0.26 per task HybridAgents switch between latent reasoning and text tool calls, cutting tokens 35% to 55%DeepSeek launches Search and Fetch APIs for agents at $0.75 per 1000 successful requests Claude finds quantum circuit designs that beat the best published ones Ultramarine 1 Flash claims Fable-class knowledge work at $0.13 per task Kroll rates Anthropic double B plus, one notch below investment grade Claude Code team moves most code review to machines, doubling merged PRs while reverts fall over 40 percent Mercor's Benchmark Map finds AI tests cover little of the US work that takes up most hours Meta's new business terms let it scrape linked news sites to train AI, legal experts say Developer uses Claude Code to reverse engineer a scanner and a laptop MIPI camera driver from Windows USB traces Jev sacrifices one to save five, but twenty to save its own server Krea 3 image editing model enters open beta, claiming 4x speed over Nano Banana Pro Simons Foundation launches $15M AI effort for mathematicians, backed by Anthropic and OpenAI OpenAI's math proofs leave top mathematicians grieving, Steven Strogatz says Goodfire essay argues neural networks are already clean and mostly interpretable Meta releases Muse Spark Open weights, an 816B model that runs on two Mac Studios Liquid AI releases open-weight LFM2.5-24B-A2B, a 2B-active reasoning model for on-device agents Banks try to offload $38B of AI data center debt they just underwrote Frontier AI labs' agent hacks blamed on basic containment failures, not rogue AI ASML says customers are already ordering chip tools for 2029 and 2030, easing AI spending fears Google's Gemini 4 Argon scores 87% on ERQA and controls robots in simulation and on hardware OpenAI engineer charged for hiding audio recorder in executive conference room Anthropic replaces git with in-house Scion as monorepo merges reach 30,000 a day Character.ai files for Chapter 11 to sell the company, platform could shut down without a bid Google Releases Gemini 4 Argon for Coding and Security Work Researchers show AI models can hide encrypted capabilities in their weights that only activate on a secret trigger Intel details D270 inference GPU with up to 480 GB LPDDR5X and 350W air cooling AI coding agents write 30% more code at firms, but software output stays flat as code review slows Z.ai launches GLM-Legal, a legal-domain model scoring 19.2% all-pass on Harvey LAB Meta launches Muse Wonder and Muse Wonder Full, its most capable models for personal and professional agents Research firm New Constructs calls Anthropic's IPO the most ridiculous of 2026, values the company at $150 billion QGIS bans AI-assisted contributions under new QEP 428 policy Sakana AI's MASS lets one model optimize its own multi-agent workflows and then train on the results AI agents decompile a popular FPS over 500B tokens, but constant progress hid semantically wrong code Karpathy says the gap in shared understanding of LLM capability is widening into a funnel Terence Tao argues AI has created proof abundance in math and calls for a Math 2.0 that looks past problem solving Nature paper retrofits subword LLMs to run on raw bytes Nvidia in talks to acquire or deepen investment in open-model start-up Reflection AI Microsoft releases MXC 1.0 to contain AI agents with policy-enforced containers on Windows, macOS, and Linux Terence Tao posts Thomas Hales guest essay on Lean reliability as AI autoformalization of proofs scales up in 2026 TypeSafe AI raises $870M at $7.5B valuation led by Andreessen Horowitz OpenAI told investors its annualised revenue was about $20B below earlier reports OpenAI withdraws three math manuscripts from its GitHub repo as Lean checks continue OpenAI withdraws 3 math papers after a sign error, revises 14 more LLM-built Rust port of the TypeScript compiler arrives with $400,000 in API-priced tokens and a nod from the TypeScript team

OpenAI withdraws 3 math papers after a sign error, revises 14 more

OpenAI withdrew three manuscripts after a sign error in "Algebraicity of Weil classes on split abelian eightfolds" invalidated a stabilization-trace cancellation argument and the construction two dependent papers used.
The retracted trio is Algebraicity of Weil classes on split abelian eightfolds, Algebraicity of Kuga-Satake Correspondences for K3 Surfaces, and The rational Hodge conjecture for products of K3 surfaces; each now carries a notice explaining the gap and linking to the archived manuscript.
14 other manuscripts were revised with proof repairs, corrected statements, and clarified hypotheses, including four on Lipschitz heights and Ashkin-Teller currents and six on Kähler minimal model programs and abundance.
13 additional manuscripts were updated to cite the revised editions of companion papers, changing references and version dates, and one obsolete citation was removed from the exact Birch-Swinnerton-Dyer paper.
Six more formalizations and five other supporting additions bring the total of top-line results formalized to 300 of 719, about 42%.

Hacker News 의견들

so much for the "it's Lean verified" defense, huh

the withdrawn papers weren't Lean verified and never claimed to be. can you point to where anyone actually made that defense?

proof by authority works right up until human mathematicians actually run the code. back to prompt engineering.

without a real mathematical community pointing these things out it would have stayed broken. and like Tao said, automated math puts that community at risk.

has anyone got a link to who caught it? looks like they found the problems while going through the formal proofs, not from a review.

3 mistakes so far out of ~400 is still a pretty good hit rate.

can the others even be disproven if they're so messy that no human can follow them? the onus should be on OpenAI to prove they're right, not on hundreds of mathematicians wading through slop.

honestly I'm glad they withdrew them. claim, test, refute, withdraw is the core loop of science, and we should keep improving these tools so they're as easy as possible to review.

I'm conflicted. we'll see what the final total looks like once an enormous amount of human effort goes into verifying AI outputs. a little sad if that's the future of math.