iCreatAI News
Back to main site
Skip to content

Content types

Paper Research Latest updates

AI papers and research findings worth reading: curated interpretations of architectural innovations, training methods, capability measurement, and theoretical progress.

35 条精选Past 30 days: 31 updatesTotal: 332 updates

Updated

精选归档 · 第 2 页

Oct 30Fri 21–35 updates
  1. The Decoder88

    Open-weight model GLM 5.3 built full Firefox exploit chains with zero human input in under 48 hours

    Epoch AI researchers report that the Chinese open-weight model GLM 5.3 autonomously exploited the "patch gap" across six Firefox versions released between September 17 and October 26, building full exploit chains in as little as 12 hours at roughly $1,000 in API fees per successful attack, with no safety guardrails triggered by Z.ai or other API providers. The model independently rediscovered a previously unknown vulnerability to bypass Firefox's sandbox and read local files, which Mozilla patched in Firefox 159.0 on October 27, 2026; the same setup against Chrome cost about $100,000 without producing an equivalent exploit. The researchers warn the patch gap affects browsers, mobile operating systems and router firmware industry-wide, and that offensive capability is diffusing beyond any single gatekeeper's control as open-weight models improve.

    Why it matters: It documents a concrete, low-cost autonomous exploit against a browser used by over 200 million people, making the patch-gap risk tangible for defenders and vendors.

Oct 29Thu
  1. Replit Blog60

    ViBench 2.0: A Benchmark for Long-Horizon Software Building

    Replit releases ViBench 2.0, a long-horizon software development benchmark in which an agent builds a product from an empty project and then adds up to eighteen features on top of its own code, spanning seventeen products, 241 feature requests and 544 test plans. In Fireworks' official runs, GPT-6.1 Sol leads with a pass@1 of 65%, followed by GPT-6 Astra at 60% and Opus 5.5 at 49%, and no open-weight model passes a full build. Eight of the products are public on GitHub in the Harbor format, and results can be rerun from release v2.0.6 on the OpenHands-based harness.

    Why it matters: It offers concrete pass rates, costs and failure modes for frontier models on multi-feature product building, with a public, rerunnable harness.

Oct 28Wed
  1. TechCrunch · AI88

    Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

    OpenAI released solutions to three major math problems, including a claimed refutation of the Exponential Time Hypothesis (ETH), and Anthropic later released its own refutation of ETH. MIT professor Ryan Williams, working with ETH originators Russell Impagliazzo and Ramamohan Paturi, is organizing the computer science community's response, releasing an open letter calling for feedback and discussion of norms around AI contributions. Williams said OpenAI checked whether the result breaks any cryptographic systems and was reasonably confident it does not.

    Why it matters: Explains what a claimed AI refutation of a foundational complexity assumption means and how researchers are responding.

  2. Hacker News AI88

    OpenAI says its AI disproved the Exponential Time Hypothesis

    OpenAI announced on October 26, 2026 that its internal models produced three results, including a deterministic algorithm that counts satisfying assignments of k-CNF formulas and thereby refutes the Exponential Time Hypothesis, with the proof formalized in Lean and a working group led by Russell Impagliazzo, Ramamohan Paturi and Ryan Williams set to verify it. The paper's gains are asymptotic and very slow: with all hidden constants set to 1, the general bound only beats the best known 3-SAT algorithm past roughly 540 million variables, and the Lean theorem proves a weaker bound that beats plain 2^n only when n has about 2,400 digits. The paper itself notes that P versus NP is untouched, and OpenAI says it seeks no academic credit and will fund a conference on the result.

    Why it matters: Useful for readers tracking AI-generated mathematics because it separates the asymptotic claim from practical impact and details exactly what the Lean formalization does and does not establish.

Oct 27Tue
  1. The Decoder88

    OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics

    OpenAI has asked outside experts to act as "shepherds" for AI-generated results in three fields, including a claimed disproof of the Exponential Time Hypothesis, a proof of the local smoothing conjecture in every dimension, and a proof that certain quantum field theories exist in four dimensions. The math and computer science proofs were translated into Lean, though Lean only checks that a proof establishes the statement as written, not that the statement captures the intended problem. A group led by Nobel laureate David Gross will shepherd the physics work, while the ETH result is being independently checked by Russell Impagliazzo, Ramamohan Paturi, and Ryan Williams, who have no NDAs, are unpaid, and say their involvement is not an endorsement.

    Why it matters: It offers a detailed look at how OpenAI is handling extraordinary AI-generated claims, including the limits of Lean verification and the open questions about credit and access raised by the reviewers themselves.

  2. The Verge · AI88

    OpenAI announces three big science discoveries and a new way to work with academics

    OpenAI released three claimed "major" results — a proof of Sogge's local smoothing for the Euclidean wave equation (also yielding the Kakeya maximal and dimension conjectures and Stein's spherical restriction estimates), a deterministic subexponential-time algorithm for fixed-width CNF counting that would refute the Exponential Time Hypothesis, and a mathematically rigorous existence proof of certain interacting quantum field theories in four dimensions including QCD. External experts will shepherd the computer science and physics results, while the math output is released directly for researchers to work through; OpenAI also acknowledged an AGMAI panel's recommendation that AI companies not adopt the practice of designating certain people to receive output first.

    Why it matters: It documents OpenAI's latest claimed breakthroughs and the emerging norms around expert review and early access for AI-generated results.

Oct 23Fri
  1. The Decoder78

    Anthropic's Claude now writes code and proves it safe automatically

    Anthropic's Frontier Red Team, working with partner Theorem, used Claude to generate roughly 180 million lines of mathematical proof code in a few weeks, verifying existing software from 123 open-source libraries in Google's OSS-Fuzz project by translating crash tests into mathematical problems and analyzing compiled machine code, with the Rocq program automatically checking the proofs. The researchers say Claude found hundreds of bugs, including as many security bugs in one week in a widely used PDF reader as are typically reported for that software in a year, and caught a logical error undetected for over a decade. Anthropic notes the proofs hold only under strict conditions—a specific processor architecture, single-threaded programs, and inputs under 64 MB—and that compute costs are steep, with individual proofs running up hundreds of millions of tokens.

    Why it matters: It offers a concrete look at AI-assisted formal verification, including its demonstrated bug-finding results and the practical limits Anthropic itself acknowledges.

  2. Hugging Face Blog62

    Turning Database Grading into RL Rewards: Post-Training Agents with ThinkingBox

    Microsoft and Hugging Face describe using ThinkingBox's executable terminal-database-state checks as binary rewards to fine-tune Qwen3.8-27B with GRPO for 50 steps on an offline-selected pool of 187 tasks, raising pass@1 from 51.70% to 60.78% and tasks passing all 20 attempts from 38 to 107 on the 507-task ThinkingBox-Bench, while pass@20 dipped slightly from 453 to 446. The post details offline policy-relative difficulty selection via Jeffreys posteriors, the reward loop, cost-per-dependable-task falling from $24.36 to $8.00, and releases the training stack in microsoft/thinkingbox-training.

    Why it matters: It offers a concrete, reproducible recipe for converting stateful agent grading into RL rewards, plus an honest account of the repeatability-versus-coverage tradeoff.

Oct 22Thu
  1. Google Research65

    Empowering frontline maternal care with AI-assisted ultrasound

    Google researchers evaluated an AI model that estimates gestational age from standardized "blind sweep" ultrasounds performed by novice operators, reporting a mean absolute error of 4.18 days versus 4.48 days for expert sonographers across cohorts in Chicago and Nairobi. The model, minimally tuned on 120 Chicago participants and tested with no Nairobi data, achieved MAEs of 4.10 and 4.27 days respectively, as published in JAMA Network Open.

    Why it matters: It offers a concrete, peer-reviewed data point on whether AI-assisted ultrasound can generalize across hardware and clinical settings without expert sonographers.

  2. Microsoft Research78

    Solving a 31-year-old grand challenge in mathematics – the KLS conjecture

    Microsoft researcher Xinzhi Zhang and a collaborator proved the Kannan–Lovász–Simonovits (KLS) conjecture, proposed in 1995, showing that for log-concave distributions the best hyperplane cut is within a universal constant of the best cut of any shape regardless of dimension. The proof emerged from a human-directed agentic process exploring more than 100 candidate approaches, and was followed by independent parallel proofs and a Lean 4 formalization. The authors say unguided attempts with leading AI models using a similar token budget fell short, while the success depended on both AI capabilities and researchers' mathematical judgment.

    Why it matters: It documents a major open problem's resolution and offers a concrete account of how human-guided AI search contributed to a mathematical proof.

Oct 17Sat
  1. Google Research71

    Grounding AI agents in biological reality: Building blocks for autonomous wet labs

    Google researchers describe three projects aimed at connecting AI agents to real wet-lab experimentation: the VERID framework, a semantic digital twin of a lab workcell that tracks 3D state, runs fast virtual dry runs, blocks unsafe commands and logs synchronized video and actions; closed-loop aptamer design over three design-test cycles that raised on-target hit rates to 33.5% for myoglobin and 42.1% for α-thrombin; and agent-guided epitope excision for de novo binder design against FAP, which accelerated each folding cycle more than eightfold and, in a human–agent comparison at equal compute, nearly doubled the in-silico hit rate of a scientist working alone.

    Why it matters: It offers a concrete, example-rich account of how agents are being tied to physical lab hardware and closed experimental loops, including failure modes and safety safeguards.

Oct 15Thu
  1. Google Research65

    Putting Earth AI to work: Geospatial agents for our planet's biggest challenges

    Google shares a technical report on its experimental Geospatial Reasoning agent, which connects Gemini to Earth AI foundation models and planet-scale data, and reports evaluations across four benchmarks, including two newly released ones (GeoKTools and GeoExpertQueries). The post describes early partner testing with organizations including WHO AFRO, People in Need, GiveDirectly, the Milken Institute and WPP, and announces expanded early access via Ask Google Earth and an experimental agent-to-agent API.

    Why it matters: It offers a concrete look at how a planning-based geospatial agent is evaluated and applied to real public health, disaster and infrastructure workflows.

Oct 8Thu
  1. Google Research71

    Does better work always mean better workers?

    A three-month field experiment with 133 patent lawyers found that access to a Google Labs AI patent-writing assistant raised drafting scores by 0.34 SD at 10 days and 0.38 SD at 90 days, with gains concentrated in fewer poor scores rather than more excellent ones. On a later redlining task where AI was not allowed, the benefit appeared only for senior lawyers (0.45 SD), while juniors showed no discernible improvement and their scores bifurcated toward more very low and more good results. The authors argue that improving output and building durable professional judgment are different goals that may be in tension for junior professionals.

    Why it matters: Offers a rare blinded, months-long field test that separates AI-assisted output gains from unassisted skill development, with direct implications for how firms train junior professionals.

Oct 5Mon
  1. GitHub Blog · AI & ML61

    ReviewBench: An open benchmark for AI code review

    GitHub introduces ReviewBench, an open benchmark for AI code review built from analysis of 103.9 million GitHub pull requests, containing 219 public pull requests across 19 languages with a multi-source golden set labeled for severity and category. It reports grounded and augmented precision, recall, and F1 metrics, uses Claude Sonnet 5 as the LLM grader under a published rubric, and had its ground-truth findings independently re-labeled by senior engineers with 96.6% agreement. GitHub says ReviewBench's offline predictions for a Copilot code review multi-model ensemble matched a later A/B test, which showed an 8.0% rise in addressed rate, 13.6% in recall, 61% in comment volume, and an 8.0% drop in cost per review.

    Why it matters: It offers a concrete, reproducible methodology and public dataset for comparing AI code reviewers, plus evidence on how offline scores tracked a production experiment.

Jul 29Wed
  1. Berkeley AI Research60

    From CUDA to MLX: How K-Search Brings Decades of Kernel Expertise to Apple Silicon

    IBM Research extended K-Search, an evolutionary LLM-driven kernel search framework from UC Berkeley Sky Lab, with a native MLX backend and a structured CUDA-to-MLX translation layer that maps CUDA primitives, constraints and optimization patterns onto Apple Silicon equivalents. On Apple Silicon the approach reached 0.97x the speed of the native MLX Attention kernel and up to a 20x prefill speedup over the community mlx-lm implementation on the Mamba SSM kernel, attributed largely to adding a parallel scan. The authors say the bottleneck was not the LLM's ability to write Metal code but the quality of context and constraints supplied to it.

    Why it matters: Describes a concrete method for transferring CUDA kernel expertise to non-NVIDIA hardware, with reported benchmark numbers and an open-source reproduction path.