Skip to content
K = 0.731
2026.10.17 · Sat

#开源生态

#开源生态

Research

Research papers, technical reports, benchmarks and datasets.

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. 雷锋网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.

  2. 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/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. OpenAI News62

    OpenAI announces progress by an internal frontier model on open math problems

    OpenAI released new results by an internal frontier model on open math problems and published Lean formalizations and research details on GitHub.

    Why it matters: OpenAI made results by an internal frontier model on open math problems public alongside Lean formalizations, showing how model reasoning can be combined with formal verification.

10/2Fri
  1. Hugging Face · X74

    Hugging Face publishes multi-harness RL guide: the same model scores 62% versus 33% with different harnesses

    The Hugging Face team published a multi-harness RL guide, showing that the same model with identical weights can score 62% with one agent harness and 33% with another.

    Why it matters: Scores for the same model differ by nearly half across agent harnesses. This open guide gives a multi-harness RL training path without changing the harness, along with measured comparisons.

9/30Wed
  1. Demis Hassabis · X71

    DeepMind publishes SynthID Bio in Nature, watermarking AI-designed proteins and open-sourcing the tool

    Google DeepMind published research in Nature proposing SynthID Bio, a protein-watermarking method, and successfully synthesized AI-designed proteins that both function and carry watermarks. Demis Hassabis said bringing SynthID into biology is a key step in addressing biosecurity challenges in the AI era. The team open-sourced SynthID Bio tools for the research community to build on.

    Why it matters: SynthID has expanded from image watermarking to protein design, with a paper and open-source tools released together, offering a technical path for biosecurity governance.

8/28Fri
  1. Hugging Face Blog60

    Open ASR Leaderboard adds Monsoon, its first benchmark set for Global South languages

    Voice Arena and Hugging Face have added Monsoon en-IN and Monsoon hi-IN to the Open ASR Leaderboard, making Hindi the first Indian language represented on the multilingual leaderboard.

    Why it matters: The Open ASR Leaderboard has added its first Hindi and Indian English benchmarks, showing how speaker attributes are being incorporated into public evaluations.

8/22Sat
  1. Jim Fan · X69

    NVIDIA and Berkeley open-source T-Rex methodology for tactile robot learning

    Jim Fan announces T-Rex, an open-source tactile robot learning methodology developed through a collaboration between NVIDIA and Berkeley. Its mixture-of-transformer architecture pairs a slow visuomotor expert with a fast tactile expert running at 4 touch ticks per vision tick; a 50-hour (~5,500 episodes) synchronized robot play dataset collected on tactile hand hardware with 22 degrees of freedom is available today on HuggingFace. Extending EgoScale, its training recipe combines human egocentric video pretraining with tactile robot play mid-training, which Fan says helps bridge contact-free pretraining and contact-rich manipulation.

    Why it matters: T-Rex offers a transferable approach to contact-rich robot learning by combining human video pretraining, synchronized tactile robot data, and separate visual and tactile processing rates.

8/21Fri
  1. Hugging Face Blog60

    Hugging Face research measures benchmark optimization in speech recognition

    Hugging Face has published research measuring benchmark optimization in speech recognition through three tests: consensus disagreement, masked-entity retrieval, and spelling switches. The study evaluates 11 open-source ASR models.

    Why it matters: The study presents three reproducible probes and quantifies how often ASR models reproduce incorrect benchmark transcripts, with direct implications for evaluation design.

8/13Thu
  1. Hugging Face Blog78

    Hugging Face uses agents to reproduce more than 2,200 ICML papers

    Hugging Face ran the ICML 2026 Open Reproduction Challenge from July 15 to August 2. A community of 1,221 used coding agents such as Claude Code, Codex, and Cursor to reproduce papers, publishing 6,816 Trackio logbooks covering 2,226 papers—about 34% of all papers at the conference.

    Why it matters: Hugging Face has published reproduction results and adjudication data for more than 2,200 ICML papers, offering a view of the limits of agents in scientific reproduction.

7/31Fri
  1. Microsoft Research71

    Microsoft Research releases Echoverse, an evolving training environment for computer-use agents

    Microsoft Research has introduced Echoverse, a set of 12 training worlds for computer-use agents: 10 full-domain environments and two capability environments. Each consists of an application, tasks, and a database-based verifier.

    Why it matters: Microsoft Research has released 12 computer-use-agent training environments with verifiers and reports comparisons of transfer performance between deep and shallow environments.

7/29Wed
  1. Berkeley AI Research62

    From CUDA to MLX: how K-Search brings kernel-optimization experience to Apple Silicon

    Berkeley AI Research and IBM Research have extended the evolutionary kernel-search framework K-Search to MLX and added a structured CUDA-to-MLX translation layer that automatically adapts existing CUDA-kernel knowledge to Apple Silicon.

    Why it matters: The article details the CUDA-to-MLX translation layer and reports two kernel benchmarks, showing how kernel knowledge can be transferred across platforms.

You've reached the end