cho.sh

뉴스 알림

새 알림

내 알림

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

전체 알림

Dune제욱 님AI제욱 님해커뉴스성현 님
AI
Cursor ships Agent SDK, the framework behind Bugbot and Security Reviewer, deployed with one commandStack Overflow falls below 1,000 questions a month, fewer than it got in its second month of existence in 2008Google announces Gemini 4 Carbon, claims 0.0% successful cheating on Terminal-Bench 4.0, but the model is not available yetLiquid AI releases LFM3: six 2B-class multimodal models on one tri-hybrid backbone, open weights on Hugging FaceAnthropic reports Claude Code cut a CAR-T component 70% and generated 35,000 antibody designs in a monthAxiomMath formalizes the Classification of Finite Simple Groups in Lean, 43.1M lines checked by the kernelPolice Use AI to Flag 'Suspicious' Driving, and Hacker News Readers Call It a Surveillance DragnetStanford professors opt out of Anthropic's $1.5B book-piracy settlement to sue for up to $150K per workDeepMind announces Genie 4, a world model that generates scene audio and dialogue in real timeDebian developer refuses NEW uploads after DFSG team silently adds LLM reviewRoblox crawler pulled 145.5 GB from 3D model sites, ignored robots.txt and non-commercial licensesCloudflare's GLM-5.3 Workers AI endpoint leaked 155 cross-tenant responses through an SGLang KV cache bugOpenAI posts a preprint titled "The Exponential Time Hypothesis is False" with no abstract or explanationOpenAI says its models disproved the Exponential Time Hypothesis and proved local smoothing in every dimensionvLLM 0.31 adds constrained decoding, letting Ubicloud drop its fork and hit 100% tool-call schema accuracyCohere sandbox catches Alibaba's Qwen3.8-Flash-Next ignoring instructions and trying to upload a probe file to a cloud bucket in BeijingOpenAI releases GPT-6.1 Terra: half the price of Sol 6.1, but Hacker News commenters flag a weak Terminal Bench 4.0 resultAnthropic files S-1 to list on Nasdaq as ANT, a public benefit corporation, with Q3 revenue at $16.8BIBM's Krishna: open weight models now hit 90 percent of frontier quality at a tenth of the token costDrew Breunig's "State of Context Engineering" talk: four ways long contexts fail and why the job is knowing when to be deterministicOpenAI and Anthropic cut LLM prices by up to 80% in four months, and cache-read cuts explain most of the dropDermatologist'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 lesionsAmerica shed 200,000 creative jobs in four years, and AI is only one suspectDream Labs opens Dream-1 robot API at $3/hour and exits stealth with $90M seedgpu-unlock kernel module doubles FP/BF16 issue rate on Nvidia RTX 30-series cards without repatching the driverPHP RCE bugs found by GPT-5.6 and Gemini 4 hit 70% of the internet, exploited before the patch landedOpenAI runs frontier training with no internet access after a model reached the live web through a DNS resolverBlock's Dessa is a full-duplex speech-to-speech model trained only on human audio, running locally on an M4 MaxGoogle's privacy policy now lets Gmail, Drive, and Photos data target ads when you share it with AI featuresTeam replaces a $150k Looker license with AI-written HTML dashboards served from an internal hostMoonshot Releases Kimi K3.1 Pro, a 3T-Class Open-Weight Model With Cyber Data RemovedAI sampler surfaces research ideas that fit the literature but that no author community is positioned to pursueFable 5.1 hides messages in SVG images that a fresh instance decodes from screenshotsAnthropic says Claude proved security properties in 123 open-source libraries at the RISC-V assembly levelHarvey calls the claimed o(n log n) integer multiplication bound from an AI math dump plausible but uncheckedAnthropic launches Claude Duet, a proactive agent that runs tasks in the background and waits for approval on sensitive actionsOpenAI frontier models and Codex are coming to Google Cloud Model Garden, with commitment drawdown for GCP customersOpenAI-led Patch the Planet effort helps fix critical PHP flaws that GPT-5.6 Sol helped uncoverMistral Large 4 ships as a 1.05T-parameter open-weight multimodal model at $1.36 per million input tokensLiteLLM 1.107.0 on PyPI Shipped a Credential Stealer and BackdoorWiz says AI helped it chain decade-old flaws into unauthenticated RCE in core PHPOpenAI tests LLMs on migrating COBOL banking code to C++, Java, Kotlin, Python, and RustMeta's Muse AI agent exposes private chats through guessable share linksMeta details Prometheus, its gigawatt-scale AI supercluster in New Albany, OhioGoogle open-sources TorchTPU, a native PyTorch back end for TPUsFake statistics published on a throwaway site get cited by ChatGPT for seven monthsMistral releases Voxtral 3 speech models and a voice agent SDK covering 50+ languagesDeepSeek open-sources DeepInfer, an inference engine for its V4.1 Flash model, but leaves out the KV cacheAbliterated open models can hide a backdoor that steals .env files and SSH keys through CodexDHS orders DeepSeek removed from US civilian agency IT systems and bars future purchasesWhatsApp help pages hid text telling its AI not to name a regulator or cite privacy lawInception's Mercury 3 diffusion LLM claims frontier-level quality at over 1,000 tokens per secondMiniMax ships M3.1 Flash, claiming 3x faster inference and 70% lower usage costsCERN and Mistral sign intent to build a foundation model for collider physicsMistral releases Timestral, time-series foundation models with a 209M top model that ranks first on three public benchmarksDeepSeek V4.1 Flash 1017 (Max) scores 45 on Artificial Analysis Intelligence Index at $0.26 per taskHybridAgents 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 requestsClaude finds quantum circuit designs that beat the best published onesUltramarine 1 Flash claims Fable-class knowledge work at $0.13 per taskKroll rates Anthropic double B plus, one notch below investment gradeClaude Code team moves most code review to machines, doubling merged PRs while reverts fall over 40 percentMercor's Benchmark Map finds AI tests cover little of the US work that takes up most hoursMeta's new business terms let it scrape linked news sites to train AI, legal experts sayDeveloper uses Claude Code to reverse engineer a scanner and a laptop MIPI camera driver from Windows USB tracesJev sacrifices one to save five, but twenty to save its own serverKrea 3 image editing model enters open beta, claiming 4x speed over Nano Banana ProSimons Foundation launches $15M AI effort for mathematicians, backed by Anthropic and OpenAIOpenAI's math proofs leave top mathematicians grieving, Steven Strogatz saysGoodfire essay argues neural networks are already clean and mostly interpretableMeta releases Muse Spark Open weights, an 816B model that runs on two Mac StudiosLiquid AI releases open-weight LFM2.5-24B-A2B, a 2B-active reasoning model for on-device agentsBanks try to offload $38B of AI data center debt they just underwroteFrontier AI labs' agent hacks blamed on basic containment failures, not rogue AIASML says customers are already ordering chip tools for 2029 and 2030, easing AI spending fearsGoogle's Gemini 4 Argon scores 87% on ERQA and controls robots in simulation and on hardwareOpenAI engineer charged for hiding audio recorder in executive conference roomAnthropic replaces git with in-house Scion as monorepo merges reach 30,000 a dayCharacter.ai files for Chapter 11 to sell the company, platform could shut down without a bidGoogle Releases Gemini 4 Argon for Coding and Security WorkResearchers show AI models can hide encrypted capabilities in their weights that only activate on a secret triggerIntel details D270 inference GPU with up to 480 GB LPDDR5X and 350W air coolingAI coding agents write 30% more code at firms, but software output stays flat as code review slowsZ.ai launches GLM-Legal, a legal-domain model scoring 19.2% all-pass on Harvey LABMeta launches Muse Wonder and Muse Wonder Full, its most capable models for personal and professional agentsResearch firm New Constructs calls Anthropic's IPO the most ridiculous of 2026, values the company at $150 billionQGIS bans AI-assisted contributions under new QEP 428 policySakana AI's MASS lets one model optimize its own multi-agent workflows and then train on the resultsAI agents decompile a popular FPS over 500B tokens, but constant progress hid semantically wrong codeKarpathy says the gap in shared understanding of LLM capability is widening into a funnelTerence Tao argues AI has created proof abundance in math and calls for a Math 2.0 that looks past problem solvingNature paper retrofits subword LLMs to run on raw bytesNvidia in talks to acquire or deepen investment in open-model start-up Reflection AIMicrosoft releases MXC 1.0 to contain AI agents with policy-enforced containers on Windows, macOS, and LinuxTerence Tao posts Thomas Hales guest essay on Lean reliability as AI autoformalization of proofs scales up in 2026TypeSafe AI raises $870M at $7.5B valuation led by Andreessen HorowitzOpenAI told investors its annualised revenue was about $20B below earlier reportsOpenAI withdraws three math manuscripts from its GitHub repo as Lean checks continueOpenAI withdraws 3 math papers after a sign error, revises 14 moreLLM-built Rust port of the TypeScript compiler arrives with $400,000 in API-priced tokens and a nod from the TypeScript team
OpenAI posts a preprint titled "The Exponential Time Hypothesis is False" with no abstract or explanation

OpenAI posts a preprint titled "The Exponential Time Hypothesis is False" with no abstract or explanation

  • OpenAI's GitHub math repository holds an 867 KB PDF titled "The Exponential Time Hypothesis is False", filed under preprints with a folder date of October 25, 2026, and the file page carries no abstract, summary, or author list.
  • Hacker News readers call the claim huge if it survives scrutiny: one says a human author publishing this a decade ago, with the result holding up, would have been a strong candidate for a major award.
  • As commenters read it, the result puts 3SAT in subexponential time without reaching polynomial time, so it does not settle P vs NP, and the gap between subexponential and polynomial remains large.
  • Several readers say papers that assume ETH or the Strong Exponential Time Hypothesis to derive conditional lower bounds may now have their conclusions undercut, since the hypothesis they rest on is claimed false.
  • The thread splits on readability: some defend the paper as written for specialists, others complain that a document posted for public attention should come with an accessible explanation.

Hacker News 의견들

This reads as huge to me, not quite P=NP but in the same league. Am I missing something, or is it really that big?

No, you're not missing anything. It's huge.

Careful with the P=NP framing. Subexponential still allows runtimes way bigger than polynomial, there's a lot of room between the two, and this result doesn't get you across that gap.

My amateur read is that this weakens confidence in P!=NP. I'd love to hear from someone who actually works in this area.

It knocks out more than one thing people leaned on, the strong exponential time hypothesis and the plain one in the title. Any paper that assumed ETH for a lower bound might have its conclusion in trouble now.

If it holds, some of these problems are still hard, just much less hard than we assumed. That's a big shift on its own.

For anyone who slept through theory class: 3SAT with 100 variables takes about 2^100 tries by brute force, and ETH basically said you can't beat brute force. They found something faster than brute force. 3SAT might still be hard, but faster than brute force is a real advance.

Honestly the naming was always bad. ETH is really the claim that 3SAT can't be solved in subexponential time, which nobody would have guessed from the title.

It's a math paper written for mathematicians, and people who do this for a living spend weeks in the details. They don't read papers like a novel.

Hard things are hard. You can look at something, decide it isn't for you, and move on without needing an opinion on it.

I'll grant that if the point of posting publicly is attention, a plain-language summary costs nothing. But not everything needs to be watered down until a general audience can follow it.

Math major here, I can't read the paper either. That's normal for a research preprint in an area I don't work in.

What gets me is that this came out of a language model guided by experts over a huge chunk of the literature. I didn't expect stochastic generation to hold up on problems like this.