iCreatAI News
Back to main site
Skip to content

Technology areas

Reasoning Capabilities Latest updates

Progress in model reasoning capabilities: breakthroughs and controversies in chain-of-thought, reasoning models, and math and logic benchmarks.

25 条精选Past 30 days: 21 updatesTotal: 141 updates

Updated

精选归档 · 第 2 页

Oct 28Wed 21–25 updates
  1. 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 14Wed
  1. Google DeepMind85

    Gemini 4 Argon for Robotics

    Google introduces Gemini 4 Argon, a general-purpose physical reasoning model that scores 87% on the Embodied Reasoning (ERQA) benchmark and is demonstrated across robot control, Real2Sim reconstruction, physical understanding, and research self-improvement workflows. The post shares representative prompts spanning Spot mobile manipulation with MuJoCo practice, zero-shot arm control, video world model steering, sim twin reconstruction from robot, human, and sketch inputs, hindsight labeling, value functions, and simulation-generated training data that raised real-world success rate from 56% to 75%. Argon is available via Google AI Studio, the Gemini API (gemini-4-argon), and Google Antigravity.

    Why it matters: It offers a detailed, prompt-level look at how a frontier model is being applied across the robotics stack, useful for teams evaluating embodied AI tooling.

  2. Google DeepMind92

    Gemini 4 Argon: Built to solve your hardest problems

    Google announced Gemini 4 Argon, a frontier model now available globally via the Gemini API in AI Studio and the Gemini platform, Google Antigravity, the Gemini app, and AI Mode in Search, priced at $2 per million input tokens and $10 per million output tokens. Google reports Argon ranked #1 on the Vals Index and cites internal and partner uses including a Chrome architectural refactor, a 2.85x inference speedup on Gemma 4 E2B, quantum computing and fusion research, rare disease analysis, enzyme design, and a robotics video-to-sim-to-real pipeline. Google also described safety work including jailbreak defenses, agent misalignment monitoring, and a 0.7% attack success rate on the Gray Swan indirect prompt injection benchmark.

    Why it matters: The post is a detailed launch announcement whose benchmark claims, pricing, and safety figures give readers a concrete picture of a major frontier model release.

Oct 1Thu
  1. Google DeepMind88

    Gemini 4 Argon: our next era of frontier intelligence

    Google announced Gemini 4 Argon, a frontier model rolling out first to trusted cyber defenders through its Fairwind Program, with an introductory price of $2 per million input tokens and $10 per million output tokens. Google reports state-of-the-art results on DeepSWE v1.1 (77.9%), the Vals Index, LVBench (91.7%), AutomationBench (51.3%), and a tie for first on CWE-bench v1 (68%), alongside internal uses such as C/C++ to Rust migrations and memory optimization. The model raises the output token limit to 1M and is being released in phases with safeguards against misuse, prompt injection, and misalignment before broader availability to paid API customers and Google AI Ultra subscribers.

    Why it matters: The piece is a detailed primary source on a frontier model's claimed benchmarks, pricing, staged release, and safety approach, useful for tracking how leading labs frame capability and rollout.

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.