Skip to content

#推理

Today 1 items
Oct 7Wed
  1. Simon Willison59

    Introducing Mistral Large 4: Le chonk

    Mistral released a preview of Mistral Large 4, with 1 trillion total parameters and 49B activated parameters, trained on its own 3,800 NVIDIA Grace Blackwell GPUs. It is available via the Mistral API, with open weights promised by the end of the month.

  2. The Verge · AI39

    All the drama around AI’s takeover of mathematics

    Over the past year, AI labs including OpenAI and Anthropic have announced breakthroughs on multiple long-unsolved math problems, even a famous Millennium Prize Problem. These achievements should have been celebrated, but instead sparked a strong backlash in the math community. OpenAI says it will consult top mathematicians to avoid repeating the mistakes, but whether it delivers remains to be seen.

  3. The Verge · AI76

    OpenAI drops another batch of mathematical breakthroughs

    OpenAI has released 722 mathematical manuscripts covering 372 families of results, which AGMAI says include solutions to "hundreds" of open problems, produced by an unreleased frontier model. The manuscripts were published in a GitHub repository with paper revision and citation protocols, along with model reasoning summaries and compute estimates; OpenAI says each result corresponds on average to three hours of ChatGPT Pro thinking time.

    Why it matters: The report gives the scale of 722 manuscripts, the number of problems, and compute estimates, so readers can gauge the actual content of these mathematical results and the academic controversy around them.

Oct 5Mon
  1. Simon Willison33

    Qwen3.8 27B addition in words

    A benchmark tested whether a local Qwen3.8-27B-Q4_K_M.gguf model can produce exact results of positive integer addition using only English words, with 5,070 no-reasoning cases and 169 reasoning-enabled control cases. With reasoning off, numerical accuracy was only 23.57% — 97.04% for 1-3 digit problems but 6.44% for 10-13 digits, with 96.17% format compliance; with reasoning on, it answered 167 of 169 attempts correctly.

Oct 2Fri
  1. MIT Technology Review · AI56

    Don’t be fooled—LLMs don’t reason

    Thore Graepel, a former core member of DeepMind's AlphaGo team, argues in an essay that large language models are essentially fast-associative next-token prediction, that their chains of thought are not an independent reasoning mechanism, and that they do not reason in the scientific sense.

  2. Ars Technica · AI67

    With most information hidden, the game Stratego had stumped AI—until now

    A research team from Carnegie Mellon, MIT, NYU, and Stanford has developed an AI called Ataraxos that defeated Pim Niemeijer, considered the strongest Stratego player in history, with 15 wins, 1 loss, and 4 draws, using only 16 GPUs and a few thousand dollars for training. Stratego is an imperfect-information game with large amounts of hidden information and very long game timescales; even DeepMind had previously failed to build a machine that could reliably beat top human players.

Oct 1Thu
  1. The Decoder77

    AI beats Stratego's greatest player, ending one of the last human strongholds in board games

    Ataraxos, developed by a research team, defeated four-time world champion and widely acknowledged greatest Stratego player Niemeijer with an 85% effective win rate over three weeks of play, and won 38 of 40 games in an exhibition match at the 2025 world championship, using less than $8,000 of compute to crack imperfect-information games.

    Why it matters: The article compares Ataraxos and DeepNash training costs and methods, giving readers insight into the latest progress in imperfect-information game research.

Sep 30Wed
  1. AWS Machine Learning Blog69

    Bring near-Astra intelligence to everyday work with GPT-6.1 Sol on Amazon Bedrock

    GPT-6.1 Sol is now generally available on Amazon Bedrock, focusing on stronger reasoning for agent coding, computer use, and professional workloads. According to OpenAI, its DeepSWE v1.1 score matches GPT-6 Astra at about one-fifth the per-task cost and beats GPT-6 Sol's best score by 6.4 percentage points; it also outperforms GPT-6 Sol on transparency, user intent, and explicit constraint evaluations.

    Why it matters: The official announcement gives specific comparisons against GPT-6 Sol and GPT-6 Astra, helping readers evaluate its cost-effectiveness for agentic work scenarios.

Sep 29Tue
  1. Hugging Face Blog63

    NVIDIA Kumo Tabular Sets a New Accuracy-Efficiency Frontier for Tabular Prediction

    NVIDIA has released the open-source tabular foundation model Kumo Tabular, now on Hugging Face. Given labeled tables, the model predicts labels for new rows in a single forward pass with no training, tuning, or feature engineering; it supports classification and regression, is Transformer-based with column, row, and in-context attention, and was pretrained entirely on synthetically generated tables.

    Why it matters: The official post covers the architecture, pretraining recipe, and four benchmark results of a zero-finetuning tabular foundation model, letting readers judge whether it can replace traditional gradient-boosted-tree workflows.

  2. AWS Machine Learning Blog64

    Grok 4.7 is now available on Amazon Bedrock

    xAI's Grok 4.7 is now available on Amazon Bedrock, offering a 500K token context window and four reasoning effort levels: low, medium, high, and xhigh.

    Why it matters: The article covers how to access it on Bedrock, reasoning effort configuration, and cost trade-offs, so readers can directly plan their usage and spend.

Sep 26Sat
Sep 25Fri
  1. Latent Space36

    [AINews] The Future of Latent Space

    Latent Space's swyx announced a revamp of AINews, which has run for 3 years and has over 200,000 subscribers, planning to merge AINews v3 with the tens-of-thousands-member Latent Space Discord, migrate the site to Beehiiv and launch a new homepage.

Sep 23Wed
Sep 22Tue
  1. Simon Willison69

    Jev introduces a new shape of LLM - System One, aka Decision Models

    Last week TypeSafe AI released Jev, a new category of model it calls a System One model, which takes text input but outputs classifications, yes/no decisions, scores, and confidence as floating-point numbers. Jev charges only for input at $0.042 per million tokens, below GPT-5 Nano's $0.05/million, supports evaluating multiple questions in parallel, and suits tasks like classification, ranking, and search reranking.

Sep 16Wed
Sep 9Wed
  1. OpenAI News69

    GPT-6 Astra: The next generation in intelligence for work

    OpenAI has released GPT-6 Astra, positioned as its most powerful business-focused model, with advanced reasoning and computer use capabilities, plus stronger writing and design judgment.

    Why it matters: The official launch of a business-oriented model highlights reasoning, computer operation, and writing/design judgment, letting readers assess where it fits in their workflows.

Sep 8Tue
  1. OpenAI News81

    On the Navier–Stokes Millennium Prize Problem

    OpenAI shared an AI-generated solution approach to the Navier–Stokes Millennium Prize Problem, including a solution write-up and a Lean formalized proof. The material comes from an official OpenAI announcement; the feed does not include the full text, so specifics of the proof and methods should be checked via the original link.

    Why it matters: OpenAI has publicly released an AI-generated approach to the Navier–Stokes Millennium Prize Problem with a Lean formalized proof, letting readers track AI's actual output in mathematical proof work.

Sep 1Tue
Aug 25Tue
  1. Hugging Face Blog61

    Granite 4.2 LLMs: How They're Built

    IBM released the Granite 4.2 reasoning model family, comprising 3B, 8B and 30B dense decoder models built on the Granite 4.1 base (pretrained from scratch on about 15T tokens, with a five-stage strategy extending context to 512K), post-trained with SFT and multi-stage GRPO reinforcement learning, all open-sourced under the Apache 2.0 license.

    Why it matters: The official disclosure covers the full training pipeline from pretraining and SFT to multi-stage GRPO and agentic RL, transferable to similar model-building workflows.

Aug 24Mon
  1. Import AI47

    Import AI 470: No rights for machines; automating environment generation with SPADE; and building better GPU kernels with Hawkeye

    Import AI issue 470: METR research finds AI brings significant speedups to cybersecurity discoveries, modest contributions to math, but no measurable acceleration yet for optimizing AI research algorithms. Teams from multiple universities propose the SPADE framework, which co-evolves environment synthesis with agent capabilities via self-play, reaching an average score of 58.3 on a suite of game environments with Qwen3-30B-A3B, 5.3 above the baseline. This issue also introduces Hawkeye, for building better GPU kernels.

Aug 17Mon
Aug 12Wed
  1. Microsoft Research58

    Introducing CARE-X: Towards Clinically Useful Radiology VLMs with Auxiliary Supervision, Reward-Aligned Learning, and Tool-Augmented Measurement

    Microsoft Research introduces CARE-X, a research model and unified chest X-ray VLM built on SigLIP2-so400M and Phi-4-mini-instruct (3.8B), jointly trained with auxiliary heads to provide report generation and structured predictions with confidence, and aligned to clinical rewards using DAPO reinforcement learning.

Aug 4Tue
Jul 30Thu
Jul 23Thu
  1. Google Research49

    Towards a quantum computer that learns from its errors

    Google Research published a reinforcement learning-based quantum error correction control framework in Nature, letting an agent continuously tune thousands of control parameters using error detection events to counter drift during computation. In experiments injecting artificial drift on the Willow superconducting processor, RL control improved logical stability by 3.5x and further reduced the logical error rate by 20% on top of expert calibration.

Jul 15Wed
  1. Hugging Face Blog80

    Welcome Inkling by Thinking Machines

    Thinking Machines has released the open-source multimodal model Inkling on Hugging Face, with about 1T total parameters (975B, a MoE with 41B active), natively accepting image, text, and audio inputs, supporting 1M context, trained on 45 trillion tokens, and shipping BF16 and NVFP4 weights.

    Why it matters: The official blog provides architecture details, VRAM requirements for each tier, and deployment configurations, letting readers evaluate multimodal deployment costs and model selection.

Jul 10Fri
  1. Hugging Face Blog61

    Profiling in PyTorch (Part 3): Attention is all you profile

    Hugging Face published part three of its Profiling in PyTorch series, using the profiler on an NVIDIA A100 to compare traces of six attention implementations: naive attention, in-place masking, and SDPA math/efficient/flash/cuDNN.

    Why it matters: The original benchmarks kernel-level differences across six attention implementations with the profiler, teaching readers to read from traces how in-place saves a copy and what each SDPA backend really costs.

Jul 2Thu
  1. Mistral AI65

    Leanstral 1.5: Proof Abundance for All

    Mistral released the Apache-2.0 open-source model Leanstral 1.5, with 119B total parameters and 6B activated parameters, trained via mid-training, supervised fine-tuning and CISPO reinforcement learning.

    Why it matters: The official post discloses the full training pipeline, benchmark figures and real code verification cases, letting readers gauge how practical formal verification models are for mathematical proofs and open-source bug finding.

Jul 1Wed
  1. Berkeley AI Research33

    2026 BAIR Graduate Showcase

    The Berkeley AI Research (BAIR) lab releases its 2026 PhD graduate showcase, highlighting graduates such as Baifeng Shi, Charlie Snell, and Hanlin Zhu and their work in robotics and embodied intelligence, LLM reasoning and test-time scaling, generative models, AI safety and human-AI interaction, and speech and medical AI.

Jun 25Thu