Skip to content

Reddit AI - 2026-05-13

1. What People Are Talking About

1.1 Extreme-edge inference becomes a community sport (🡕)

The highest-engagement post of the day was not a model release or a benchmark result — it was a working transformer model running on a stock 1998 Game Boy Color. This topped a cluster of six posts all exploring the outer limits of what hardware can run local AI, signalling that hobbyist inference optimization has moved from "can it run?" to systematic engineering.

u/maddiedreese ported Andrej Karpathy's TinyStories-260K to a Game Boy Color cartridge using GBDK-2020, INT8 fixed-point math, bank-switched ROM weights, and on-device tokenization with D-pad input. The KV cache lives in cartridge SRAM because GBC work RAM is too small. Inference is slow and output is gibberish, but the core transformer prefill + autoregressive loop runs without any external hardware. Karpathy's Codex assisted with a large portion of the build (post, GitHub) (1092 points, 75 comments). u/NigaTroubles (score 181): "Wow just wow." u/ed0c (score 57): "Pointless. Therefore, indispensable."

Game Boy Color screen showing TINYSTORIES Q8 GBC model running with tokenized prompt and autoregressive output on-device

u/OldEffective9726 shared a DGX Spark thermal solution involving a copper Moscow Mule mug filled with tap water placed on the enclosure, holding temperature below 68°C at 95% GPU utilization while running Qwen3.5-122b-a10B at Q6_K with 110 GB memory usage, 80k context, and 18.77 tok/s for continuous vision analyses (post) (716 points, 108 comments). u/jacek2023 (score 295): "finally some art on r/LocalLLaMA."

u/OkFly3388 showed that power-limiting an RTX 4090 to 40% TDP (setting used: Qwen3.6-27B-UD-Q4_K_XL, llama.cpp with flash attention) cuts power, noise, and heat with negligible inference performance loss (post) (624 points, 176 comments). u/tmvr (score 36) noted prefill loses about 15-20% when going from 450W to 270W but generation speed is unaffected.

AMD Radeon AI PRO R9700 GPU monitoring panel showing 230/330W power limit set, 177W actual draw, 89% GPU usage, junction 59 degrees C — confirming effective thermal management under inference load

u/coder543 documented that increasing llama.cpp's -ub (micro-batch size) from the default 512 to 8192 yields a 5.5x prefill speed gain on an RTX 3090 running gpt-oss-120b, at the cost of a 7% generation slowdown and 2 additional MoE layers moved to CPU. u/ikkiho (score 15) explained the mechanism: larger ubatch reduces per-chunk kernel launch overhead for attention and router layers still on GPU; generation is unaffected because it is memory-bandwidth-bound on CPU expert weights and does not benefit from batching (post) (108 points, 46 comments).

Benchmark chart titled gpt-oss-120b F16 on RTX 3090 showing prompt processing throughput rising from 380 tok/s at default ubatch 512 to 2091 tok/s at ubatch 8192, while token generation stays flat near 32 tok/s

Discussion insight: The ubatch post prompted u/Snoo_81913 (score 8) to explain why the default is conservative: it prevents OOM errors on low-VRAM cards that would generate a "million reddit posts saying Llama is GARBAGE." The community now understands this is a deliberate tradeoff, not a fixed limitation.

Comparison to prior day: May 12 highlighted Optane PMem extreme builds and ExLlamaV3 DFlash updates. May 13 extends the theme to even more unconventional hardware (Game Boy, water cup) and surfaces the ubatch tuning trick as the day's most actionable inference tip.


1.2 Speculative decoding benchmarks show architecture-dependent behavior (🡕)

u/LayerHot published a systematic benchmark comparing Multi-Token Prediction (MTP) versus DFlash speculative decoding on Gemma 4 models using vLLM, SPEED-Bench qualitative prompts, and a single H100 80GB. The key finding: which method wins depends on model architecture, not just task type (post, GitHub) (72 points, 26 comments).

For Gemma 4 31B Dense: MTP was 3.11x faster (125.3 tok/s vs 40.3 tok/s baseline), DFlash 3.03x (122.1 tok/s). MTP won by 3% at concurrency 1 and widened at concurrency 16 (953 vs 725 tok/s). Coding tasks got the largest speedup (>3.5x); roleplay the least.

Benchmark charts for Gemma 4 31B Dense on H100 showing MTP 3.11x faster than baseline at concurrency 1, DFlash 3.03x, with speedup broken down by category — coding leads, roleplay trails — and latency and acceptance rate panels

For Gemma 4 26B-A4B MoE: DFlash won (1.73x = 306 tok/s) vs MTP (1.49x = 264 tok/s). The MoE baseline is already fast (177.1 tok/s because only 3.8B parameters are active), so speculative decoding has less headroom to remove target-model compute. DFlash's single-forward-pass drafting is more efficient than MTP's token-by-token approach when the target is cheap.

Benchmark charts for Gemma 4 26B-A4B MoE on H100 showing DFlash wins at 1.73x versus MTP at 1.49x, with DFlash advantage widening to plus 16 percent at concurrency 1 and 8 percent at concurrency 16

Position-1 acceptance was ~80% (MTP) and ~75% (DFlash), but drops below 20% for both by position 8, meaning beyond the first few tokens, additional draft speculation yields diminishing returns regardless of method.

Discussion insight: u/danish334 (score 11) noted DFlash claims lossless inference and asked for a benchmark of that claim. u/FBIFreezeNow (score 4): "Slower than expected on a H100. Weird."

Comparison to prior day: May 12 benchmarked Gemma 4 MTP vs DFlash on a single H100 at a high level. May 13 extends this with the full SPEED-Bench qualitative dataset and the dense vs MoE architecture split, which is the new finding.


1.3 GPT-5.5 exceeds benchmarks faster than benchmarks can keep up (🡕)

Three posts converged on the same structural problem: frontier models are now strong enough to break the tests designed to measure them.

u/Eyeswideshut_91 shared Epoch AI's announcement that an AI-assisted review of FrontierMath Tiers 1-4 found fatal errors in about a third of problems, with Noam Brown confirming the initial flags came from GPT-5.5 (post) (339 points, 41 comments). u/That_Country_7682 (score 174): "So the AI is now debugging the math that was supposed to test AI." u/Many_Consequence_337 (score 36) raised the deeper concern: "Wait until we cannot produce any harder benchmarks without AI; then we will have no idea if the AI improves or cheats."

Noam Brown tweet confirming GPT-5.5 initially flagged the fatal errors in FrontierMath, alongside Epoch AI announcement of AI-assisted review finding flaws in about a third of Tier 1-4 problems

u/socoolandawesome reported GPT-5.5 high/xhigh achieving the first ever solve on ProgramBench, a Facebook Research benchmark designed to resist saturation (post) (449 points, 83 comments). u/cora_is_lovely (score 109) immediately flagged a methodological problem: ProgramBench includes assertions for undocumented features, making it impossible to pass without memorizing hidden test requirements. "I'd expect a lot of progress on programbench to come from contamination and memorization."

u/Tinac4 shared results from the AISI AI Security Institute's "The Last Ones" benchmark: the new Mythos Preview checkpoint completes a full 32-step corporate network attack (estimated to take a human expert ~20 hours) in 6 out of 10 attempts (post) (61 points, 15 comments).

AISI The Last Ones cyberattack benchmark chart showing Mythos Preview (new) and GPT-5.5-Cyber reaching approximately 25 average completed steps on a 32-step full network takeover task, with other frontier models ranging from 10 to 22 steps, plotted against cumulative tokens (log scale)

Discussion insight: The community on the FrontierMath post noted that Epoch having to use AI to review its benchmark is itself evidence that human-generated hard math problems are becoming exhausted faster than they can be created. The AISI chart shows GPT-5.5-Cyber nearly reaches M9 (full network takeover), which was M9 on the task taxonomy.

Comparison to prior day: May 12 discussed the Coding Agent Index and ProgramBench methodology. May 13 adds the FrontierMath errors (the benchmark being corrected by the model it tests) and the AISI cyber benchmark showing near-autonomous full attack completion.


1.4 Figure AI humanoid robots complete an 8-hour autonomous shift (🡕)

Figure AI ran a publicly livestreamed 8-hour fully autonomous warehouse operation using Helix-02, with zero human intervention claimed. Two posts covered the announcement and then the actual stream, totalling 391 points and 131 comments.

u/Distinct-Question-16 shared Brett Adcock's announcement tweet: "Figure is going live around 11am PT today with an 8-hour livestream of our robots running at human speeds / This will be fully autonomous on Helix-02 w/ zero human intervention / The robots will work together to keep operations running nonstop" (post) (297 points, 106 comments). A second post confirmed the stream was live (post) (94 points, 25 comments).

Brett Adcock tweet from 13 May 2026 announcing Figure AI 8-hour livestream of Helix-02 robots running fully autonomous at human speeds with zero human intervention

Observers watching the stream reported the robots now self-recover from stuck states more fluidly: u/Bright-Search2835 (score 25): "I just saw it handle a box and quickly reposition it, it seemed so human. And now, it just manipulated two boxes at once, one in each hand." u/socoolandawesome (score 10) noted two mistakes on box handling during the session but called the speed still impressive. YouTube recording link shared in comments: https://www.youtube.com/live/luU57hMhkak

A separate post covered u/Kahing's summary of China's dark factory already producing J-20 stealth jet components at more than double the efficiency of conventional production (post) (490 points, 75 comments). u/AccomplishedFix3476 (score 24) noted: "actual throughput data on military hardware... the procurement gap closes by 2028 instead of 2032."

An earlier u/Clawz114 post about a strange moment in the Figure 03 livestream — what looked like teleoperators changing shifts — drew 241 comments and 650 points. The community debated whether it was a robot crash-and-reboot, an intrusive thought, or actual teleop shift change (post).

Comparison to prior day: May 12 covered OpenClaw economics and personal agent frustrations. May 13 shifts to physical robotics milestones: a livestreamed 8-hour autonomous shift and military dark factory scale-up.


1.5 The AI ROI gap: cost debates and workforce reductions without returns (🡒)

Two substantive posts from different angles challenged the assumption that AI investment translates cleanly to productivity.

u/reasonablejim2000 reported a work instance of GPT consuming $10 (subsidised) / $100 (estimated true compute) to summarize a 45-sheet Excel spreadsheet (500x50 cells each) in 5 minutes (post) (756 points, 369 comments). u/philipp2310 (score 554) challenged the figures. u/redpandafire (score 153) validated the mechanism: "A very large excel file will balloon KV caches. Running a very large cache over many loops is easily burning millions of tokens."

u/fortune shared a Gartner survey of 350 global executives (annual revenue $1B+): 80% of those who piloted AI or autonomous technology reported workforce reductions, but the businesses cut jobs regardless of whether AI was generating returns. Gartner VP analyst Helen Poitevin: "Chasing value only through headcount reduction is likely to lead most organizations down a path of limited returns" (post) (268 points, 58 comments). u/JoeSchmoeToo (score 44) offered a counter-example: "We are actually a lot more productive using AI with the same staff — the per person profit almost doubled, and we are hiring more people." u/Comfortable-Web9455 (score 74) raised a strategic motive: "If you lay off staff you can now hide the fact you are doing it because your business is in trouble by saying it is because of AI."

Comparison to prior day: May 12 raised individual cost confusion (the ubatch/DGX cost thread). May 13 raises the systemic version: a peer-reviewed study showing companies are laying off without the AI returns promised.


1.6 Open-source tooling matures: three notable releases in one day (🡕)

Three independent projects released or announced on May 13 collectively expand what practitioners can run locally without cloud services.

u/oobabooga4 (the original text-generation-webui author) released TextGen, a rebranded no-install portable Electron desktop app for Windows, Linux, and macOS. Key differentiators vs LM Studio: zero outbound telemetry, ik_llama.cpp backend (with SOTA quant types IQ4_KS and IQ5_KS), built-in web search via ddgs, tool-calling with MCP support, and an Anthropic-compatible API that works with Claude Code (post, GitHub) (370 points, 134 comments). u/ComplexType568 (score 40): "MORE COMPETITION TO LM STUDIO, PLEASE!"

TextGen native desktop app showing web search tool-calling in progress — the model runs fetch_webpage calls to fetch LLM recommendations and synthesizes results inline, with tool confirmation controls visible in the sidebar

u/Henrie_the_dreamer announced Needle, a 26M parameter function-calling model from Cactus Compute. The architecture eliminates FFN layers entirely, using only attention and gating. Key architectural finding: "The model doesn't need to memorize facts in FFN weights if the facts are provided in the input." This finding, the authors claim, generalizes beyond function calling to all RAG and tool-use tasks. Runs at 6000 tok/s prefill and 1200 tok/s decode on consumer hardware. Beats FunctionGemma-270M, Qwen-0.6B, and Granite-350M on single-shot function calling (post, GitHub) (328 points, 44 comments). MIT licensed.

u/jochenboele documented a 125-session autonomous coding run using MiMo-V2.5-Pro API (Xiaomi's 1.02T-parameter, 42B-active MoE) via Claude Code, producing a full SaaS product from an empty repo: 301 commits, interactive API cost calculator (33 models, 10 providers), Stripe checkout, RSS, newsletter infrastructure, SEO, and 60+ pages of content. Total cost: $70.12 for 387M tokens, with a 96.3% cache hit rate (post) (31 points). The model also ran unsolicited quality audits, found issues, and fixed them autonomously.

Discussion insight: The TextGen post generated strong anti-LM Studio sentiment. u/Borkato (score 41): "Finally, a private alternative to LM studio!!" The Needle post raised concern about pickle files in the weights distribution from u/TheGoddessInari (score 45) — a legitimate supply-chain security flag.


2. What Frustrates People

AI cost is genuinely unpredictable at scale and the community cannot agree on whose fault it is - Medium

The $10-100 spreadsheet task generated 369 comments split between "you misconfigured it" and "yes, large KV caches over many loops will do this." Neither side produces the diagnostic clarity needed: no public dashboard tells a non-expert what a given task will cost before it runs. The top-voted challenge (score 554) makes the confusion worse by dismissing the problem, while the score-153 reply validates the mechanism (post). Users cope by rationing context windows, choosing cheaper models, or switching to local inference entirely.

MTP requires non-mainline llama.cpp and non-trivial Docker setup - Medium

u/havenoammo published llama.cpp Docker images specifically to allow MTP usage without manually tracking an unmerged PR (post) (52 points). The post includes a detailed comparison of MTP layer quantization between Unsloth's official build (Q3_K to Q5_K on key layers) and the author's Q8_0 variants. The workaround is working, but the ecosystem split between mainline and feature-branch builds frustrates users who want reproducible setups.

Quantization quality cliff is real and non-obvious on MoE models - High

u/grumd documented a setup for single-GPU (16GB VRAM + 64GB RAM) coding with Qwen3.6-35B-A3B. The critical finding: "At Q4 it's not usable tbh and gets lost a lot, but at Q8 it can figure stuff out and actually finish its work correctly." Multiple users confirmed the same pattern — MoE expert routing quality degrades sharply below Q6_K on Qwen3.6 variants (post) (49 points). This forces users toward larger quantizations, requiring more RAM.

AI transcription in healthcare hallucinated and generated clinical errors - High

u/One-Astronomer6166 posted a CBC report on an AI scribe system used by Ontario doctors that hallucinated and generated errors found by auditors (post) (70 points, 25 comments). u/kamusari4477 (score 12): "The underrated problem with AI agents isn't capability — it's accountability. When an agent makes a bad decision, nobody knows whose fault it is." u/Tyler_Zoro (score 2) countered that the report is not actionable without a comparison baseline against human transcription error rates.

AI note-taking apps charge per-minute and cut access mid-month - Medium

u/Exact_Pen_8973 described the recurring pattern: 300 minutes per month, gone by Tuesday for students in back-to-back classes or all-day meetings (post) (85 points). The frustration drives demand for on-device transcription alternatives.


3. What People Wish Existed

Per-model inference tuning guides built into llama.cpp - Direct

The ubatch post (score 108) generated a comment thread making clear that the community has been independently discovering this trick for months without a central place to document it. u/OsmanthusBloom (score 3) linked six prior comments where they had given the same advice buried deep in other threads. What people want is a model-specific tuning guide built into llama.cpp itself, or at minimum a maintained community wiki entry, so users do not need to stumble onto the trick via high-scoring Reddit posts.

On-device transcription that works across platforms, not just Apple Silicon - Direct

Alt (altalt.io) solves the per-minute billing problem but requires M-chip Macs, iPhones, or iPads. Multiple commenters noted the gap: Windows and Linux users on AMD or NVIDIA hardware have no equivalent free local transcription app with speaker diarization. The engineering pieces (Whisper GGML, Pyannote) exist, but the packaged experience does not (post).

MoE quant quality benchmarks included in model cards - Direct

Multiple posts this day converged on the problem that model cards do not include quantization quality benchmarks. MagicQuant (u/crossivejoker, score 89) was built explicitly because "everyone posts Q8/Q6/Q5 and so on. But there's no benchmarks. Was there a dramatic dip in KLD going from one quant to another?" The project addresses this for Qwen3.6 27B specifically but users want this built into every model release (post).

Transparent AI ROI measurement before companies cut staff - Aspirational

The Gartner study finding — that companies are cutting staff regardless of whether AI is generating returns — implies demand for a pre-deployment ROI measurement tool. Users in the thread wish companies would measure actual task completion rates and quality before making workforce decisions, not just install the tool and count FTEs eliminated.


4. Tools and Methods in Use

Tool Category Sentiment Strengths Limitations
llama.cpp Inference engine (+/-) ubatch tuning, MoE CPU offload, wide hardware support MTP requires non-mainline PR, conservative defaults hide performance
vLLM Inference engine (+) Faster prompt processing on full-GPU fits, better multi-user, supports MTP High VRAM, slow startup, frequent version breaks, no CPU-offload
ik_llama.cpp Inference engine (+) SOTA quant types (IQ4_KS, IQ5_KS), integrated in TextGen Less mainstream, fewer prebuilt binaries
Qwen3.6 27B / 35B-A3B LLM (+) Best per-size intelligence for agentic coding at Q6+ Quality degrades sharply at Q4; no small distills below 27B
GPT-5.5 LLM (API) (+) Best coding agent benchmark results, FrontierMath error detection, first ProgramBench solve Expensive at scale; KV cost explodes on large-context tasks
Claude Opus 4.7 LLM (API) (+) Strong agentic coding, good for UI work Loses to GPT-5.5 on ProgramBench, Coding Agent Index
MiMo-V2.5-Pro LLM (API) (+) 96.3% cache hit rate, MIT license, 1.02T/42B-active MoE, 1M context Requires substantial infrastructure to self-host
Unsloth GGUF (MTP variants) Quantization (+/-) Provides ready-to-run MTP GGUF for Qwen3.6; uses lower-bit MTP layers (Q3_K) Lower MTP layer quantization may reduce prediction quality vs Q8
TextGen (oobabooga) Local inference UI (+) Privacy-first, ik_llama.cpp, web search, MCP, Claude Code compatible New release, less tested than LM Studio
ExLlamaV3 Inference engine (+) DFlash support, strong coding speedup Less hardware coverage than llama.cpp
DFlash (z-lab) Speculative decoding (+) Wins on MoE models (Gemma 4 26B: 1.73x) Loses to MTP on dense models; lower acceptance rate
MTP Speculative decoding (+) Wins on dense models (Gemma 4 31B: 3.11x), higher acceptance rate Less effective on fast MoE baselines
TabPFN-3 Tabular ML (+) Zero training, single forward pass, 93% win rate vs classical ML, 1M rows on H100 Open weights research only; Thinking Mode is API-only
DramaBox (Resemble AI) Voice/TTS (+/-) Based on LTX 2.3, expressive voice acting, voice cloning, MIT license Audio quality still "60% robotic" per community
GBDK-2020 Embedded dev (N/A) Enabled GBC transformer build Extremely niche application
Needle (Cactus Compute) Tool-calling model (+) 26M params, 6000 tok/s prefill, MIT licensed, no-FFN architecture Experimental; pickle file security concern; single-shot only

Overall satisfaction spectrum: Qwen3.6 27B holds the dominant position for local intelligence at budget hardware, but the quality cliff below Q6 forces RAM-heavy setups. vLLM and llama.cpp serve different use cases (fully-in-VRAM vs partial offload) and the community is converging on that distinction. LM Studio losing ground to privacy-conscious alternatives is a new competitive dynamic.

Migration pattern: Users with 16GB VRAM are moving from Qwen3.6 27B at low quants to 35B-A3B at Q8 (fitting via MoE sparsity + RAM offload). GPU-rich users (224GB+ VRAM) are exploring DeepSeek V4 Flash and Minimax M2.5 as alternatives.


5. What People Are Building

Project Who built it What it does Problem it solves Stack Stage Links
TextGen u/oobabooga4 No-install local LLM desktop app LM Studio telemetry, missing features Electron, Python, llama.cpp, ik_llama.cpp, ExLlamaV3 Shipped GitHub
Needle Cactus Compute 26M param no-FFN function-calling model On-device tool routing at 6000 tok/s TPU v6e pretrain, Gemini distillation, GGML inference Shipped GitHub
GBC Transformer u/maddiedreese TinyStories-260K on Game Boy Color (INT8, bank-switched ROM) Extreme edge inference proof of concept GBDK-2020, MBC5, fixed-point math, Codex-assisted Shipped GitHub
Agentic Daily Brief Printer u/Boydbme Per-kid daily agenda on receipt printer at button press Bringing structured AI output to non-screen surfaces AgentBuilder, HomeAssistant, Docker, BPA-free thermal paper Shipped post
MagicQuant v2.0 u/crossivejoker Hybrid mixed GGUF quant optimizer with KLD benchmarking No model-specific quant quality benchmarks Custom pipeline, Unsloth, llama.cpp, KLD measurement Shipped post
Alt (local transcription) KAIST students On-device Whisper + Pyannote note-taking on Apple Silicon Per-minute subscription fees GGML, CoreML, Pyannote, 12ms/chunk Shipped altalt.io
MiMo SaaS build u/jochenboele Autonomous SaaS product (API calculator, Stripe, 60+ pages) Benchmark of agentic cost-efficiency MiMo-V2.5-Pro API, Claude Code, file-based memory Shipped post
Gemma4 MTP vs DFlash benchmark u/LayerHot H100 benchmark of speculative decoding strategies Architecture-specific optimization guidance vLLM, SPEED-Bench, Python Shipped GitHub

TextGen is the most significant release of the day. It provides zero-telemetry local inference via a proper Electron wrapper (the same approach as LM Studio, as the author points out, but without the phone-home on launch). The ik_llama.cpp backend gives access to IQ4_KS and IQ5_KS quantization types not available in mainline llama.cpp, which yield lower KL divergence per GB than standard IQ4_XS. The built-in web search using ddgs and tool-calling through both local .py files and MCP servers makes it a full local agent platform.

Needle represents the architectural finding that FFN layers may be unnecessary in models with constant access to structured external knowledge. The 26M parameter constraint was deliberate — Cactus targets phones, watches, and glasses. The result that it beats much larger models (Qwen-0.6B, Granite-350M) on single-shot function calling at 6000 tok/s prefill is a meaningful result for on-device orchestration.

Agentic Daily Brief Printer demonstrates "composition over inheritance" agent design: a parent agent orchestrates five specialist agents (three per-kid, one joke, one facts), with rendering via Docker HTML-to-image service. Each agent is small (largest is GPT4-1 mini for science facts). Total cost per morning's run: $0.035.

Common build patterns: multiple builders are combining small specialist agents rather than single large models. Receipt printer, MiMo SaaS builder, and daily brief all use file-based memory or persistent state. This is a reproducible pattern for cost-efficient autonomous workflows.


6. New and Notable

Gemini 3.1 agentic and TTS models detected in the API before announcement

u/Informal_Cobbler_954 posted a Discord bot screenshot showing an automated check detecting 11 new Gemini model entries in the API: gemini-3.1-flash-lite-preview-agent (version 3.1-flash-lite-preview-03-2026), gemini-3.1-pro-preview-agent (3.1-pro-preview-01-2026), gemini-3-flash-preview-agent, gemini-3.1-flash-tts-preview-agent, and gemini-3.1-flash-image-preview-agent, among others (post) (53 points, 19 comments). These agentic and TTS variants are not yet publicly documented. Gemini 3.1 TTS and image-generation agent builds suggest Google is preparing a multi-capability agentic release.

Isomorphic Labs closes a $2.1B Series B for drug discovery AI

u/TorturedPoet30 reported Demis Hassabis's Isomorphic Labs announcing a $2.1B Series B, which u/joeedger (score 23) called potentially "Top 3 in all Series B in history." The announcement noted AlphaFold's continued development as the core drug design engine (post) (392 points, 40 comments). u/Organic_Scarcity_495 (score 15): "the industry is betting that compute-heavy biology will have its 'imagenet moment' where the models suddenly become useful enough to justify the infrastructure cost."

AGI impossibility proof from 2024 shown to have an irreparable flaw

u/mike_uoftdcs published a peer-reviewed response in Computational Brain & Behavior showing that Van Rooij et al.'s "Ingenia Theorem" (which claimed AGI via ML is NP-hard and therefore impossible) contains an unfixable proof error: "human-level classifier" is introduced but never formally defined, and the proof silently substitutes "all polytime-sampleable distributions" in its place. The author notes this substitute definition, if valid, would also prove that learning to classify ImageNet is intractable — an absurd result (post, preprint) (74 points, 16 comments).

Ovis2.6-80B-A3B: MoE multimodal with "Think with Image" active reasoning

u/pmttyji shared the release of Ovis2.6-80B-A3B (AIDC-AI), an 80B total / 3B active MoE multimodal model with 64K context, 2880×2880 image resolution, and a "Think with Image" capability: during chain-of-thought reasoning, the model can crop, rotate, and re-examine image regions as active cognitive operations rather than processing the image passively at input (post, HuggingFace) (105 points, 23 comments). Benchmark results show OCRBench 91.3, DocVQA 96.5, OmniDocBench 91.8 — leading or tied for first across most document-understanding tasks against Qwen3-VL-32B and Gemini-2.5-Pro.

Detailed benchmark table comparing Ovis2.6-80B-A3B versus Qwen3-VL-32B, GLM4.6v-106B-A12B, GPT-5-mini, and Gemini-2.5-Pro across 20 tasks — red values indicate best result, underline second best; Ovis leads on OCRBench, DocVQA, TextVQA, AI2D, and OmniDocBench


7. Where the Opportunities Are

[+++] On-device tool-routing and orchestration infrastructure — Needle's architecture (26M, no FFN, 6000 tok/s prefill) demonstrates that a full class of inference work — tool dispatch, argument extraction, RAG retrieval routing — does not require reasoning models. Any product that bundles a fast on-device router with pluggable tool libraries (MCP, local functions) could replace expensive cloud API calls for the dispatch layer while using cloud only for deep reasoning. The MiMo SaaS build shows the cost structure already works at scale: 96.3% cache hits, $70 for 387M tokens across a 301-commit autonomous build.

[+++] Privacy-first local inference desktop apps — TextGen's strong community reception (370 points, intense anti-LM Studio sentiment) shows that telemetry-free alternatives have immediate demand. The gap: LM Studio is polished but phones home; TextGen is now capable but less tested. A well-designed privacy-first desktop client with ik_llama.cpp, MCP, and a clean onboarding for non-experts is an open competitive position.

[++] Quantization-quality-aware model distribution — MagicQuant's 5-month build shows that existing per-architecture quant benchmarks (KLD tables with model-specific winners) are missing from mainstream distribution. HuggingFace model cards do not include this. A tool that runs KLD benchmarks per model and publishes recommended quant-per-VRAM-budget would be immediately useful to the local LLM community, which is currently discovering this through forum posts.

[++] AI ROI measurement before workforce reduction — The Gartner study documents a structural gap: companies are cutting staff before measuring AI returns. Enterprise buyers need pre-deployment tools that measure task completion rate, quality, and cost-per-task for their specific workflows before headcount decisions. This is a workflow audit product, not an AI product per se, but it addresses a $1B+ annual HR liability.

[++] AI scribe with clinical verification layer — The Ontario AI scribe hallucination finding (70 points, 25 comments) and the comment about accountability gaps suggest demand for a medical AI transcription layer that includes post-hoc verification (second-pass LLM check against structured clinical terminology) before output reaches the patient record. The technical stack exists; the accountability workflow does not.

[+] On-device real-time transcription beyond Apple Silicon — Alt (altalt.io) has demonstrated that Whisper at 12ms/chunk with local diarization is feasible on Apple Silicon. The equivalent for Windows and Linux AMD/NVIDIA remains unbuilt. The frustration is explicit in the comments. The engineering barrier is packaging and distribution, not capability.


8. Takeaways

  1. A transformer now runs natively on 1998 Game Boy Color hardware. This is evidence that inference optimization has crossed from performance engineering into hardware archaeology — the limiting factor is now creative problem-solving about weight storage and arithmetic, not chip capability. The Game Boy Color build used bank-switched cartridge ROM for weights and Codex to assist development, establishing a new floor for "local" AI. (post)

  2. GPT-5.5 caught fatal errors in a third of FrontierMath benchmark problems, creating a benchmark integrity crisis. When the model being tested can audit the test and find errors the test authors missed, the field loses a reliable external measurement tool. Epoch AI is now using AI-assisted review to correct the benchmark — a circular dependency the community flagged immediately. (post)

  3. Speculative decoding method choice depends on architecture: MTP wins on dense models, DFlash wins on MoE. For Gemma 4 31B Dense, MTP delivers 3.11x vs DFlash's 3.03x. For Gemma 4 26B-A4B MoE, DFlash wins at 1.73x vs MTP's 1.49x. Practitioners should benchmark both on their specific model and workload rather than treating either as universally superior. (post)

  4. Figure AI's Helix-02 robots completed a publicly livestreamed 8-hour autonomous warehouse shift. Observers noted improved self-recovery from stuck states and simultaneous two-box manipulation. Two mistakes were reported. This is qualitatively different from controlled demos: 8 continuous hours of autonomous operation in a public livestream cannot be cherry-picked. (post)

  5. Gartner data shows 80% of AI-piloting companies reduced headcount, but the cuts are not generating returns. "Chasing value only through headcount reduction is likely to lead most organizations down a path of limited returns." The community's counter-evidence (one commenter with doubled per-person profit and continued hiring) suggests the difference lies in whether AI is used to augment versus replace — a distinction current enterprise adoption is not making systematically. (post)