正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

Introducing SYNTHETIC-1: Collaboratively generating the largest synthetic dataset of verified reasoning traces for math, coding and science using DeepSeek-R1. Join us to contribute compute towards state-of-the-art open reasoning models.

Prime Intellect

64,323 subscribers

198,473 次观看 • 1 年前 •via X (Twitter)

科学技术教育

Anya Rossi• Live Now

Private livecam show

11 条评论

Prime Intellect 的头像

Prime Intellect1 年前

Today, we release: - SYNTHETIC-1: 1.4 million high-quality tasks & verifiers - Public synthetic data run - allowing anyone to contribute compute - GENESYS: open, extendable synthetic data generation framework + call for crowdsourcing tasks & verifiers

Prime Intellect 的头像

Prime Intellect1 年前

Our open reproduction & scaling of R1 will proceed in two steps, mirroring the DeepSeek-R1 approach: 1. Generate verified reasoning data & train SFT model on this cold-start data 2. Globally distributed reinforcement learning with verifiable rewards

Prime Intellect 的头像

Prime Intellect1 年前

SYNTHETIC-1 Tasks & Verifiers - Math Problems with Symbolic Verifiers (777k tasks) - Coding Problems with Unit Tests (144k) - Open-Ended STEM Questions with LLM Judge (313k) - Real World Github Commit Instructions with LLM Judge (70k) - Code Output Prediction with Ground Truth String Matching (61k)

Prime Intellect 的头像

Prime Intellect1 年前

GENESYS - Open-source library for synthetic data generation & verification - Asynchronous verifiers (LLM judges, containerized code tests) - GitHub:

Prime Intellect 的头像

Prime Intellect1 年前

- Easily Extendable, enabling developers to contribute tasks & verifiers and collectively build an RL gym, as inspired by @karpathy

Prime Intellect 的头像

Prime Intellect1 年前

Contribute compute - Anyone can now contribute H200 nodes to help generate verified reasoning data - Real-time run dashboard: We’ll soon open up for trustless compute contributors

Prime Intellect 的头像

Prime Intellect1 年前

Protocol Testnet (Preview) - Decentralized, trustless protocol for globally distributed peer to peer compute and intelligence - Foundation for an ecosystem of frontier open models, agents and their compute base layer More details and announcements coming soon

Prime Intellect 的头像

Prime Intellect1 年前

Next Steps - Scale globally distributed RL with verifiable rewards - Open protocol testnet for permissionless contributions - Crowdsourcing datasets & verifiers for frontier-level reasoning Join us in building fully open-source AGI—through code, data, and compute.

Prime Intellect 的头像

Prime Intellect1 年前

Links - Blog: - SYNTHETIC-1 Dataset: - GENESYS - Synthetic Data Generation Framework: - Dashboard:

CodeRabbit 的头像

CodeRabbit1 年前

AI-first pull request reviewer with context-aware feedback, line-by-line code suggestions, and real-time chat.

Vincent Weisser 的头像

Vincent Weisser1 年前

one stop closer towards open source agi 🫡

相关视频

Launching SYNTHETIC-2: our next-gen open reasoning dataset and planetary-scale synthetic data generation run. Powered by our P2P inference stack and DeepSeek-R1-0528, it verifies traces for the hardest RL tasks. Contribute towards AGI via open, permissionless compute.

Launching SYNTHETIC-2: our next-gen open reasoning dataset and planetary-scale synthetic data generation run. Powered by our P2P inference stack and DeepSeek-R1-0528, it verifies traces for the hardest RL tasks. Contribute towards AGI via open, permissionless compute.

Prime Intellect

359,732 次观看 • 11 个月前

Today we’re launching INTELLECT-2: The first decentralized 32B-parameter RL training run open to join for anyone with compute — fully permissionless. Scaling towards frontier reasoning across coding, math and science.

Today we’re launching INTELLECT-2: The first decentralized 32B-parameter RL training run open to join for anyone with compute — fully permissionless. Scaling towards frontier reasoning across coding, math and science.

Prime Intellect

353,394 次观看 • 1 年前

We’re excited to share that 🥇Llama Nemotron Super 49B v1.5 -- our latest open reasoning model -- is now #1 on the Artificial Analysis Intelligence Index - a leaderboard that spans advanced math, science, and agentic tasks, in the 70B open model category. Llama Nemotron Super 49B v1.5 is trained with high-quality reasoning synthetic data generated from models like Qwen3-235B and DeepSeek R1. It delivers state-of-the-art accuracy and throughput, running on a single H100. Key features: 🎯 Leading accuracy on multi-step reasoning, math, coding, and function-calling 🏗️ Post-trained using RPO, DPO, and RLVR across 26M+ synthetic examples 📊 Fully transparent training data and techniques If you're building AI agents and want a high accuracy, fully-open, and transparent reasoning model that you can deploy anywhere, try Super v1.5 on or download from Hugging Face 🤗 ➡️ Leaderboard:

We’re excited to share that 🥇Llama Nemotron Super 49B v1.5 -- our latest open reasoning model -- is now #1 on the Artificial Analysis Intelligence Index - a leaderboard that spans advanced math, science, and agentic tasks, in the 70B open model category. Llama Nemotron Super 49B v1.5 is trained with high-quality reasoning synthetic data generated from models like Qwen3-235B and DeepSeek R1. It delivers state-of-the-art accuracy and throughput, running on a single H100. Key features: 🎯 Leading accuracy on multi-step reasoning, math, coding, and function-calling 🏗️ Post-trained using RPO, DPO, and RLVR across 26M+ synthetic examples 📊 Fully transparent training data and techniques If you're building AI agents and want a high accuracy, fully-open, and transparent reasoning model that you can deploy anywhere, try Super v1.5 on or download from Hugging Face 🤗 ➡️ Leaderboard:

NVIDIA AI Developer

100,506 次观看 • 10 个月前

DeepSeek released R1, the best open-source reasoning model that is on par with OpenAI's o1! I have built a RAG app to chat with your PDF files using the DeepSeek R1 model, running locally on your computer. 100% Open Source

DeepSeek released R1, the best open-source reasoning model that is on par with OpenAI's o1! I have built a RAG app to chat with your PDF files using the DeepSeek R1 model, running locally on your computer. 100% Open Source

Sumanth

678,527 次观看 • 1 年前

OpenAI's new o3 reasoning model has achieved a verified state-of-the-art score on the ARC-AGI benchmark

OpenAI's new o3 reasoning model has achieved a verified state-of-the-art score on the ARC-AGI benchmark

Tsarathustra

27,655 次观看 • 1 年前

2.5 models are thinking models, capable of reasoning through thoughts before responding. The result is enhanced performance and improved accuracy. This means Gemini 2.5 can handle more complex problems in coding, science and math, and support more context-aware agents.

2.5 models are thinking models, capable of reasoning through thoughts before responding. The result is enhanced performance and improved accuracy. This means Gemini 2.5 can handle more complex problems in coding, science and math, and support more context-aware agents.

Google

31,023 次观看 • 1 年前

The next frontier of autonomous driving is unlocked by reasoning models. NVIDIA Alpamayo brings together open AI models with reasoning capabilities, closed-loop simulation tools, and massive real-world driving datasets. Alpamayo 1 is a vision–language–action model that explains its own decisions through explicit reasoning traces, enabling trustworthy, humanlike decision-making. Together with NVIDIA’s Physical AI dataset and AlpaSim simulation, Alpamayo provides the tools and scale required to enable level 4 autonomous vehicles. ▶️ Watch now:

The next frontier of autonomous driving is unlocked by reasoning models. NVIDIA Alpamayo brings together open AI models with reasoning capabilities, closed-loop simulation tools, and massive real-world driving datasets. Alpamayo 1 is a vision–language–action model that explains its own decisions through explicit reasoning traces, enabling trustworthy, humanlike decision-making. Together with NVIDIA’s Physical AI dataset and AlpaSim simulation, Alpamayo provides the tools and scale required to enable level 4 autonomous vehicles. ▶️ Watch now:

NVIDIA DRIVE

35,324 次观看 • 4 个月前

Well, even if you don’t care about your data going to China, I think it’s worth caring about not using a censored model that the DeepSeek app serves. And that’s why it’s worth using the R1 model on Perplexity with web search grounding and reasoning traces.

Well, even if you don’t care about your data going to China, I think it’s worth caring about not using a censored model that the DeepSeek app serves. And that’s why it’s worth using the R1 model on Perplexity with web search grounding and reasoning traces.

Aravind Srinivas

225,638 次观看 • 1 年前

Introducing INTELLECT-3: Scaling RL to a 100B+ MoE model on our end-to-end stack Achieving state-of-the-art performance for its size across math, code and reasoning Built using the same tools we put in your hands, from environments & evals, RL frameworks, sandboxes & more

Introducing INTELLECT-3: Scaling RL to a 100B+ MoE model on our end-to-end stack Achieving state-of-the-art performance for its size across math, code and reasoning Built using the same tools we put in your hands, from environments & evals, RL frameworks, sandboxes & more

Prime Intellect

1,131,497 次观看 • 6 个月前

Transformer-based neural networks achieve impressive performance on coding, math & reasoning tasks that require keeping track of variables and their values. But how can they do that without explicit memory? 📄 Our new ICML paper investigates this in a synthetic setting! 🧵 1/13

Transformer-based neural networks achieve impressive performance on coding, math & reasoning tasks that require keeping track of variables and their values. But how can they do that without explicit memory? 📄 Our new ICML paper investigates this in a synthetic setting! 🧵 1/13

Raphaël Millière

72,951 次观看 • 1 年前

Turn any AI Model into Reasoning Model with Deepseek r1 <thinking> Architecture. Models like GPT4o and Sonnet 3.5 are Implementation Models But a new breakthrough with Deepseek can make them a Reasoning model. Here's a step-by-step Explanation: 🧵

Turn any AI Model into Reasoning Model with Deepseek r1 <thinking> Architecture. Models like GPT4o and Sonnet 3.5 are Implementation Models But a new breakthrough with Deepseek can make them a Reasoning model. Here's a step-by-step Explanation: 🧵

CJ Zafir

192,262 次观看 • 1 年前

3D-R1 is out on Hugging Face Enhancing Reasoning in 3D VLMs for Unified Scene Understanding 3D-R1 is an open-source generalist model that enhances the reasoning of 3D VLMs for unified scene understanding

3D-R1 is out on Hugging Face Enhancing Reasoning in 3D VLMs for Unified Scene Understanding 3D-R1 is an open-source generalist model that enhances the reasoning of 3D VLMs for unified scene understanding

AK

34,729 次观看 • 10 个月前

The DeepSeek-R1 paper is a gem! Highly encourage everyone to read it. It's clear that LLM reasoning capabilities can be learned in different ways. RL, if applied correctly and at scale, can lead to some really powerful and interesting scaling and emergent properties. There is more to RL than meets the eye! Here is my breakdown of the paper along with a few tests: The multi-state training might not make sense initially but they provide clues on optimizations that we can continue to tap into. Data quality is still very important for enhancing the usability of the LLM. Unlike other reasoning LLMs, DeepSeek-R1's training recipe and weights are open so we can build on top of it. This opens up exciting research opportunities. About the attached clip: the previous preview model wasn't able to solve this task. DeepSeek-R1 can solve this and many other tasks that o1 can solve. It's a very good model for coding and math.

The DeepSeek-R1 paper is a gem! Highly encourage everyone to read it. It's clear that LLM reasoning capabilities can be learned in different ways. RL, if applied correctly and at scale, can lead to some really powerful and interesting scaling and emergent properties. There is more to RL than meets the eye! Here is my breakdown of the paper along with a few tests: The multi-state training might not make sense initially but they provide clues on optimizations that we can continue to tap into. Data quality is still very important for enhancing the usability of the LLM. Unlike other reasoning LLMs, DeepSeek-R1's training recipe and weights are open so we can build on top of it. This opens up exciting research opportunities. About the attached clip: the previous preview model wasn't able to solve this task. DeepSeek-R1 can solve this and many other tasks that o1 can solve. It's a very good model for coding and math.

elvis

140,600 次观看 • 1 年前

$Chinese AI company Deepseek recently made waves when it announced R1, an open-source reasoning model that it claimed achieved comparable performance to OpenAI’s o1, at a fraction of the cost. But for those following AI developments closely, Deepseek and R1 didn’t come out of nowhere. In this episode of Decoded, YC's Diana breaks down the key engineering optimizations behind Deepseek's new models — and how they fit within the broader history of recent AI breakthroughs.$

Chinese AI company Deepseek recently made waves when it announced R1, an open-source reasoning model that it claimed achieved comparable performance to OpenAI’s o1, at a fraction of the cost. But for those following AI developments closely, Deepseek and R1 didn’t come out of nowhere. In this episode of Decoded, YC's Diana breaks down the key engineering optimizations behind Deepseek's new models — and how they fit within the broader history of recent AI breakthroughs.

Y Combinator

72,468 次观看 • 1 年前

Apple's AI Reasoning Model Paper Explained Apple’s disruptive new AI reasoning model research paper, “The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models” explained, and what it means for AGI.

Apple's AI Reasoning Model Paper Explained Apple’s disruptive new AI reasoning model research paper, “The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models” explained, and what it means for AGI.

Harper Carroll

37,956 次观看 • 11 个月前

Introducing Together Chat! Use DeepSeek R1 (hosted in North America) & other top open source models to do web search, coding, image generation, & image analysis. Available today for free!

Introducing Together Chat! Use DeepSeek R1 (hosted in North America) & other top open source models to do web search, coding, image generation, & image analysis. Available today for free!

Together AI

101,436 次观看 • 1 年前

AI Coding Agent for Hardware Optimized Code Diana AI hardware is still constrained by software. However, with reasoning models like Deepseek R1 or OpenAI o1 and o3, AI could generate hardware-optimized code that rivals—or surpasses—human CUDA code.

AI Coding Agent for Hardware Optimized Code Diana AI hardware is still constrained by software. However, with reasoning models like Deepseek R1 or OpenAI o1 and o3, AI could generate hardware-optimized code that rivals—or surpasses—human CUDA code.

Y Combinator

60,089 次观看 • 1 年前