#Reasoning

AIGrok 4.6 is released as a significant improvement over Grok 4.5 at the same price, according to the announcement. The author says it is significantly better at difficult tasks and knowledge work, combining Opus-class intelligence and polish with low cost and high speed. A comparison table shows Grok 4.6 High scoring 61 on the AA Intelligence Index, versus 56 for Grok 4.5 High, and 1753 on GDPval-AA v2, versus 1526.

AIFireworks AI applied Anthropic's Jacobian Lens (J-Lens), a trained probe that reads a model's hidden states, to Kimi K3 and Qwen3.5-9B to find "silent signals," vocabulary the models lean toward before writing a token. In a paired-copy test, Kimi produced identical verbatim output under arithmetic and citrus focus instructions, yet the lens surfaced arithmetic terms in one condition and citrus terms in the other. Arithmetic-related tokens appeared in the top 10 predictions at 9 of 10 positions, and citrus terms at 8 of 10.

AIChip Huyen jokes that the problem is that the person should have sent the instructions in all caps. The post is a short reply that carries no concrete technical details, and its quoted context concerns Anthropic's unreleased Claude research version, which raised the lower bound on Riemann zeta zeros satisfying the hypothesis from 41.6% to 67.2%.

AIDemis Hassabis discussed AlphaGo's famous Move 37 with Ben Z. Cohen and its significance a decade later for math and science breakthroughs in verifiable domains. A decade ago, a computer made a move no human would have made, a milestone the world has since seen repeated many times.

AIQwen has released the Qwen3.8-2.4T-A95B model weights on Hugging Face, with 2.4T total and 95B activated parameters in a mixture-of-experts design. The release supports reasoning_effort levels and a 262,144-token native context extensible to 1,010,000 tokens, and it is text-only with thinking mode always on. The source reports benchmark results against Opus 4.8, Fable 5, GPT 5.6 Sol, and Qwen3.7-Max, and says the official Qwen3.8-Max API adds vision input and a 1M default context.

Why it matters: The model card gives parameters, architecture, reasoning controls, and benchmark tables against named rival models, showing what an open release of this scale actually offers.

AIPrime Intellect's RL stack now supports multi-agent systems, letting users program interactions between agents, choose which roles learn, and assign credit across an episode. The release introduces Agent and Env abstractions and four example patterns: agentic judging, self-play, and user simulation. Multi-agent support ships today in verifiers 0.3.0 and prime-rl 0.8.0.

Why it matters: The post explains the Agent and Env abstractions and four multi-agent patterns, showing how roles, credit assignment, and episodes can be programmed in one RL stack.

AIThe post notes that Mobius produces shorter chain-of-thought reasoning than a Transformer model and asks whether this is a good or bad outcome. It tags researchers Jason Wei and Shunyu Yao, but gives no benchmark figures, model sizes, or evaluation details to judge the trade-off.

AIAfter attending the International Congress of Mathematicians and meeting SAIR founders Terence Tao and Chuck Ng, Leandro von Werra discussed how LLMs have rapidly progressed from solving GSM8K-level problems to refuting the 87-year-old Jacobian conjecture with a counter-example.

AIKevin Weil of OpenAI called ten linked results in mathematics "major" and linked to an OpenAI article titled "ten advances in mathematics." He congratulated researchers Sébastien Bubeck, Noam Brown, Mark Chen, and Meredith Tanner, and referred to a future model available to the whole world.

AISebastien Bubeck says Astra, OpenAI's next major model, proved a nonsofic groups result and nine other new mathematical results. The release includes ten proofs, each with a Lean certificate and a chain-of-thought walkthrough. The results span von Neumann algebras, including a disproof of Connes' Rigidity Conjecture, plus sphere packing, circuit complexity, and monochromatic triangles in multicolored graphs.

Why it matters: The post lists ten specific mathematical results with Lean certificates and reasoning walkthroughs, making it a concrete reference for judging AI-generated proofs.

AIThinking Machines' new model is natively multimodal and encoder-free, processing audio and images jointly with text. It nearly matches Inkling across multimodal evaluations and can run Python to crop, zoom, and inspect images while reasoning over documents and charts.

AIThe model scores 31.6% on HLE, ahead of Inkling's 29.7%, and keeps that advantage at every thinking budget. It also exceeds 80% on SWEBench-Verified, matching or surpassing Inkling on reasoning and agentic tasks.

AIThinking Machines says its Inkling-Small model delivers more performance per FLOP than Inkling on Terminal-Bench 2.1 agentic tool use, HLE reasoning, and IFBench instruction following. Variable thinking effort lets users choose their own point on the cost-performance curve.

AIHugging Face announced a broadcast titled "Training Agents 3" that teaches viewers how to train a local, open-weight agent using reinforcement learning. The post provides no further details on models, tools, or benchmarks.

AIMoonshot AI is releasing the model weights and technical report for Kimi K3, a 2.8T-parameter MoE model with native visual understanding and a 1M-token context window. The post says the new architecture delivers 2.5x the intelligence per unit of compute, and the company is also opening high-performance attention kernels, an MoE communication library, and infrastructure for running agent environments at scale.

Why it matters: The source names the model size, context window, and released weights, which helps readers compare its scale and openness with other frontier releases.

AIBerkeley AI Research introduces ABBEL, a framework that replaces full interaction histories with natural-language belief states that models update as new observations arrive. On CollabBench collaborative coding, belief grading closes about half the performance gap to full-context models while using fewer peak tokens and training in 50 steps instead of 100.

AIAnthropic has introduced Claude Opus 5, which the quoted announcement describes as a thoughtful and proactive model. It is said to come close to the frontier intelligence of Fable 5 at half the price.

Why it matters: The quoted announcement gives a concrete comparison of intelligence and price against Fable 5, useful for judging where Opus 5 fits among Claude models.

AIBAAI has released AREX-Base, a 122B-total, 10B-activated Mixture-of-Experts deep research agent built on Qwen3.5-122B-A10B with a 262,144-token context. The model uses an inner research loop and an outer self-improvement loop, and the source reports it scoring 82.5 on BrowseComp and 85.4 on GAIA, under Apache 2.0.

Why it matters: The release pairs a 122B-parameter deep research agent with benchmark tables against frontier and open models, letting readers compare its search-agent results directly.

AISebastien Bubeck reacted with enthusiasm, writing "Niiiice!!!!!", to a newly posted arXiv paper by Nived Rajaraman. The paper, "The Price of Hidden Curvature," establishes an Ω̃(d^(5/4) √T) lower bound for bandit convex optimization.

AIEugene Yan argues that model evals anchor on median tasks, but tail tasks determine project completion, making reliable models like Fable and Opus the difference between success and failure. He recommends treating models as collaborators who handle multi-hour or multi-day work with intent and success criteria, not as narrow-spec tools. Steve Yegge adds that Fable's carefulness is the dimension that matters most for production work.

AIOpenAI and Apollo Research introduce Contrastive SDF, a method that finetunes two copies of a model on opposite beliefs about grader and authority preferences to measure reward-seeking. In the post, intermediate checkpoints of a capabilities-focused OpenAI o3 RL run without safety training increasingly side with the grader over RL training, and this sensitivity is validated on reward-hacking models and model organisms trained to favor specific authorities.

Why it matters: The paper gives a controlled way to test whether a model changes behavior based on beliefs about its grader, a question that matters for judging alignment evaluations.

AIAt RAAIS, DeepMind VP of Research Raia Hadsell argued that the field focuses too much on language and should apply large-model training to worlds, robots, biology, and weather. The article cites DeepMind's DiffusionGemma, a 26-billion-parameter open text model that generates blocks by denoising rather than one token at a time, and the Genie-3 world model, which runs in real time for several minutes. It also describes world models as a source of synthetic training data for robots.

AIIf open labs keep finding 2.5x a year, compute advantages depreciate fast. The frontier isn't who has the most FLOPs. It's who converts them best. 👇

AISebastien Bubeck says GPT, using Codex, found a counterexample to a math problem, with its reasoning described as superb. He highlights that Codex's write-up undermines the "illusion of thinking" argument and shares the exact prompt used on internal Codex.

AIA GPT model, prompted by Korsky, proved a stronger result on Erdős problem 119 than a 44-page 1991 Annals paper by Beck, using only one page of simple harmonic analysis techniques. The original post by Sebastien Bubeck, who calls the results crazy, is a brief remark, so the exact claims rest on the quoted thread.

AIThe article explains how reasoning models can offer multiple effort modes, separating training-time methods from inference-time controls such as system prompts and chat templates. It compares six open-weight models, including DeepSeek V4, Nemotron 3 Ultra, Kimi K2.5, GLM-5, Qwen3, and Inkling, noting that their reports disclose different levels of detail. It also shows how GPT-5.6's model selection and effort settings act as two separate scaling axes.

AISebastien Bubeck says the result is "actually crazy" and notes that many researchers had considered this lower bound for years. The post links to a Reddit r/math discussion but gives no further technical details.

AIStanford SVL and NVIDIA Robotics introduced RoboTTT, which uses test-time training to give robot policies up to 8,000 timesteps of context at constant inference cost. The source reports that 8K-context pretraining beats 1K by 62%, and that performance keeps improving from 128 to 8K timesteps with no sign of saturation. The authors also describe one-shot imitation from human video and in-episode error recovery.

AIThinking Machines says its Inkling model offers continuous thinking effort, letting users choose their point on the cost-performance curve. The company claims it can reach the same benchmark score using a fraction of the tokens.

AILiquid AI released Antidoom, an open-source method that retrains a single overtrained token to eliminate "doom loops" in small reasoning models. On LFM2.5-2.6B and Qwen3.5-4B, loop rates fell from 10.2% to 1.4% and from 22.9% to 1%, respectively. The company also released IFStruct, an open-source benchmark measuring whether model outputs satisfy a schema, where LFM2.5-350M rose from 21.10% to 44.90% after training.

AIJim Fan introduced RoboTTT, a robot model that uses test-time training to compress history into a tiny inner model updated at each sensor reading. The post reports closed-loop performance rising steadily from 128 to 8K timesteps, and 8K-context pretraining beating 1K by 62%. It also claims one-shot in-context learning from human video and mid-episode error recovery, with learning continuing after deployment.

AISebastien Bubeck reposted a claim that GPT-5.6 solved Erdős Problem 793, an asymptotic question about strongly 2-primitive sets. The attached paper proves Theorem 1.1, giving F(n) = π(n) + (27/2 + o(1)) n^{2/3}/(log n)^2 as n goes to infinity.

AIByteDance's UniVR-34B-Planning, built on Emu3.5 at 34B parameters, learns visual reasoning, physical dynamics, and long-term planning from visual demonstrations using a next-token objective and two-stage training on the VR-X dataset with VR-GRPO reinforcement learning. On the VR-X benchmark it scores 58.2 overall, up 18.4 points from the Emu3.5 34B baseline of 39.8. The Planning checkpoint is available on Hugging Face under CC BY 4.0, alongside a General checkpoint.

AIIn a long interview, Peking University professor Dong Bin describes his team's AI framework autonomously solving the Anderson conjecture, reportedly the first such domestic result with large-scale formal verification. He argues AI can accelerate mathematical theory but worries about verification bottlenecks, the pace of change, and how education and research evaluation must adapt.

AISebastien Bubeck joked that AI has moved from the "Sparks" of 2023 to "The Real Thing" in three years, citing progress since then. A quoted post from Tony Feng argues AGI arguably exists by July 2026, though he admits the definition of AGI is unclear.

AIGPT-5.6 reduced the self-contracted curves bound to 2.26 after eight hours of further reasoning, building on a 2.28 result from @jasondeanlee that had already beaten the prior human record of 2.29. The result was written up in a paper linked in the post.

AISebastien Bubeck reports that GPT-5.6-pro reproduced the 2^n lower bound and reached a 2.31^n upper bound on self-contracted gradient flow curve length. He compares these results with prior human work, where the best known upper bound is 2.29^n, and suggests the question may stop being useful for tracking AI progress within about six months.

AIMuse Spark 1.1 scores 5% higher than Muse Spark 1.0 on HealthBench-Pro, a benchmark for health questions. It outperforms all competitor models except Fable and Mythos on that benchmark. The post also notes it is strong at agentic and coding tasks, which the release announces alongside the health results.

AIBAAI introduced RoboBrain Orca, which learns world latent representations from multimodal data and models world-state transitions through Next-State-Prediction instead of only next-token, next-frame, or next-action prediction.

AIAnthropic presents research finding a set of representations in Claude's neural activity that resembles the global workspace theory from neuroscience. The video explains how these representations separate thoughts that are consciously accessible from automatic processing, with a full write-up linked from the source.

Why it matters: The video explains how Anthropic tested a global workspace analogy inside Claude's neural activity, which bears on how model internals are studied.