Skip to content
Viewing history for 2026年10月23日 周五‹ Previous dayNext day ›AccelerationBack to now

Latest picks

Research

Research papers, technical reports, benchmarks and datasets.

10/23Fri
  1. Satya Nadella75

    Satya Nadella highlighted research from his team published in Science today, saying its diagnostic orchestrator reasons through complex medical cases with greater diagnostic accuracy and reduced testing costs. https://t.co/NP89jnugsg In the quoted post, Mustafa Suleyman said the MAI Diagnostic system is 1.7x more accurate than physicians in the ED, even with web access, and reaches diagnoses at lower cost with fewer medical tests. https://t.co/kPX3PkE6k0

    Quoted postMustafa Suleyman@mustafasuleyman

    Our MAI Diagnostic system is now 1.7x more accurate than physicians in the ED, even when they have access to the web to look things up. It's also lower cost & does fewer medical tests to get to its diagnosis. Published in the journal Science today... https://t.co/kPX3PkE6k0

    Why it matters

    The comparison with emergency department physicians who could consult the web provides context for assessing the reported diagnostic accuracy alongside testing costs.

10/22Thu
  1. Google DeepMind78

    Google DeepMind and partners release ForTy maps tracking forest types and change

    Google DeepMind, Google Research, WRI and IIASA released Forest Typology (ForTy) 2020, a global 10-meter map classifying land into six forest and land-use categories, alongside an early time series covering 2017 to 2025. Validation across more than 9,000 sites found 90% accuracy for forest types and 95% for distinguishing forest from non-forest land. The datasets are freely available on Google Earth Engine under an open license and show changes including natural forests becoming plantations or farms.

    Why it matters

    Distinguishing forest types reveals conversions that tree cover maps can miss when cleared natural forests become green plantations, providing a more specific basis for assessing deforestation and degradation.

  2. Hugging Face Blog74

    How Specializing SLM Vocabulary Cut Measured Inference Cost by 77% With VocabX

    Dharma AI previews VocabX, a cost-weighted vocabulary adaptation method that cut measured inference cost by 77.0% in its Portuguese essay grader built on Qwen3-4B. With the same base model, data and training recipe, average responses shrank from 350 to 101 tokens and the bench score rose from 0.703 to 0.810. The results come from a paper still under review and may change before publication.

    Why it matters

    The grader experiment illustrates why vocabulary compression should preserve decision-bearing tokens, since separating grades from surrounding JSON improved both measured cost savings and assessment quality.

  3. Google Research76

    Google Research evaluates AI-assisted ultrasound for gestational age assessment across clinical settings

    Google Research reports a prospective study in JAMA Network Open evaluating AI gestational age assessment from blind sweep ultrasounds performed by novice operators in Chicago and Nairobi. Among 385 participants between 16 and 36 weeks of pregnancy, the model achieved a mean absolute error of 4.18 days versus 4.48 days for expert sonographers, meeting the study’s non-inferiority criterion. Fine-tuning used data from 120 Chicago participants, with no Nairobi data used for local optimization.

    Why it matters

    Testing across two clinical settings and unfamiliar ultrasound hardware provides evidence about generalizability beyond the training cohort, a practical consideration for expanding prenatal screening access.

  4. Microsoft Research88

    Microsoft Research and Collaborator Resolve the KLS Conjecture With Human-Directed AI

    Microsoft Research’s Xinzhi Zhang and collaborator Zhao Song report proving the 31-year-old KLS conjecture, establishing a universal bound independent of dimension for log-concave distributions. Researchers directed AI agents through more than 100 candidate approaches, then developed recursive refinements that completed the proof. The account describes independent proofs and a subsequent Lean 4 formalization combining their key criterion with additional research.

    Why it matters

    The account offers a transferable research method through iterative human pruning of AI search trajectories, contrasted with unguided attempts that fell short using roughly the same total token budget.

10/21Wed
  1. The Decoder76

    OpenAI agents analyze mouse brain data in 32 minutes, a job that would take humans months

    OpenAI teamed up with PerturbAI and Scripps Research to analyze a whole-brain CRISPR atlas using thousands of GPT-Rosalind agents, completing the work in 32 minutes. Each agent examined one gene perturbation and searched scientific literature; the team estimates manual analysis would take several months to a year. Human experts preferred distributed agents' reports over single-agent reports 75 percent of the time in blind comparisons, and the resulting Reasoning Atlas is available on GitHub with an accompanying bioRxiv paper.

    Why it matters

    The reported expert preference for distributed agents over a single agent offers a concrete comparison of how agent organization can affect the usefulness of biological analysis reports.

  2. The Decoder80

    Claude designs protein binders targeting deadly scorpion toxins

    Anthropic's Claude generated 318,484 protein binder designs targeting five toxins from four scorpion species, working autonomously for 24 hours before researchers provided further instructions. Of 211 designs tested in the lab, 17 met the binding criteria, and two independent labs confirmed the results. The two strongest binders attached tightly to Cn2 near a known neutralizing antibody's binding site, but their effectiveness as antivenom has not been tested.

    Why it matters

    The study illustrates the distinction between designing proteins that bind a toxin and establishing antivenom activity, with laboratory binding results providing a concrete basis for understanding that gap.

  3. Hugging Face Blog71

    FairStress evaluates demographic fairness beyond LLMs’ final decisions

    Ai2 introduced FairStress, a benchmark testing demographic differences in LLM decision stability, explanations, and internal activations under an equality-centered definition of fairness. Its 300 scenarios expand into more than 13 million test cases, with a 50K-item FairStress-Core subset. Across 15 models, gaps in abandoning correct answers averaged 6.9 percentage points with implied identity and 9.3 points with explicit labels, favoring minority-coded candidates. Counterfactual chain-of-thought reduced robustness gaps across three tested model families while largely preserving accuracy, but did not eliminate every asymmetry.

    Why it matters

    The comparison with BBQ illustrates how question wording and answer scoring can change the direction of measured demographic bias, making evaluation design consequential for interpreting fairness results.

10/20Tue
  1. Hugging Face Blog75

    ALTK-Evolve uses learned memory to top τ²-bench retail results with GPT-4.1

    IBM Research reports that ALTK-Evolve extracts behavioral guidelines from agents’ training attempts and appends them to prompts, improving customer service performance without weight updates or human annotation. On held-out τ²-bench retail tasks, GPT-4.1’s Pass^4 increased from 57.5% to 67.5%; airline reliability benefited most from a smaller guideline set. Its full-base-split retail result also exceeded every entry in the October 12, 2026 leaderboard snapshot. Guidelines increased input token costs while slightly reducing conversation turns on matched successful runs.

    Why it matters

    The experiments offer a transferable method for improving agent reliability through learned prompt guidelines, while showing that guideline quantity and input token costs require domain-specific tradeoffs.

10/19Mon
  1. 量子位76

    Google open-sources Harness² research on recursive agent harness improvement

    Google researchers introduced and open-sourced Harness², a system that modifies agent harness code, system prompts, tools, and skills during execution. It combines task-level proposal, probing, and composition with a persistent library of improvement experience, supporting OpenCode and Codex. The reported WorkBuddy-Bench results show GLM-5 improving from 64.2 to 75.7 with OpenCode after a single improvement step, exceeding the unmodified Gemini 3.5 Flash score of 72.4.

    Why it matters

    The reported comparison shows how harness changes can alter model rankings on the same benchmark, making execution setup a consequential variable when assessing agent performance.

10/17Sat
  1. 量子位82

    Anthropic reports Claude traced five NIST elliptic curve seeds to timestamps

    According to Anthropic, an internal Claude research model reconstructed how five NIST elliptic curve seeds were generated in under half an hour, with independent verification by bounty organizer Filippo Valsorda. Claude identified patterns consistent with lrand48, used LLL lattice reduction to recover generator states, and traced initialization values to Unix timestamps between May 1997 and April 1998. Some skipped candidate curves, the B-163 seed, and certain curve base points remain unexplained.

    Why it matters

    The account illustrates how testing numerical patterns can redirect an investigation shaped by historical recollections, with reproducible generator outputs providing a concrete basis for reconstructing the seeds’ origins.

  2. Google Research76

    Grounding AI agents in biological reality: Building blocks for autonomous wet labs

    Google Research presents three projects connecting AI agents with wet-lab experimentation through VERID laboratory automation, closed-loop aptamer discovery, and de novo protein binder design. Across three rounds, aptamer on-target hit rates reached 33.5% for myoglobin and 42.1% for α-thrombin; the protein design pipeline accelerated computational cycles more than eightfold and produced binders with single-digit nanomolar affinity. Integrating these projects remains a next step, with safeguards including sequence screening, simulation before robot execution, and human authorization and supervision.

    Why it matters

    The aptamer experiments illustrate how experimental feedback can expose misleading optimization targets, offering a transferable approach to distinguishing genuine biological improvements from artifacts in automated discovery workflows.

  3. Google DeepMind72

    Google DeepMind reports that four Gemini 4 Argon agents beat Minecraft from scratch in 27 hours. Operating in a sandbox using only code and text, they wrote 2,783 programs, divided up jobs over chat, shared notes, and debugged errors together, all with no human help. https://t.co/uyIhDOQXGT

    Quoted postMaxence Faldor@maxencefaldor

    Four Gemini 4 Argon agents, one shared Minecraft world, one goal: defeat the Ender Dragon. 27 hours and 2,783 self-written programs later, the dragon fell. https://t.co/Cx7Djg1VTx

    Why it matters

    The account offers a concrete example of agent coordination through code, chat, shared notes, and collaborative debugging during a task lasting 27 hours.

10/16Fri
  1. Hugging Face Blog82

    NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation Pipeline

    NVIDIA and AI4Bharat at IIT Madras introduce Nemotron-pretraining-Indic-v1, approximately 2.8 trillion tokens across 22 Indian languages, releasing soon alongside its open, GPU-accelerated generation pipeline. The corpus includes native-script text for all 22 languages and romanized text for twelve, translated from curated English sources with quality checks and source tracing. An Indic continued-pretraining stage improved five reported benchmarks, but combined synthetic and natural data, so the comparison does not isolate this corpus’s contribution.

    Why it matters

    The workflow offers a reusable approach to multilingual data generation by separating translation, quality assessment, repair, and script conversion while preserving links to source documents.

  2. Microsoft Research79

    Microsoft Research presents Magnetar for proof-based general-purpose computing

    Microsoft Research presents Magnetar, a zero-knowledge virtual machine that proves RISC-V program execution using security based only on standard hash functions. It supports programs written in Rust, Go, or C without requiring developers to rewrite them as cryptographic circuits. Across 15 benchmark programs, Microsoft reports average speeds 10 to 39 times faster than the fastest existing comparable zkVMs on the same machine, with proofs verified in about 12 milliseconds.

    Why it matters

    The benchmark comparisons connect proving speed with general-purpose execution and standard hash functions, clarifying the tradeoffs that have limited broader adoption of verifiable computing.

10/15Thu
  1. The Decoder81

    GPT-6-Astra solves 49 of 50 physics research problems at $2.40 apiece

    GPT-6-Astra, running in OpenAI's Codex environment without human hints, solved 49 of 50 TheoPhysEval problems across eleven theoretical physics subfields, costing just under $116 overall. Anthropic's Opus 5.5 scored 92 percent, while both models reached 92 percent without internet access. The researchers emphasize that the benchmark tests calculations using known methods, while choosing promising research questions remains a separate challenge for current agents.

    Why it matters

    The benchmark distinguishes proficiency in concrete physics calculations from the ability to choose fruitful research questions, clarifying which parts of scientific work its high scores actually measure.

  2. 雷锋网84

    Shanghai AI Laboratory’s Shusheng-S2 Helps Prove the Three-Dimensional Ghys Conjecture

    Xu Disheng’s team used Shanghai AI Laboratory’s Shusheng-S2 model in a human–AI collaboration to prove the three-dimensional Ghys conjecture, with a preprint posted on arXiv. Researchers guided seven rounds of recursive exploration as the problem graph expanded from 15 to 389 nodes. A Peking University team used its SHEAF framework to formalize all four main theorems, producing approximately 550,000 lines of Lean code in about five days and passing Lean checks.

    Why it matters

    The workflow offers a transferable approach to research mathematics, pairing expert guidance with recursive model exploration and organizing formal verification around a dependency graph of checkable proof tasks.

  3. Hugging Face Blog73

    HiRO-ACEv2 simulates extreme weather at 3 km resolution for a fraction of the cost

    Ai2 introduced HiRO-ACEv2, an updated climate emulator that generates global 3 km rain, wind, and pressure data at about 1/300th the cost of X-SHiELD. Given coarsened X-SHiELD data, its HiROv2 downscaling model matches high-resolution statistics to within 3%, even for events occurring once in a million data points. The system currently works only with ACE tuned to match X-SHiELD and cannot yet generate high-resolution data for other climates; downloadable models, tutorial notebooks, and a web demo are available.

    Why it matters

    The comparison with X-SHiELD gives researchers a concrete cost and accuracy reference for extreme weather simulations, with applicability currently limited to the climate represented in training.

10/13Tue
  1. 宝玉76

    Baoyu summarizes Anthropic research in which GLM-5.2 alone completed a replication workflow across simulated Android servers, while smaller models failed. The experiment used unauthenticated ADB access and ran GLM-5.2 remotely to deploy Llama3.1-8B, limiting what the results establish about autonomous spread. Anthropic roughly projects that smaller models could match GLM-5.2’s tested capability by year-end based on general capability trends. Researchers also manually distributed Gemma4-26B-A4B across 15 Android TV boxes, achieving 0.39 tokens per second.

    Quoted postWilliam Zhou@willzhou97

    Excited to share a research blog post that Daniel Freeman (@bucketofkets) and I have been working on for the past few months: https://www.anthropic.com/research/self-replicating-ai

    Why it matters

    The experimental setup helps distinguish successful replication under simplified conditions from autonomous spread on consumer devices, clarifying the limits of the projected timeline for smaller models.