Reasoning

Progress in model reasoning: chain of thought, reasoning models, math and logic benchmarks and the debates around them.

585 picksRelated topicsResearch & technical reports Model releases Agents

Latest picks

321–340 of 585

Jun 3Wednesday

AI HOT (Curated Pool)Jun 3, 12:36

DeepSeek Reportedly Seeks RMB 50 Billion in First Funding Round with Tencent and CATL

DeepSeek plans to raise about RMB 50 billion in its first funding round, with post-money valuation expected at RMB 350 billion to RMB 400 billion; Liang Wenfeng, Tencent, and CATL plan to invest RMB 20 billion, RMB 10 billion, and RMB 5 billion respectively.

Why it matters: HKR-H/K/R all pass: DeepSeek's rumored RMB 50B first round includes a RMB 350B-400B valuation and named checks from Tencent and CATL. The rumor status keeps it at 88, below confirmed industry-shaking funding news.

r/LocalLLaMAJun 3, 12:23

Microsoft Aion 1.0 Instruct and Aion 1.0 Plan models

Microsoft announced two on-device Aion 1.0 models at Build 2026. Aion 1.0 Plan is a 14B-parameter reasoning and tool-calling model with 32K context, shipping in-box with Windows on capable devices, while Aion 1.0 Instruct targets summarization, rewriting, intents, accessibility, Edge integration, and open-weight availability.

Why it matters: Microsoft announced Aion 1.0 Instruct and Plan at Build 2026, with Plan listed as a 14B, 32K-context model for eligible Windows devices. HKR-H/K/R all pass, but licensing, benchmarks, and hardware requirements are not disclosed, so it stays in the 78–84 band.

Take

Microsoft putting a 14B, 32K-context Aion 1.0 Plan inside Windows is bigger than the model size. On-device models are crowded now: Apple Intelligence, Gemini Nano, and Phi all sell latency and privacy. Microsoft has a harder distribution weapon. It can put reasoning and tool-calling into the OS path instead of waiting for users to install another app.

The article body is just a Reddit 403, so pricing, quantization, NPU requirements, and license terms are not disclosed. I would not call this an open-weight win yet. Aion 1.0 Instruct is described as open-weight, while Aion 1.0 Plan ships in-box on capable Windows devices. That smells like two distribution tracks. For developers, the test is whether Win32, Edge, and Copilot Runtime expose stable APIs. Without that, 14B/32K is an OEM sticker.

Computing Life · Share · YageJun 3, 08:00

Microsoft AI's MAI-Thinking-1: Getting Models to Think Is Easy, Sustained Thinking Is Hard

Microsoft AI says MAI-Thinking-1 uses three mechanisms—thermostat, circuit breaker, and self-distillation—to keep RL training stable for several thousand steps; the RSS snippet contrasts MAI’s discipline with DeepSeek’s efficiency and GLM’s endurance.

Why it matters: HKR-H/K/R all pass: the hook is training persistence, the new facts are three stability mechanisms and thousand-step RL runs, and the audience cares about reasoning-model stability. Not a major model launch, so it stays below 85.

Take

MAI-Thinking-1 makes RL stability the product, and that is a better angle than another “reasoning model” claim. The snippet names three mechanisms—thermostat, circuit breaker, and self-distillation—to keep training stable for several thousand steps; it does not give model size, benchmarks, data mix, or release plan. Thin evidence, but the framing tracks the field: reasoning failures are no longer just wrong answers, but policy drift, reward hacking, and collapse after long RL runs. After DeepSeek-R1 turned cheap reasoning into the reference point, Microsoft has little room to win on score theater alone. A disciplined training loop is the kind of boring engineering story a large lab should own. My issue is the phrase “several thousand steps”: without the step definition, task mix, or crash threshold, it reads like a claim, not a reproducible result.

AI HOT (Curated Pool)Jun 3, 04:51

Microsoft releases MAI-Thinking-1 model

Microsoft released MAI-Thinking-1, an MoE model with 35B active parameters and 1T total parameters, pretrained from scratch on 30T tokens without third-party model distillation.

Why it matters: HKR-H/K/R all pass: Microsoft released MAI-Thinking-1 with concrete MoE scale and training-token figures. Benchmarks, access, and pricing are not disclosed, so it stays in the 78–84 band rather than P1.

Hacker News front pageJun 3, 02:39

MAI-Thinking-1

The title names MAI-Thinking-1, and the RSS snippet says Microsoft is launching seven MAI models; the post does not disclose parameters, capabilities, benchmarks, pricing, or rollout timing.

Why it matters: HKR-H/K/R pass because Microsoft names a Thinking model and seven MAI models, touching the OpenAI-dependence nerve. Sparse specs, evals, and roadmap keep it in the 72–77 featured-threshold band.

AI HOT (Curated Pool)Jun 3, 02:12

Microsoft releases its first advanced reasoning AI model, MAI-Thinking-1

Microsoft released MAI-Thinking-1 at Build 2026, describing it as a medium-sized reasoning model that matches leading models on key software engineering benchmarks.

Why it matters: HKR-H/K/R all pass: Microsoft released its first advanced reasoning model with a mid-sized design and SWE benchmark claim. Exact scores, access, and pricing are not disclosed, so it stays below 85.

Take

Microsoft’s sharp move is not MAI-Thinking-1 itself; it is the public no-distillation claim. That matters because Microsoft has spent years leaning on OpenAI for frontier capability, then renegotiated the partnership as the relationship loosened. Now it needs an asset developers can view as Microsoft-native, not Azure packaging around another lab’s work.

The evidence is thin. The body says “medium-sized” and claims parity with leading models on “key” software-engineering benchmarks, but gives no parameter count, SWE-bench score, pricing, or context window. For practitioners, that is not yet a capability signal you can route workloads around. It smells more like leverage in the OpenAI negotiation. OpenAI has GPT-5-class branding, Anthropic owns a lot of coding mindshare with Claude Sonnet 4.5, and Microsoft still has to turn this Build demo into public evals people trust.

AI HOT (Curated Pool)Jun 3, 01:08

Google DeepMind releases Gemini multi-agent research system

Google DeepMind introduced Co-Scientist, a Gemini-based multi-agent system that generates, debates, and evolves scientific hypotheses; the post does not disclose the Gemini version, benchmark results, access model, or release timeline.

Why it matters: HKR-H/K/R all pass, but model version, eval results, and availability are not disclosed. This fits a strong research/product release, not the 85+ must-write band.

Take

Google DeepMind is wrapping Gemini as Co-Scientist, and the dangerous part is how easily “scientific discovery” gets flattened into an agent demo. The snippet only says it can generate, debate, and evolve hypotheses. It gives no Gemini version, benchmark, expert baseline, access model, or release timeline. Those missing fields matter because research agents do not fail at role-play; they fail at producing testable, reproducible hypotheses that save domain experts real experimental cycles.

I like the direction. DeepMind has earned credibility with AlphaFold and AlphaGeometry. But Co-Scientist, as disclosed here, reads like Gemini plugged into a hypothesis loop, not an auditable discovery system. Without wet-lab cycles, hit rates, or negative examples, this is narrative placement rather than evidence.

Jun 2Tuesday

r/LocalLLaMAJun 2, 19:05

Replaced Claude with local Qwen3.6-27B in my multi-agent orchestrator for 2 weeks

The author ran Qwen3.6-27B on one RTX 3090 across 47 multi-step coding workflows. Plan generation reached about 95% schema validity, but tool-call formatting errors were about 12%, and practical long-context use degraded past about 12k tokens.

Why it matters: HKR-H/K/R all pass: a named first-person local-vs-Claude experiment with concrete numbers. The single Reddit source and 47-workflow scope keep it below the 78–84 band.

Take

This reads like the split point for local coding agents: planning is usable, interface reliability is still the tax. The body is blocked by Reddit 403, so the usable evidence is the title and summary: one RTX 3090, Qwen3.6-27B, 47 coding workflows, about 95% plan-schema validity, about 12% tool-call formatting errors, and long-context degradation past roughly 12k tokens.

I don’t buy the “replaced Claude” framing yet. Claude is expensive in multi-step coding loops, but its value often sits in boring failure reduction: cleaner tool calls, fewer retries, and better context endurance. Qwen3.6-27B getting plans right says local orchestration costs are collapsing. A 12% tool-call format error rate says you pay back part of that saving with parsers, validators, retries, and dead-loop handling.

Synced · WeChatJun 2, 13:30

Turing Award Winner Sutton’s New Paper Argues AI Should Move Toward Enactive Cognition

Banafsheh Rafiee and Richard S. Sutton propose an enactive cognition framework for AI, naming four pillars: experience, perception-action inseparability, autonomy, and embodiment.

Why it matters: HKR-H/K/R all pass, but the article centers on a conceptual framework and does not disclose experiments, code, or reproducible tests. Sutton’s name and the four pillars put it in the 78–84 research-commentary band.

AI HOT (Curated Pool)Jun 2, 11:45

StepFun releases Step 3.7 Flash for efficient inference

StepFun released Step 3.7 Flash with a 196B MoE architecture, using multi-matrix factorized attention to cut KV-cache cost to about 22% of DeepSeek models.

Why it matters: HKR-H/K/R all pass: Step 3.7 Flash has concrete specs, not just launch copy, with 196B MoE and ~22% KV-cache cost versus DeepSeek. It is below top-lab flagship weight, so 78 featured.

Jun 1Monday

AI HOT (Curated Pool)Jun 1, 20:59

NVIDIA Open-Sources Cosmos 3, Its First Generalist Model for Physical AI

NVIDIA open-sourced Cosmos 3 at GTC Taipei, releasing two variants, Super 32B and Nano 8B, with model weights, code, and datasets made available.

Why it matters: HKR-H/K/R all pass: the concrete hook is NVIDIA opening Cosmos 3 with 32B/8B variants and released artifacts. The post is sparse and single-source, with no benchmarks or license details, so it stays in the 78–84 band.

Take

NVIDIA’s Cosmos 3 release is less about an “omni model” and more about moving the robotics training entry point onto NVIDIA’s own stack. At GTC Taipei, it shipped Super 32B and Nano 8B, plus weights, code, and datasets. That is a much stronger developer wedge than another polished humanoid demo, because the reproduction path lands directly on labs and robotics teams.

I don’t buy the full claim around “understanding the real world, predicting the future, and generating robot actions” yet. The snippet gives no benchmark, sim-to-real transfer rate, supported robot list, or license boundary. Cosmos 3 looks like the missing model layer for Isaac, Omniverse, Jetson, and Blackwell robotics customers. The open source move distributes the model; the hardware and tooling remain the toll booth.

r/LocalLLaMAJun 1, 16:17

Deepseek V4 Flash performance on DGX Spark

A Reddit user ran DeepSeek-V4-Flash with vLLM on two ASUS GX10 DGX Spark nodes and reported 1,680 prefill tokens/s plus 39.8 decode tokens/s at a 256K context with MTP=2; the setup uses TP=2 over RoCE, fp8 KV cache, and fits about 1M tokens safely in KV cache.

Why it matters: This is not broad industry news, but it is a first-person benchmark with reproducible details: TP=2, RoCE, fp8 KV cache, 256K context, and ~1M KV. HKR-H/K/R all pass, so it lands at low featured.

Take

I would not treat this as a clean benchmark, but the reported shape is exactly what local inference people care about. The summary gives hard hooks: two ASUS GX10 DGX Spark nodes, vLLM, DeepSeek-V4-Flash, TP=2 over RoCE, fp8 KV cache, 256K context, 1,680 prefill tokens/s, 39.8 decode tokens/s with MTP=2, and roughly 1M tokens of safe KV. Reddit 403 blocks the body, so the screenshot, prompt mix, batch size, sampling settings, and reproducibility are not verified.

The spicy part is not the 39.8 tok/s decode. It is the 256K prefill number plus the claimed 1M KV headroom on a tiny two-node setup. That lands right on long-document agents, repo-scale code work, and tool-trace replay. Don’t compare it with H100 fleets; compare it with scrappy hosted inference stacks charging for mediocre long-context latency.

AI HOT (Curated Pool)Jun 1, 12:46

Cosmos 3 Released: First Open Physical AI Generalist Model

NVIDIA released Cosmos 3 as an open physical AI generalist model with native visual reasoning, world generation, and action generation, offering two variants: Super at 32B parameters and Nano at 8B parameters.

Why it matters: HKR-H/K/R all pass: NVIDIA names two Cosmos 3 variants and concrete physical-AI capabilities. Source is a single launch post with no benchmark or license detail, so it stays in the 78–84 band.

r/LocalLLaMAJun 1, 10:05

I bolted an 8-arm reasoning MoE onto a frozen 1.4B Mamba backbone on a single RTX 3060

The author trained Mamba-Titan-1.4B-Reasoning on a 12GB RTX 3060: a frozen 1.4B Mamba-1 backbone with 8 trainable MoE arms, 2.54B total parameters, Top-2 routing at layers 24/25, and about 50% math accuracy.

Why it matters: HKR-H/K/R all pass via a numbered first-person experiment, but it is a single Reddit post with no independent replication and a fairly technical setup, so it stays in the low featured band.

Take

The useful part is not the claimed 50% math accuracy. It is the attempt to make “frozen backbone plus trainable experts” fit on a consumer GPU. The scraped summary gives real hooks: frozen Mamba-1 at 1.4B, eight trainable MoE arms, 2.54B total parameters, Top-2 routing at layers 24 and 25, and a 12GB RTX 3060. The post body is blocked, so the dataset, training steps, eval set, and ablations are missing.

I’d file this under the LoRA / adapter / small-MoE modification track, not under frontier reasoning. DeepSeek-style MoE is about scaling training and inference. This Reddit build is about structural grafting under brutal VRAM limits. If the promised autopsy has routing collapse, expert specialization, and Mamba state-transfer details, that is more useful than the headline accuracy.

May 31Sunday

r/LocalLLaMAMay 31, 21:44

13 abliterated Gemma 4 E2B variants, 44 GPU hours, benchmark and comparison

Abliterlitics tested 13 abliterated Gemma 4 E2B variants using 44 RTX 5090 GPU hours, and HarmBench ASR rose from the base model’s 32.2% to 82%–100%, while coder3101 scored 84.8% on GSM8K versus the base model’s 83.5%.

Why it matters: HKR-H/K/R all pass, with a named first-person benchmark and concrete numbers. Scope stays narrow around abliterated Gemma 4 E2B variants, so it lands at the featured threshold rather than a must-write item.

Take

Gemma 4 E2B’s safety tuning looks like a removable coating in this result. Abliterlitics says it spent 44 RTX 5090 GPU hours testing 13 abliterated variants, pushing HarmBench ASR from the base model’s 32.2% to 82%–100%. That is not minor drift; it is the refusal layer being stripped into a failure band. The awkward part is coder3101 still scores 84.8% on GSM8K versus the base model’s 83.5%, so the summary shows no obvious capability tax.

The Reddit body is blocked by a 403, so I can’t verify prompts, sample size, or whether every run used the same harness. I’d treat this as a red-team signal, not a paper-grade conclusion. Still, it is a bad look for open-weight small models: if 44 GPU hours can punch through the guardrails, Google’s safety card does little once weights hit downstream distribution.

QbitAI · WeChatMay 31, 13:00

Robot-Native World Action Model Debuts With Spatiotemporal Architecture From Fudan-Linked Team

Moushen Intelligence released STI-WM, a spatiotemporally integrated world action model for robotics, with RGB, depth point cloud, and proprioceptive inputs; the post says it supports hundred-second-scale long-horizon task rollout and closed-loop replanning, but does not disclose benchmark scores or deployment costs.

Why it matters: HKR-H/K/R all pass: the STI-WM angle is novel, with concrete input modalities and hundred-second rollouts. Kept near the featured floor because public weights, benchmark results, and reproducible tests are not disclosed.

May 30Saturday

Xinzhiyuan · WeChatMay 30, 15:00

Opus 4.8 Builds a Historical Rebirth Simulator for 117 Billion Humans

Ethan Mollick used Claude Opus 4.8 to generate The Veil of History, a website that weights a random human life by 117 billion historical births and, according to the article, uses 4,000 Monte Carlo runs to estimate regional and era distributions.

Why it matters: HKR-H/K/R all pass: Mollick’s Claude Opus 4.8 demo has a strange hook, concrete numbers, and a builder-relevant prototyping angle. It is not an Anthropic release, so it stays in the lower featured band.

Take

Opus 4.8’s signal is not “AI calculated human destiny.” It is lower friction from one prompt to a publishable narrative product. The article gives real hooks: 117 billion historical births, 4,000 Monte Carlo runs, 12 eras, D3 plus Natural Earth, 61.4 on Artificial Analysis, and 69.2% on SWE-Bench Pro. Taken together, this looks like an end-to-end agent demo, not a cute webpage generator.

I don’t buy the coronation framing. Beating GPT-5.5 by roughly ten points on SWE-Bench Pro is strong, but The Veil of History still lives or dies on population assumptions, regional weights, and citation quality. Mollick’s special talent is compressing model capability into demos people can feel. Anthropic benefits from that here, but one viral site is not proof that autonomous research staff have arrived.

QbitAI · WeChatMay 30, 12:00

Key Gemini IMO Gold Contributor Nearly Became a Professional Pianist

Yi Tay served as a modeling co-captain for Gemini Deep Think when it reached IMO gold-medal level, co-founded Reka AI in 2023, and returned to Google DeepMind after 639 days, while the article also notes his 2012 Trinity classical piano associate diploma.

Why it matters: HKR-H/K/R all pass, but this is a profile, not a Gemini capability launch. The concrete value is Yi Tay's role, Reka history, and 639-day return, so it sits in the 72–77 featured band.

Take

Yi Tay’s return to Google DeepMind is louder than the piano angle: after 639 startup days, he went back to TPU access and Gemini post-training. That says elite researchers can leave Big Tech and ship models, but copying infrastructure density is much harder. The article gives a useful hook: Reka AI started in 2023 with about 20 people and reached LMSYS top five within a year; back at Google, Tay helped Gemini Deep Think hit IMO gold level and Gemini 3 Deep Think reach gold-level written results in physics and chemistry olympiads.

I don’t buy the “brilliant polymath” framing as the main story. Reka reads like a boundary test: a small team can push a multimodal model into the front pack, but olympiad-grade reasoning and RL training want TPU supply, eval loops, and long-running captain ownership. OpenAI and Anthropic show the same pattern: the expensive asset is the system around the smart people.

May 29Friday

Xinzhiyuan · WeChatMay 29, 13:15

Claude Opus 4.8 tests split users: strong at high effort, costly under rate limits

The article says Claude Opus 4.8 scores 63 on an Extra-High senior engineering benchmark, 30 points above Opus 4.7, but drops to 42 at High effort, while $200/month Max users report hitting rate limits within hours on complex agent tasks.

Why it matters: Anthropic/Claude relevance plus concrete test numbers clears HKR-H/K/R: the hook is strength versus cost, K has benchmark and quota details, and R hits agent-budget anxiety. Source is a media test rather than an official release, so this lands at low P1.

Synced · WeChatMay 29, 12:04

A True 2-bit KV Quantization Algorithm for Long-context Reasoning Beyond TurboQuant

TogetherAI and collaborators released OSCAR, a 2.28 BPE INT2 KV Cache system integrated with SGLang, reporting up to 3× decode speedup at 100k context and up to 7× job-level throughput under a fixed memory budget.

Why it matters: HKR-H/K/R pass, but this is niche inference optimization rather than a broad model launch. The 100k-context and ~3×/~7× claims justify a featured score, not same-day must-write.

Take

OSCAR turns 2-bit KV from a quality gamble into a serving-system claim, and that matters more than the TurboQuant headline. The concrete hook is strong: SGLang integration, 64 BF16 sink tokens, 256 BF16 recent tokens, INT2 history at about 2.28 BPE, then fused Triton demotion and decode kernels. At 100k context, it reports up to 3× decode speedup with batch-size 1 and full prefix-cache hit, plus up to 7× job-level throughput under a fixed memory budget.

I buy the engineering hook more than the “beats everyone” framing. TurboQuant is tested here as full-layer 3-bit K/V without mixed-precision protection; Qwen3-4B-Thinking mean is 31.74 versus OSCAR’s 71.86, but that baseline is deliberately harsh. The production question is still open: vLLM or TensorRT-LLM will expose kernel overhead, cache behavior, and scheduler friction differently.