Skip to content
K = 0.731
← All topics

Reasoning

Progress in model reasoning: chain of thought, reasoning models, breakthroughs and disputes on math and logic benchmarks.

69 picksLast 30 days 48 itemsCollected 216 items

New

Picks archive · page 2

10/13Tue
  1. AWS Machine Learning Blog75

    Build long-horizon agents with Grok 4.7 on Amazon Bedrock

    AWS demonstrates how to build and evaluate a tool-calling agent using Grok 4.7 on Amazon Bedrock, comparing four reasoning effort levels across three synthetic tasks. The agent answered 67 of 72 runs correctly; xhigh achieved 18 of 18, while low achieved 15 of 18 using about an eighth of the output tokens. The guide covers task design, automated grading, production monitoring, and operational controls, noting that these small-scale results are indicative rather than statistically conclusive.

    Why it matters: Tasks with provably unique answers and repeated runs provide a reusable way to compare reasoning effort, while separate correctness and token measurements make the trade-off concrete.

  2. Latent Space84

    Meta launches Muse Wonder and Muse Wonder Full frontier models

    Meta Superintelligence Labs released Muse Wonder and Muse Wonder Full, its second-generation model family for personal and professional agentic work. Latent Space reports that Wonder is available through the Meta Model API and Muse Code, while Full is limited to Muse Code subscribers. Artificial Analysis gives Wonder Full and Wonder Intelligence Index v4.3 scores of 56 and 52, respectively, versus Opus 5.5’s 58; Wonder supports a 1M context window and text, image, video, and audio inputs, with text-only output.

    Why it matters: The benchmark breakdown compares Wonder variants with competing models on agentic performance and token usage, showing how their relative standing changes across tasks rather than a single ranking.

  3. 量子位80

    GPT-6 Astra helps mathematics enthusiast nor prove five circle-packing cases

    QbitAI reports that mathematics enthusiast nor used GPT-6 Astra to prove optimality for packing 15, 16, 17, 18, and 20 unit disks inside a circle, completing the remaining cases for N≤20. The approach combines geometric constraints, finite computational enumeration, and exact optimality arguments. Nor describes substantial human involvement, including guiding the model, fixing issues, manually verifying validity, and rechecking the work with Astra and Opus 5.5.

    Why it matters: The reported proof strategy shows how geometric constraints can reduce an infinite search space to finite cases, with rigidity arguments connecting computational elimination to exact optimality.

  4. Alexandr Wang · X82

    Meta releases Muse Wonder and Muse Wonder Full with higher benchmark scores

    Meta has released Muse Wonder and Muse Wonder Full, according to Artificial Analysis in the post quoted by Alexandr Wang. At max reasoning effort, they score 52 and 56 on the Artificial Analysis Intelligence Index v4.3, compared with Muse Spark 1.3’s 48, following a release gap of 6 weeks. Muse Wonder is available through Meta’s first-party API and Muse Code, while Muse Wonder Full is limited to Muse Code users; both have 1M-token context windows.

    Why it matters: Artificial Analysis’s comparison highlights a tradeoff between Muse Wonder’s improved benchmark performance and its higher cost per task relative to Muse Spark 1.3 despite lower output token usage.

  5. TechCrunch · AI83

    Meta releases frontier models Muse Wonder and Muse Wonder Full

    Meta’s Superintelligence Lab released Muse Wonder and Muse Wonder Full on Monday, larger models described as more capable than Muse Spark. Meta reports benchmark scores comparable to Fable 5.1 and GPT-6 Astra and emphasizes information retention through “active memory.” Wonder costs $4.00 per million input tokens and $20.00 per million output tokens through the Meta Model API; Wonder Full is available only to Muse Code subscribers. Both models will power the Muse agent.

    Why it matters: The split between API access for Wonder and subscriber access for Wonder Full gives developers a concrete basis for comparing integration options within Meta’s new model lineup.

10/12Mon
  1. Satya Nadella · X73

    Microsoft introduces Maia 300 and plans multi-gigawatt Maia deployments

    Microsoft is introducing Maia 300, which Satya Nadella says delivers 40% more tokens per watt compared to leading GPU-based systems. Starting next calendar year, Microsoft will scale its Maia family to multi-gigawatt deployments, making it the primary inference system for its own products and services. Microsoft is already deploying Maia 200 across the US, Europe, and Australia, delivering up to 1.7x more tokens per watt across experiences in Teams and Copilot, with a goal of building on full-stack efficiency gains while continuing to bring ecosystem innovations into its fleet.

    Why it matters: Making Maia the primary inference system for Microsoft’s own products and services gives its stated efficiency gains a concrete deployment context.

  2. The Decoder81

    Google DeepMind’s AlphaProof Nexus solves dozens of open math problems in peer-reviewed study

    Google DeepMind’s AlphaProof Nexus solved dozens of open math problems, according to a peer-reviewed study in Science, including nine of 353 open Erdős problems, two unsolved for 56 years. It also proved 44 OEIS conjectures, solved an open algebraic geometry question, and improved a min-max optimization bound. Built around Gemini 3.1 Pro, it drafts and revises proofs in Lean using checker feedback and can call AlphaProof for harder sub-problems, though DeepMind reports it solved the nine Erdős problems without that tool.

    Why it matters: DeepMind’s use of peer review provides a concrete comparison with OpenAI’s publication of AI proofs on GitHub amid a debate over how AI mathematics should be evaluated.

10/11Sun
  1. 量子位88

    OpenAI Posts Two Kakeya Conjecture Manuscripts, Extending Work to Four Dimensions

    On October 7, OpenAI released 722 mathematics manuscripts, including two on the Kakeya conjecture: a 97-page paper claiming a three-dimensional maximal-function result stronger than Wang and Zahl's, and a 175-page paper claiming the four-dimensional Hausdorff dimension case. Both are attributed to OpenAI, are not Lean-formalized or peer-reviewed, and OpenAI's README says some unformalized results may be flawed.

    Why it matters: The piece traces how two OpenAI manuscripts extend Wang and Zahl's three-dimensional Kakeya work to a stronger maximal-function version and to four dimensions, while noting the proofs lack peer review.

10/9Fri
  1. OpenAI Developers · X81

    OpenAI rolls out Ultrafast for GPT-6.1 Sol across API, Codex, and ChatGPT Work

    Ultrafast is rolling out today for GPT-6.1 Sol in the API, Codex, and ChatGPT Work. OpenAI describes it as offering near-Astra intelligence at up to 8x faster speeds than Sol Standard. https://t.co/Cyy9k2hifV

    Why it matters: The comparison with Sol Standard gives developers a concrete speed reference for the rollout, alongside OpenAI’s stated positioning of its intelligence near Astra.

10/8Thu
  1. The Decoder82

    Anthropic releases Claude Haiku 5.5 with prices cut by up to 90%

    Anthropic released Claude Haiku 5.5, its fastest and least expensive small model so far. Average prices are about 75% lower than Haiku 4.5; for prompts under 100,000 tokens, prices are up to 90% lower, while prompts above that threshold cost five times as much.

    Why it matters: The source provides Haiku 5.5's pricing table and comparisons across several benchmarks, helping readers assess the tradeoffs for cost-sensitive tasks.

10/7Wed
  1. Hugging Face Blog62

    Nemotron fine-tuning reaches gold-medal level at both IOI 2026 and IMO 2026

    The NVIDIA team started with Nemotron 3 and used supervised fine-tuning, reinforcement learning, and a generate-verify-improve reasoning process to build specialized models that reached gold-medal thresholds at both IOI 2026 and IMO 2026.

    Why it matters: The source gives a complete recipe for fine-tuning Nemotron 3 to gold-medal-level results at IOI and IMO, which readers can use to reproduce its data and reasoning workflow.

  2. The Decoder80

    OpenAI posts 372 AI-generated mathematical proofs on GitHub

    OpenAI posted 372 mathematical results generated by an internal frontier model in a GitHub repository. It says each result solves or substantially advances an open problem, including improvements to major computational algorithms and progress related to the Riemann hypothesis.

    Why it matters: OpenAI posted 372 AI-generated mathematical results directly on GitHub rather than in a journal, highlighting tension between academic review processes and the speed of AI output.

  3. Latent Space88

    OpenAI's internal model releases 722 math papers, claiming to solve 90 of 500 open problems

    OpenAI published mathematical results from an unreleased internal frontier model through a blog, GitHub repository, and posts. The release includes 722 manuscripts grouped into 372 related result families, drawn from an evaluation of about 4,000 research questions. Each result used an average of about three hours of ChatGPT Pro reasoning compute.

    Why it matters: OpenAI is producing mathematical results in bulk with an internal model, giving readers a view of the scale, compute cost, and outside criticism surrounding the work.

  4. 量子位85

    OpenAI releases 722 math manuscripts covering the Riemann, Hodge, and BSD conjectures

    OpenAI released 722 mathematical manuscripts grouped into 372 result clusters. They all came from an unreleased internal model, and the papers, source code, and some Lean proofs have been uploaded to GitHub. Topics include the quasi-Riemann hypothesis, Hodge conjecture, BSD conjecture, and the irrationality measure of π, spanning 17 areas. OpenAI says the model attempted about 4,000 research questions, with compute for each result averaging about three hours of ChatGPT Pro reasoning.

    Why it matters: OpenAI released 722 mathematical manuscripts at once across several areas related to Millennium Prize problems, while surfacing concerns in the mathematics community about verification and reading burden.

  5. Greg Brockman · X70

    OpenAI releases a batch of mathematical results from an internal frontier model

    OpenAI released new mathematical results produced by an internal frontier model, with related code and results at github.com/openai/math. OpenAI said it consulted an independent advisory group on mathematics and AI at the Institute for Advanced Study in Princeton about how to publish the work and considered its recommendations. Greg Brockman reposted the announcement, saying it points toward accelerating scientific discovery and improving quality of life for everyone.

    Why it matters: OpenAI made a batch of mathematical results from an internal frontier model public and said it followed advice from an external advisory group on the release.

10/6Tue
  1. Arthur Mensch · X72

    Mistral announces Mistral Large 4 with 1T parameters and native multimodality

    Mistral AI announced Mistral Large 4, aka Le Chonk, with 1T parameters, 49B active, and native multimodality, available via API today with an open weights release planned for the end of October. It claims the model leads open weights models from the US or Europe on aggregated benchmarks and surpasses closed frontier models on visual grounding. Arthur Mensch adds that it took groundwork, was trained and served on their own compute, and that RL shows no sign of saturation.

    Why it matters: The announced API availability and end of October open weights release give teams distinct timelines for accessing the model through hosted infrastructure or its weights.

10/3Sat
  1. AI at Meta · X66

    Meta publishes six papers on mathematicians collaborating with Muse Spark

    Meta said that after AI models achieved gold-medal-level performance in five math, physics, and chemistry competitions, it had mathematicians work with Muse Spark 1.1 and 1.2 in Thinking Mode through the meta.ai chat interface to solve open problems with no existing solution path and no custom research scaffolding.

    Why it matters: Meta made six papers from mathematicians' collaboration with Muse Spark public and described the division of work between people and AI and the review process.

10/2Fri
  2. 量子位82

    Google launches Gemini 4 Argon, tops multiple leaderboards at about half Astra's cost

    Google released its next-generation flagship model, Gemini 4 Argon. It scored 77.9% on DeepSWE v1.1, ahead of Claude Opus 5.5 at 74.2% and GPT-6 Astra at 74.1%, and ranked first on Text Arena with 1,525 points.

    Why it matters: Google's new flagship tops several leaderboards and publishes cost and maximum output-token figures, helping readers assess its position against GPT and Opus.