Andrew Yao and Yang Zhilin Co-Author TCSExam Benchmark; Kimi K3 Sets Graph Record

TCSExam, co-authored by Andrew Yao and Yang Zhilin, tests AI research ability in theoretical computer science using Lean 4 and program checkers. Kimi K3 found a 124-vertex graph with a record 630 edges.

Read the full story at Pandaily ↗

Timeline · 1 report

2026-11-13 02:32 · Pandaily
Andrew Yao and Yang Zhilin Co-Author TCSExam as Kimi K3 Adds an Edge to a Graph Record

More stories

Moonshot AI's Kimi K3.1 Pro launches on Amazon Bedrock amid benchmarks and cost debates — AWS Machine Learning Blog
Claude Code vs Aider: Terminal Agent Benchmarks on Real 500k-LOC Codebases — DEV Community — AI
Comparing 7 Chinese frontier models through one API — a field guide, not a benchmark — DEV Community — AI
Kimi Code External Models: Set Up and Verify Kimi K3.1 Pro — DEV Community — AI
Kimi K3.1 weights OUT, open source computer use, SOTA image model, science model, Pika H3: AI NEWS — Matthew Berman
AI News Roundup: OpenAI Kernel Security Work, Kimi K3.1 Pro Open Weights, Ripple-65B — Latent Space
Analysis finds six open-weight models from Chinese labs show traces of export-controlled Blackwell GPUs — Techmeme
Moonshot reportedly rented China-based servers with Nvidia B300 chips, possibly breaching US rules — Techmeme

Get the daily brief of stories like this at 6:30 every morning →