📄 文章列表

14 篇文章
cn_ai

腾讯混元跻身最强开源模型！一手实测Hy4：搭配WorkBuddy，多模态Agent交付力拉满

❌ failed ⭐ ☆☆☆☆☆ 2026-11-09
cn_ai

Jeff Dean李飞飞最新对谈：全是RSI非共识

✅ completed ⭐ ☆☆☆☆☆ 2026-11-07
cn_ai

抢跑DeepSeek！硅谷华人把下一代Agent Harness造出来了！？

✅ completed ⭐ ☆☆☆☆☆ 2026-11-07
Rundown.AI

Claude disproves an 87-year-old math problem

✅ completed ⭐ ☆☆☆☆☆ 2026-07-21
Rundown.AI

OpenAI's 'Astra' solves 10 long-standing math problems

✅ completed ⭐ ☆☆☆☆☆ 2026-08-03
Rundown.AI

OpenAI's secret model settles a $1M math problem

✅ completed ⭐ ☆☆☆☆☆ 2026-09-09
AlphaSignal

Microsoft's PDD Kit Formally Proves AI-Written Rust Code Actually Works

✅ completed ⭐ ☆☆☆☆☆ 2026-11-05
AlphaSignal

Anthropic's FlashProve Cryptographically Proves Which AI Model Answered You

✅ completed ⭐ ☆☆☆☆☆ 2026-11-03
TDS

Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming

✅ completed ⭐ ☆☆☆☆☆ 2026-08-15
Rundown.AI

OpenAI cracks an 80-year math belief

✅ completed ⭐ ★★★☆☆ 2026-05-21
TDS

“Where’s Marta?”: How We Removed Uncertainty From AI Reasoning

✅ completed ⭐ ★★★★★★ 2025-08-20
TDS

Understanding Vibe Proving

✅ completed ⭐ ★★★★★★ 2025-12-22
TDS

Implementing Vibe Proving with Reinforcement Learning

✅ completed ⭐ ★★★★★★ 2025-12-29
TDS

Introduction to Lean for Programmers

✅ completed ⭐ ★★★★★★ 2026-05-19