Peking University
AI overview
Sign in and the AI will write an overview from our coverage.
Headlines · 11
- Peking University's Dong Bin: AI is taking math into a better era
Dong Bin, a Boya Distinguished Professor at Peking University's Beijing International Center for Mathematical Research, said at a 2026 Future Science dialogue on mathematics and computer science that after OpenAI released 722 math manuscripts at once, mathematicians worldwide rushed to check whether problems in their fields had been solved, with some areas described by peers as hard-hit. He noted three of those manuscripts have already been retracted for errors and that the results mainly push existing tools further. Dong's AI4MATH team built Rethlas-Archon, which in April disproved the long-open Anderson conjecture by constructing a counterexample fully automatically and with no human involvement, then formalized it in roughly 20,000 lines of Lean 4 code, drawing feature coverage from Nature. Dong argues AI already surpasses individuals in knowledge coverage and still has room to improve in reasoning, but has yet to show the mathematical taste needed to pose good hypotheses and judge which problems matter, suggesting firms focus on model training while universities supply data, hard evaluation problems and theory.
虎嗅 AI · 🔥 6 - AgiBot to invest over ¥200M with 20+ universities on embodied AI talent
AgiBot said its "YuanSheng ecosystem development plan" has signed its first batch of more than 20 universities—including Peking University, Tsinghua, Zhejiang, South China University of Technology, Shanghai Jiao Tong, Xi'an Jiaotong, Southeast and Sun Yat-sen—to build joint embodied-AI teaching and research platforms. The company will supply more than 1,000 embodied-AI devices spanning its Genie, Lingxi and Expedition wheeled, half-size and full-size humanoids plus KuoTu quadrupeds, and provide its AIMA development platform with LinkSoul, LinkCraft and Genie Studio for curriculum, research and hands-on training; it values the hardware and software memberships at ¥200 million. AgiBot had earlier said the plan would spend over ¥2 billion over five years, and says it has connected with 237 research institutions, 500-plus ecosystem partners and more than 10,000 application developers.
IT之家 AI · 🔥 5 - Shanghai AI Lab says Intern-S2 helped prove 3D Ghys conjecture
Shanghai AI Laboratory said on Oct 15 that the three-dimensional Ghys conjecture, a world-class problem open for more than 30 years, has been resolved. A team led by Xu Disheng, a visiting scholar at the lab and professor at Greater Bay University, used the lab's science-focused multimodal model Intern-S2 (Shu Sheng-S2) in a human-machine collaboration under a "general-specialist fusion" approach, while Peking University's Dong Bin and Liu Ruochuan used their SHEAF framework to formally verify the proof; the paper is on arXiv and the formalization code is public on GitHub. The lab says Intern-S2 ran seven successive rounds of derivation, expanding the problem graph from 15 to 389 nodes and producing over a thousand pages of reasoning, and that it leads existing open-weight models on long-chain reasoning benchmarks such as IMO-Proof and AdvancedMathBench, with some metrics surpassing closed models including Gemini 3.1 Pro; it also says expert Xie Junyi had tried the problem with GPT-6 before the paper was posted without finding a proof. These benchmark and "first" claims come from the lab and team and await broader independent review.
IT之家 AI · 🔥 5 - VPP2 and Dyna-2: how human video trains robots
A TMTPost feature by Jushenzhi reports that on October 10 Robot Era open-sourced two sets of VPP2 video model weights; VPP2 splits manipulation learning into predicting how a task unfolds, compressing it into visual plans and learning robot actions, and only the first two stages were released. Dyna Robotics' Dyna-2 is described as a scale test: four models pretrained on 1,000, 10,000, 100,000 and 1 million hours of first-person human video then received identical robot-task training, the first three failed to turn a key while the 1-million-hour model succeeded 9 of 10 times. Nvidia's DreamZero added 12 minutes of action-label-free human video for nine previously unseen tasks and lifted average task progress from 38.3% to 54.3%, while RoboWM-Bench from Peking University and others converted generated video into robot actions in simulation, reporting 50%, 20% and 0% success for Wan 2.6 on closing drawers, picking objects and placing objects. The article argues human video is taking over task understanding and world dynamics while scarce robot data focuses on body control.
钛媒体 · 🔥 0 - DataCanvas's Yanbiao Lab tops Terence Tao-backed math distillation challenge
At the end of September 2026, the SAIR Foundation co-founded by Terence Tao published results for the second stage of the Mathematics Distillation Challenge, where Yanbiao Lab (yanbiao.ai), part of AI infrastructure and computing-cloud provider DataCanvas, scored a full 200 points in all four tracks and topped the main leaderboard with 221 points; on the separate Research Leaderboard it led with 17 points against 3 for the runner-up. The competition requires systems to submit Lean 4 formal proofs when an implication holds and a counterexample when it does not, with every submission checked by a deterministic verifier, shifting the criterion from answer accuracy to verifiability. The team then published a paper that, among the 96 order-five candidate equations locked by ETP, constructs non-trivial infinite models for 28 equations that had no public classification, establishing 28 new Austin classifications in 14 dual classes, with one search producing 636 Lean 4 certificates that the verifier accepted.
机器之心 · 🔥 0 - Carnegie report: China tops US as the No. 1 workplace for elite AI researchers
A Carnegie China report released on 23 September, "Who's Ahead in the Global AI Talent Race?", tracked the CVs of 10,280 authors of NeurIPS 2025 papers and found that about 41% of top AI researchers worked in China in 2025 (the report's figure is 40.6%) versus 34% in the US (34.2%), compared with 27% against 46% three years earlier. The same report says the US still had a net inflow of 2,145 researchers while China had a net outflow of 1,729, that China's retention of its own top researchers rose from 57% to 69%, and that roughly 98% of China-based top researchers did their undergraduate studies in China versus only about a third of US-based ones in the US. Peking University topped the institutional ranking for the first time, followed by Tsinghua University, KAIST and Shanghai Jiao Tong University, while 2022 leader Google slipped amid a reported six-month publication ban on strategic generative AI papers; the report acknowledges its sample skews academic and may undercount industry.
虎嗅 AI · 🔥 0 - AI PhD graduates draw packages up to 8M yuan as Chinese tech giants battle for talent
A widely circulated social-media post claims NVIDIA offered a 2026 Peking University integrated-circuit PhD a first-year pre-tax package of about 2.9 million yuan, including signing and performance bonuses plus a possible Silicon Valley posting after two years; the report notes that NVIDIA China PhD campus offers were generally 450,000–600,000 yuan five years ago. Recruiters cited in the piece say multi-million-yuan packages for top-school AI PhDs are no longer unusual, with Tsinghua's Institute for Interdisciplinary Information Sciences large-model graduates starting at 4–5 million yuan, JD.com offering 8 million yuan to a new graduate and Xiaohongshu about 6 million yuan to a master's graduate in large models. ByteDance, Tencent, Alibaba and Kuaishou run programs such as Top Seed, Qingyun Plan, Alibaba Star and Kuaishou Star, with ByteDance's 2026 Top Seed cohort recruiting roughly 30 PhDs; the article also cites market chatter of a near-160 billion yuan ByteDance AI budget for 2026 and Alibaba's 380 billion yuan three-year AI and cloud commitment, plus over 100 billion yuan of quarterly Tencent AI infrastructure spending.
36氪 人工智能 · 🔥 0 - Ex-ByteDance intern Tian Keyu raises nearly $30M for world-model startup
Former ByteDance intern Tian Keyu has started a "world model" company that has raised several tens of millions of dollars — nearly $30 million — at a post-money valuation of about $200 million (roughly 1.4 billion yuan), according to a 36Kr affiliate report, with 5Y Capital partner Meng Xing incubating and leading the investment. Tian had been sued by ByteDance over interfering with internal model training during his 2024 internship; foreign media citing the verdict say the court ordered him to pay ByteDance 500,000 yuan for breach of contract and forfeit all of his salary. Tian says the roughly 10-person startup has built an AI "dictionary" of 200,000 symbols to help models process video, plans to train on 100 million hours of video, and aims to show off the technology at live events before releasing a full model in 2027.
36氪 人工智能 · 🔥 0 - IROS 2026: Embodied AI turns toward engineering
Leiphone AI reviewed the main-conference papers and workshop list already announced for IROS 2026 (Sept 27–Oct 1, Pittsburgh) and argues the field's technical路线 is converging on four themes: foundation models internalizing physics, hierarchical "big brain / little brain" architectures becoming standard, touch shifting from nice-to-have to core for dexterous manipulation, and a sharp fall in data-collection costs. The piece cites accepted work including ULTRA, HALO, LITHE, VOFA, Blind Dexterity, KineFuse and ViHaTeleop, saying discussion has moved from grand "general-purpose robot" narratives to concrete engineering issues such as physical correctness, real-time control and cost reduction, with Chinese teams increasingly visible.
雷峰网 AI · 🔥 0 - Weinan E: AI for Science's second half is rebuilding the research system
Speaking at PAIR Conference 2026 in Shanghai, Chinese Academy of Sciences academician Weinan E argued that AI for Science has two layers: as research becomes “industrialized,” it needs new infrastructure — compute, models/algorithms/software, databases and knowledge bases, and automated labs (China has pushed this “platform research” approach since 2022) — while the “second half” is change in the research system itself. He said theory and computation matter alongside automated labs and literature mining: DPA-4 now covers organic molecules, catalysis and complex interfaces, but is still two to three orders of magnitude from materials and process design, and a “science foundation model” built by fine-tuning open general models may be a false premise if the underlying base model is weak. He also called for breaking three boundaries: theory/experiment, between disciplines, and research/industry.
MIT科技评论中文 · 🔥 0 - Ex-ByteDance intern Keyu Tian's stealth world-model lab raises ~$30M at $200M valuation
Bloomberg reports that Keyu Tian, a former ByteDance intern and Peking University PhD student, has raised roughly $30 million for his still-unnamed world-model startup, with 5Y Capital and IDG among the investors, at a $200 million post-money valuation. The roughly 10-person team is building a visual symbol system of about 200,000 symbols, plans to train on around 100 million hours of video, and claims it can cut video-generation cost by at least an order of magnitude, with a full model targeted around 2027. Tian was first author of the NeurIPS 2024 best paper on Visual Autoregressive Modeling (VAR) and was dismissed and sued by ByteDance over a 2024 code-tampering incident during his internship.
Bloomberg Technology · 🔥 0
Experience and discussion from the community
Share my Peking University experienceAsk about Peking University
Nobody has shared their experience with Peking University yet.