新科学Renascience MANIFESTO · v0.5
给谁看Audience
00新科学宣言 · v0.5 · 2026-09-15New Science Manifesto · v0.5 · 2026-09-15

论文是入口,不是边界。
做研究,也可以是一场好玩的游戏

The paper is a gateway, not a boundary.
Research can be a game worth playing.

AI 时代非但不会把人赶出科研,反而降低了“玩”科研的门槛:有人上手玩,所有人都能当观众。新科学把论文之后的学术成果做成可玩、可看、可参与的知识客体,为此建设一个策展平台、一本新型期刊和一台叫“问道”的科研游戏引擎。

Far from pushing people out of research, the AI era lowers the threshold for playing it: some play, everyone can watch. Renascience turns post-paper scholarship into playable, watchable, joinable knowledge objects, with a curation platform, a new kind of journal, and a research game engine called Wendao.

胡翌霖@RenaSci · CC-BY · AI 使用已披露(见页脚)。路演模式:→ ← 翻页,N 显示备注,Esc 退出。Hu Yilin@RenaSci · CC-BY · AI use disclosed (footer). Present mode: → ← to navigate, N for notes, Esc to exit.

LIVE
回合Turn 07 / 12👀 1,284
可控核聚变:托卡马克 vs 激光惯性约束
Fusion showdown: tokamak vs laser inertial confinement

提案队甲 vs 提案队乙 · 9 支挑刺队 · 主播:小天

Team A vs Team B · 9 critic teams · host: Xiaotian

证据Evidence 23待复算To re-run 2Claude · GPT · Qwen
示意局 · 内容为设定Illustrative run
01公众投资人学者政府

为什么是现在:2026 年的坐标

Why now: the 2026 coordinates

连最古老、最讲究证明与署名的数学,也在这一年重新讨论“成果是什么、谁算作者、什么才算完成”。

Even mathematics, the oldest discipline built on proof and authorship, spent this year re-asking what a result is, who counts as an author, and what counts as finished.

Leiden · 2026-06 ↗4,046

数学家联署《莱顿宣言》:披露 AI 使用、署名归人类、欢迎新来者。20

Mathematicians signed the Leiden Declaration: disclose AI use, keep authorship human, welcome newcomers.20

Fields · 2026-09-11 ↗25

位菲尔兹奖得主联署“严重错位”声明:解题只是理解的工具和代理。21

Fields medallists declared a severe misalignment: solving is only a proxy for understanding.21

vibe-mathing · 2026-04 ↗23

没受过高等数学训练的业余者,一个闲散的周一下午用 GPT-5.4 Pro 解出六十年老题。23

An amateur with no advanced training settled a 60-year-old Erdős problem on an idle Monday afternoon.23

Erdős problems · 2026-08 ↗565 / 652

已解 / 开放。业余者、职业数学家和 AI 在同一个评论区协作。24

Solved / open. Amateurs, professionals, and AI work in the same threads.24

Agents4Science · 2025-10 ↗315 → 48

首个 AI 当第一作者与审稿人的会议;全 AI 研究的接收率反而更低。27

First conference with AI authors and reviewers; fully AI-driven work was accepted less often.27

Zooniverse · 2026-06 ↗10亿

三百万志愿者累计完成十亿次分类——观众早就在做科学。37

Three million volunteers, one billion classifications: audiences already do science.37

2025-10Agents4Science 会议;arXiv 停收未经评议的 AI 综述Agents4Science; arXiv stops unreviewed AI surveys
2026-04业余者 + GPT-5.4 Pro 解出 Erdős 老题;Bessis:定理经济将崩塌Amateur + GPT-5.4 Pro settle an Erdős problem; Bessis: the theorem economy falls
2026-06/07莱顿宣言;邓煜、王虹获菲尔兹奖;ICM:陶哲轩“证明过剩”Leiden Declaration; Deng and Wang win Fields; Tao at ICM: proof abundance
2026-0925 位菲尔兹奖得主“严重错位”声明;771 人反对数学马拉松25 Fields medallists on misalignment; 771 object to the Mathathon
02

问题:论文这种文体,扛不住 AI 时代的三件事

The problem: three things the paper cannot carry

1

论文是历史发明,不是知识命运

The paper is a historical invention

1665 年《哲学汇刊》把书信网络压进可邮寄的印刷品,论文是印刷时代的杰作;它的篇幅、结构和“期”都来自纸张与邮政的成本。2

Philosophical Transactions (1665) compressed a letter network into a mailable print object; the paper's length, structure, and issues came from the economics of paper and post.2

2

被剪掉的现场:失败、数据、争论

The cut-away workshop

论文只保留成功叙事。2434 篇论文里正结果占 70%–92%;12 2016 年 1500 多位研究者中多数复现不了别人的实验;10 2023 年撤稿破万。14

Papers keep the success story. Positive results made up 70–92% of 2,434 papers;12 most of 1,500 surveyed researchers failed to reproduce others' work;10 retractions passed 10,000 in 2023.14

3

瓶颈迁移:从写出来,到验证、讲清、消化

The bottleneck moved

五十四秒能生成一篇论文;30 AI 假说“绝大多数无法被验证”;39 陶哲轩:证明过剩下,制度“在稀缺假设下设计”,出现“消化不良”。19

A paper in fifty-four seconds;30 most AI hypotheses cannot be verified;39 Tao: institutions designed for scarcity suffer proof indigestion under abundance.19

证据抽屉:陶哲轩的五层目标Evidence: Tao's five stages

解出 → 验证正确 → 能向共同体清楚讲解 → 被共同体消化接受 → 进入教科书。AI 加速前两层;后三层是人的工作,而且“最慢、最不可被 AI 优化”。标尺:“一个没有人能够恰当解释的证明,即使经过形式化验证,也应被视为不完整。”19

Solve → verify → explain → be digested by the community → enter the textbooks. AI accelerates the first two; the last three are human work, the slowest and least optimizable. The measuring stick: a proof no human can properly explain should be viewed as incomplete, even if formally verified.19

证据抽屉:论文洪流的 2026 版数据Evidence: the flood, 2026 edition

STM:2014–2024 论文总量 +53%;5 NeurIPS 2025 投稿 21,575;9 Agents4Science 三种模型审稿人相关系数仅 0.48,过半投稿含被标记引用。27 少数派 TomBen:“科学的约束正在从生产端转向评估端。”40

STM: article output +53% over 2014–2024;5 NeurIPS 2025 received 21,575 submissions;9 at Agents4Science model reviewers correlated at only 0.48 and over half of submissions had flagged references.27 The constraint on science is moving from production to evaluation.40

03公众投资人

小天的一天:十年后的科研长什么样

A day with Xiaotian: research ten years from now

分镜版漫画(成图待出)。世界观来自《关于未来的科学家的想象》:AI 自主跑科研,人类做终结者、指挥者、监督者、联想者和观众。

Storyboard version (final art pending). From the companion essay on future scientists: AI runs research; humans terminate, direct, supervise, associate, and watch.

1 · 2036 年,小天坐进全息舱开播:今天解说一场核聚变“科研比赛”1 · 2036: Xiaotian goes live to narrate a fusion research match
2 · 她的队伍是 AI:检索员、推演员、实验员、绘图员,日夜不停2 · Her party is AI: retriever, reasoner, experimenter, illustrator
3 · 每一回合都有战报:进展、证据、风险;走错了可以回档3 · Every turn ends with a report; a wrong turn can be rewound
4 · 观众不是旁观者:提议被采纳,就进了下一回合的指令4 · Spectators are not bystanders: an adopted proposal becomes an order

你在科研里能扮演什么?

Which role would you play?

终结者Terminator

决定什么时候喊停:资源与安全的权衡。

Decides when to stop: resources and safety.

判断力Judgment
🧭指挥者Director

写方向文件,给 AI 指路,也划禁区。

Writes the program file; sets direction and limits.

方向感Direction
🛡️监督者Supervisor

盯着别越界:伦理、经费、披露。

Watches ethics, funding, disclosure.

警觉Vigilance
💡联想者Associator

提出点子,AI 立刻补完细节去验证。

Supplies ideas; AI completes and tests them.

脑洞Imagination
🎉观众Audience

看、提议、投票、打赏——聚沙成塔。

Watch, propose, vote, tip: many small hands.

气氛Atmosphere
04公众学者政府

十三条主张

Thirteen theses

v0.5 新增第十三条。完整论证见站内《新科学宣言》全文(约 12,000 字,中英)。

Thesis 13 is new in v0.5. The full argument is in the manifesto essay on the site.

论文是历史发明,不是知识命运。The paper is a historical invention, not the destiny of knowledge.它曾经适合印刷时代,但不应垄断 AI 时代。It suited the print era; it should not monopolize the AI era.
期刊应从印刷容器转型为认证、策展、导览和公共展示机构。Journals should move from print containers to certification, curation, guidance, and public display.
学术成果应从单一文本升级为经过学术策展的动态知识客体。Scholarly outputs should become curated, dynamic knowledge objects.文本、数据、代码、图表、视频、实验日志、失败记录、伦理材料和 AI 接口都是成果的一部分。Text, data, code, figures, video, logs, failures, ethics, and AI interfaces all belong to the work.
复现是设计之初就必须内嵌的结构。Reproducibility is designed in from the start.不能被检查的成果,不应享有过高的学术信用。Work that cannot be checked should not enjoy high credit.
失败结果、无效结果和重复实验应被记录、检索和评价。Failed, null, and replicated results should be recorded, searchable, and valued.
AI 应成为透明的学术助手,而不是匿名的影子作者。AI should be a transparent assistant, not an anonymous shadow author.
人类最重要的贡献是问题意识、价值判断、身体经验、伦理责任、异常感知和想象力。The human contribution is question-making, judgment, embodied experience, responsibility, anomaly perception, and imagination.
公众、初学者和跨学科读者是合法读者,不是外部观众。The public, students, and adjacent fields are legitimate readers.
学术成果应同时对人类友好和对机器友好。Scholarly objects should be friendly to humans and actionable for machines.
发表不是终结,而是进入公共修正过程。Publication begins public revision rather than ending inquiry.
评价应转向可信度、开放度、可复现度、解释力、公共价值和可接续性。Evaluation should turn to trustworthiness, openness, reproducibility, explanatory power, public value, and reuse.
建立“新科学”平台、新型期刊和“问道”套件,让人与 AI 有机配合。Build the platform, the journal, and Wendao so that humans and AI cooperate.
科学应当可玩、可看、可参与。Science should be playable, watchable, and joinable.AI 降低的是操作科研的门槛,而不是判断成果的标准;有人上手玩,所有人都能当观众,而每一件成果都必须有人讲得清、查得到、认得账。AI lowers the threshold of operating research, not the standard for judging it; some play, everyone may watch, and every result must be explained, checkable, and owned.
05投资人学者政府

产品之一:知识客体的七层与六扇门

Product one: the knowledge object, seven layers and six doors

同一件成果,七层材料、六种入口。点左侧任一层查看它对应的制度设计与 2026 年的学术依据。

One work, seven layers, six entrances. Click a layer for its design and its 2026 backing.

👀
公众入口Public漫画、短视频、一张图Comics, shorts, one picture
🧭
学习入口Learning概念地图、阅读路径Concept maps, reading paths
📄
同行入口Peer论文视图、引用、版本Paper view, citations, versions
🧪
复现入口Replication数据、代码、失败记录Data, code, failures
🛡️
监督入口Oversight伦理、经费、AI 披露Ethics, funding, AI disclosure
🤖
AI 入口AIMarkdown、JSON-LD、llms.txtMarkdown, JSON-LD, llms.txt
06

产品之二:问道——回合制科研游戏引擎

Product two: Wendao, a turn-based research engine

人写方向、AI 跑回合、战报即版本。下面是可点的小样:跑一回合、选分支、回档。响应为脚本演示,真实版接网关后结构不变。

People set direction, AI plays turns, the report is the version. Try it: run a turn, choose a branch, rewind. Scripted responses; the real engine keeps the same structure.

方向文件Program program.md

问题意识
Question
论文体例如何塑造“成功叙事”,失败记录为何消失?
How does the paper genre manufacture success stories, and where do failures go?
禁区
Limits
不引用打不开的来源;不替我下结论。
No unopenable sources; no conclusions on my behalf.
预算
Budget
12 回合turns · ¥15 · checkpoint

AI 队伍Party

检索员Retriever
推演员Reasoner
绘图员Illustrator
审稿员Reviewer
记录员Scribe
Claude Fable
+0进展Progress
0新证据Evidence
0风险Risks

观众席Audience 👀 312

提议只进“气氛层”,采纳后才成指令。Proposals enter the atmosphere layer; adopted ones become orders.

通关条件Completion

七层完成度Seven layers 2/7
AI 与工具披露:自动生成AI & tool disclosure: automatic
作者亲笔导读(300 字)Author's own 300-word guide
文衡六维评分Wenheng six-axis score
07投资人政府

三件套怎么咬合:平台 · 期刊 · 问道 · 观众席

How the pieces lock: platform, journal, Wendao, audience

问道是科研的“游戏客户端”,平台是“赛事平台与成果库”,期刊是“赛季精选集”,观众席贯穿三者。

Wendao is the game client, the platform is the arena and archive, the journal is the season's best-of, and the audience runs through all three.

A

问道 Wendao

Wendao

回合制研究引擎:方向文件、AI 队伍、战报、存档、分支、观众席;在线版 + 本地版(Cowork / Codex 技能);平台额度或自带 Key。

Turn-based engine: program file, AI party, reports, saves, branches, audience; online and local editions; platform credits or bring-your-own key.

原型中Prototype
B

策展平台

Curation platform

每局研究打包成七层知识客体:待审 → 文衡六维评分 → 纳入期次或策展 → 公开。JSON-LD、Markdown 视图、llms.txt、版本时间线已上线。

Each run becomes a seven-layer knowledge object: review → Wenheng scoring → issue or curation → public. JSON-LD, Markdown views, llms.txt, and version timelines are live.

M1 已上线M1 live
C

新潮科学期刊

The journal

图文杂志式的“赛季精选”:在线图文刊 + 印刷级 PDF;创刊号《论文之后》以宣言为首篇范例;期刊只做窗口,全文与数据沉淀在平台。

A magazine-style season's best: online issue plus print-grade PDF; the first issue, After Papers, opens with the manifesto; the journal is a window, the platform is the archive.

创刊筹备In preparation
D

观众席

The audience

观战、回放、弹幕、提议、投票、打赏;比赛模式:提案队 vs 挑刺队。观众提议只进“气氛层”,采纳后才成指令——这是与直播打赏的本质区别。

Spectating, replay, chat, proposals, votes, tips; match mode: proposers vs critics. Proposals stay in the atmosphere layer until adopted, which is what separates this from ordinary streaming.

P2 规划Planned P2
08投资人政府

市场:重资产的 AI4S 之外,空着一层“让人参与、让人看懂、让成果可消化”

Market: beyond heavy-asset AI for Science, an empty layer for participation, understanding, and digestion

$4.43B全球 AI for Science 融资额,2026 年上半年(VCBeat 汇总)42Global AI-for-Science financing, first half of 2026 (VCBeat)42
S$120M新加坡 NRF“AI for Science”追加投入(2024-10),国家 AI 研发计划超 S$1B43Singapore NRF's additional AI-for-Science investment (Oct 2024); national AI R&D plan above S$1B43
2024–2030中国首个 AI for Science 重大专项;2025-08 国务院“人工智能+”行动把“科学技术”列为重点行动首位44China's first AI-for-Science national programme; the 2025 "AI+" action plan puts science and technology first44

资本去了哪里

Where the money went

Periodic Labs 3 亿美元种子、拟 75 亿估值;Lila Sciences 累计 5.5 亿;Isomorphic 21 亿美元 B 轮;Edison Scientific 7,000 万种子——几乎全部投向自动实验室、药物与材料发现。42 Kosmos 一次运行读 1,500 篇论文、跑 42,000 行代码,售价 200 美元/次。28

Periodic Labs' $300M seed at a proposed $7.5B valuation; Lila Sciences' $550M raised; Isomorphic's $2.1B Series B; Edison Scientific's $70M seed: nearly all of it into autonomous labs, drugs, and materials.42 Kosmos reads 1,500 papers and runs 42,000 lines of code per $200 run.28

学术出版市场的美元规模需取一手来源后再写入;此处只用可核对的增长数据:2014–2024 论文总量 +53%,金色开放获取占比 14% → 40%。5

Dollar sizes for scholarly publishing will be added from a primary source; here only checkable growth figures: article output +53% over 2014–2024, gold OA from 14% to 40%.5

我们的空位

Our gap

AI 让“产出”廉价,把稀缺转移到验证、讲清、消化和评价——而这四件事恰恰需要人、需要观众、需要制度。重资产玩家不做这层;出版平台还在按“论文”计数;公民科学平台没有 AI 引擎。RenaSci 站在三者的交叉点:把研究做成可玩可看的局,把成果做成可消化的知识客体。

AI made production cheap and moved scarcity to verification, explanation, digestion, and evaluation, which need people, audiences, and institutions. Heavy-asset players do not build this layer; publishing platforms still count papers; citizen-science platforms lack an AI engine. RenaSci sits at the intersection: research as playable, watchable runs, results as digestible knowledge objects.

轻资产Light assets中英双语Bilingual新加坡主体Singapore entity
09投资人学者

图谱:谁在做什么,我们站在哪

Landscape: who does what, and where we stand

重资产 · 自动实验室 / HEAVY ASSETS 轻资产 · 内容与参与 / LIGHT ASSETS 面向机构 INSTITUTIONS 面向个人与公众 PUBLIC Periodic Labs · Lila · IsomorphicEdison / Kosmos · SandboxAQ自动实验室与药物材料发现 eLife 新模式 · PubPub · OctopusResearchHub · alphaXiv · Curvenote出版与评议平台,仍以“论文”计数 Elicit · Consensus · SciSpaceDeep Research · autoresearch个人研究工具,单人单机 Zooniverse · Foldit · EteRNAerdosproblems.com · Polymath公民科学,没有 AI 引擎 RenaSci问道 + 平台 + 期刊

图谱为定性定位,公司与项目名称仅表示类别代表;估值与融资见前页脚注。陶哲轩列出的新基础设施(Mathematical Discourse 视频期刊、First Proof、Palomar 证明登记处)说明学术界自己也在往“讲解与消化”这层建设施。19Qualitative positioning; names stand for categories. The new infrastructure Tao lists (the Mathematical Discourse video journal, First Proof, the Palomar proof registry) shows the academy building the explanation-and-digestion layer itself.19

10投资人

商业模式:候选收入源与单位经济

Business model: candidate revenues and unit economics

以下为候选与假设,创始人拍板后替换为定案;没有一项是“已验证”。

Candidates and assumptions; to be replaced by the founder's decisions. None is validated yet.

收入源Revenue付费方Payer机制Mechanism状态Status
问道会员(平台额度)Wendao membership (credits)玩家 / 研究者Players按局或按月,网关计量;自带 Key 免费层Per run or monthly, metered at the gateway; BYO-key free tier首选Primary
机构版Institutional edition高校 / 实验室 / 出版社Universities, labs, publishers私有房间、审计、批量席位、SSOPrivate rooms, audit, seats, SSO首选Primary
赛事赞助与冠名Match sponsorship企业 / 基金会Companies, foundations比赛模式(提案队 vs 挑刺队)+ 观众打赏分成Match mode plus a share of audience tips候选Candidate
期刊与出版服务Journal & publishing读者 / 合作期刊Readers, partner journals纸刊与订阅;为传统期刊做“知识客体化”改造Print and subscriptions; knowledge-object conversion for legacy journals候选Candidate
评估服务(文衡)Assessment (Wenheng)机构 / 资助方Institutions, funders六维评估报告,约 $0.5–0.8/篇成本Six-axis reports at roughly $0.5–0.8 per paper in cost候选Candidate
$0.5–5一局研究的模型成本(假设:12 回合、多模型混用)Model cost per run (assumption: 12 turns, mixed models)
¥0 / 自带 Key免费层:自带 API Key,密钥只存浏览器本地Free tier: bring your own key, stored only in the browser
Stripe / Paddle新加坡主体收全球款;中国支付另接Singapore entity bills globally; China payments separately
11投资人政府

里程碑:已经做到的,和接下来的

Milestones: done and next

2026-06-30宣言 v0.1–v0.3 与网站首发Manifesto v0.1–v0.3 and site launch
2026-07-03M1 生产上线:内容模型、AI 可读层、版本时间线、宣言拆分、问道预览M1 in production: content model, AI-readable layer, version timeline, Wendao preview
2026-07-25文衡六维评估器 v0.1 设计与干跑(4 篇试验)Wenheng six-axis evaluator v0.1 designed and dry-run on 4 papers
2026-09宣言 v0.5、设计系统 v2、互动式 BP、问道 2.0 框架、renascience.comManifesto v0.5, design system v2, interactive BP, Wendao 2.0 framework, renascience.com
2026 Q4问道 P0–P1:原型 + 真模型 + 发布对接;漫画与视频物料;首批 10 件知识客体Wendao P0–P1: prototype, real models, publishing; comics and videos; first 10 knowledge objects
2027 Q1观众席与回放;首场科研直播;创刊号《论文之后》Audience and replay; first live research run; first issue, After Papers
2027 Q2比赛模式与赞助;机构版试点;本地版技能包Match mode and sponsorship; institutional pilot; local edition
2027 H2开放注册与投稿;Lean / 计算局;多语种Open registration; Lean and compute runs; more languages
12投资人

团队与需求

Team and the ask

发起人

Founder

胡翌霖,技术哲学与科学史学者,曾任教清华大学科学史系,现居新加坡;华文道私人有限公司(CNDAO PTE LTD)创始人;未完成书店与每周哲学读书会主理人;《技术的历程》《区块链的技术史与技术哲学》作者。RenaSci 的宣言、平台内容模型与问道设计均出自其手,AI 协作全程披露。

Hu Yilin, philosopher and historian of technology, formerly of Tsinghua's Department of the History of Science, now based in Singapore; founder of CNDAO PTE LTD; runs an independent Chinese bookstore and a weekly philosophy reading group; author of books on the history of technology and the philosophy of blockchain. The manifesto, content model, and Wendao design are his, with AI collaboration disclosed throughout.

合作伙伴与顾问:见站点“合作”页;此处按创始人提供的名单补入。

Partners and advisors: see the site's Partners page; to be filled from the founder's list.

这一轮要什么

What this round is for

金额与期限由创始人填写;下面是用途结构的建议比例(可改)。

Amount and horizon to be set by the founder; the split below is a suggested structure.

问道引擎与网关(工程)Wendao engine and gateway40%
内容冷启动:首批知识客体、直播、期刊创刊号Content cold start: first objects, live runs, issue one25%
物料与传播:漫画、视频、渠道Materials and channels15%
模型额度与服务器Model credits and servers10%
法务、商标、合规Legal, trademarks, compliance10%
13政府学者

治理:把 2026 年的学术共识写成平台规则

Governance: turning the 2026 consensus into platform rules

披露与署名

Disclosure and authorship

采纳《莱顿宣言》:透明披露自动化工具的使用;署名与责任归人类;无法充分归功时明确说明。20 平台把“AI 使用披露”从字段升级为发布必要条件,问道自动生成披露记录。

Adopting the Leiden Declaration: disclose automated tools; credit and responsibility stay human; state it when attribution is incomplete.20 AI disclosure becomes a publishing requirement, generated automatically by Wendao.

人能讲清

Explainable by a person

每件成果必须附作者亲笔导读;无人能讲清的结果视为未完成。19 比赛模式的硬约束来自数学马拉松之争:成果必须附完整写作、验证记录与归功,否则不计分。41

Every work carries the author's own guide; an unexplained result counts as unfinished.19 Match mode inherits the Mathathon lesson: no credit without write-up, verification, and attribution.41

开放科学与合规

Open science and compliance

UNESCO 开放科学建议书与 FAIR 原则;415 CC-BY 默认许可;新加坡 PDPA;自带 Key 只存浏览器;Zenodo DOI 与 ORCID 接口;学术导向、开源、社区监督的基础设施(Commelin 等)。34

UNESCO Open Science and FAIR;415 CC-BY by default; Singapore PDPA; keys stay in the browser; Zenodo DOI and ORCID; academically oriented, open-source, community-governed infrastructure.34

与新加坡的契合

Fit with Singapore

国家 AI 战略 2.0 与 NRF 的 AI for Science 计划强调跨学科人才、数据与算力共享、国际协作;43 RenaSci 以新加坡主体运营中英双语平台,天然连接华语与英语学术圈,可作为公众理解与参与 AI 科研的配套设施。

The National AI Strategy 2.0 and NRF's AI-for-Science programme stress interdisciplinary talent, shared data and compute, and international collaboration;43 a Singapore-based bilingual platform bridges Chinese- and English-language scholarship and gives the public a way to understand and join AI-driven research.

与出版与高校合作方的契合

Fit with publishers and universities

期刊转型为认证与策展机构(宣言第二条):我们提供“知识客体化”的内容模型与工具,期刊保留品牌与评议;高校可用问道做研究训练与公开课,学生的每一局都是可评估、可展示的作品。

Journals become certifiers and curators (thesis 2): we supply the knowledge-object model and tools while journals keep their brand and review; universities can use Wendao for research training and open courses, where every run is an assessable, showable work.

14学者

学术版:论证结构与 2026 年的对话对象

For scholars: the argument and its 2026 interlocutors

宣言 v0.5 全文约 12,000 字、十章十三条、41 条参考资料,中英双语,站内分节可读、可下载 Markdown。这里给出骨架与对位。

The v0.5 essay runs about 12,000 characters in Chinese with an English overview, ten sections, thirteen theses, and 41 sources. Here is the skeleton.

宣言的层Manifesto layer陶哲轩的解题五层Tao's five stages平台机制Platform mechanism
核心论证层 + 证据追溯层Core argument + evidence trail生成、验证Generate, verify可点击来源;形式化 / 复算记录;文衡“严密性”“扎实度”红线Clickable sources; formal or re-run records; Wenheng rigor and solidity red lines
多模态解释层 + 作者导读Multimodal explanation + author's guide讲解Explain六扇门;“人能讲清”发布条件Six doors; the explainability requirement
共创演化层 + 观众席Co-evolution + audience共同体消化Community digestion开放评议、分叉、复现、观战与提议Open review, forks, replication, spectating and proposals
期刊与策展Journal and curation教科书化Canonization赛季精选、印刷版、策展窗口Season's best, print, curation windows
治理透明层Governance(贯穿)(throughout)莱顿条款、AI 披露、伦理与经费Leiden clauses, AI disclosure, ethics and funding
我们与“抵抗派”的分歧与共识Where we differ from, and agree with, the resisters

Harris、Sweeting 等主张可以不用 AI、为自己做数学;22 我们同意“不用也可以”,但认为制度不能靠个人选择维持。Bloom 的“无人读”与 Gowers 的“富营养化”(文献增多而共同体萎缩)是真风险,24 答案不是限制参与,而是把“读、讲、认账”做成参与的门槛。

Harris, Sweeting and others defend doing mathematics without AI, for oneself;22 we agree that abstaining is legitimate, but institutions cannot rest on individual choice. Bloom's unread proofs and Gowers's eutrophication are real risks;24 the answer is not to limit participation but to make reading, explaining, and owning the price of admission.

我们与“加速派”的分歧与共识Where we differ from, and agree with, the accelerators

Tsimerman 预言 AI 将很快全面超越数学家,22 Charton 认为每种数学工具都自动化了某些东西;我们不对能力下注,而是与陶哲轩一样“条件于能力猜想为真”去问价值问题。19 Narayanan 说得对:“若自动化同行评议,就把进步的方向交给了 AI。”33

Tsimerman expects AI to surpass mathematicians soon;22 Charton notes that every mathematical tool automated something. We do not bet on capability; like Tao, we condition on it and ask about values.19 Narayanan is right that automating peer review hands the direction of progress to AI.33

15

参考资料

Sources

1–18 为宣言 v0.3 原有;19–41 为 v0.5 新增;42–44 为 BP 市场页专用。全部在 2026-09-15 逐条打开核对。

1–18 from v0.3; 19–41 added in v0.5; 42–44 used only on the market page. All opened and checked on 2026-09-15.

1Library of Congress: The Gutenberg Bible
印刷革命的历史入口。A historical entry point to the print revolution.
2Royal Society: History of Philosophical Transactions
1665 年科学期刊制度的关键起点。The key origin of the scientific journal system, 1665.
3Royal Society: 350 years catalogue
皇家学会出版史展览资料。Exhibition materials on the Royal Society’s publishing history.
4UNESCO Recommendation on Open Science
开放科学的国际制度框架。The international policy framework for open science.
5STM OA Dashboard
2014-2024 年论文规模与开放获取趋势。Article output and open-access trends, 2014–2024.
6OpenAlex: About us
开放学术索引规模说明。Scale of the open scholarly index.
7arXiv Monthly Submissions
预印本平台投稿规模。Submission volume of the preprint platform.
8NeurIPS 2024 Fact Sheet
AI 顶级会议投稿与评审规模。Submission and review scale at a leading AI conference.
9NeurIPS 2025 Review Process
NeurIPS 2025 投稿与录用数据。NeurIPS 2025 submission and acceptance data.
10Nature: 1,500 scientists lift the lid on reproducibility
复现危机的研究者调查报道。Survey of researchers on the reproducibility crisis.
11National Academies: Reproducibility and Replicability
美国国家科学院等机构关于复现性的报告。The U.S. National Academies report on reproducibility and replicability.
12Fanelli 2010, PLOS ONE
正结果比例与发表偏差研究。Positive-result rates and publication bias.
13Retraction Watch
撤稿数据库入口。The retraction database.
14Nature: 2023 retractions
2023 年撤稿数量报道。Report on the record number of retractions in 2023.
15FAIR Principles
数据可发现、可获取、可互操作、可复用原则。Findable, accessible, interoperable, reusable data principles.
16Liang et al. 2024
AI 修改同行评议文本的规模估计。Estimating LLM-modified text in AI conference peer review.
17Goldberg et al. 2024
NeurIPS 2024 作者检查清单 AI 助手实验。The NeurIPS 2024 author-checklist AI assistant experiment.
18Tang et al. 2024
科学论文中 LLM 使用增长的估计。Estimating the growth of LLM use in scientific papers.
19Terence Tao, “Mathematics in the age of AI” (arXiv:2608.16753, 2026)
ICM 2026 报告长文:解题五层目标、证明过剩与“消化不良”、公民数学。ICM 2026 essay: five goals of problem-solving, proof abundance, citizen mathematics.
20Leiden Declaration on Artificial Intelligence and Mathematics (2026)
2026 年 6 月发布,IMU 背书,四千余位数学家联署:披露工具使用、署名归人类、欢迎新来者。Released June 2026 with IMU endorsement; disclosure, human authorship, welcoming newcomers.
21A Severe Misalignment of AI in Mathematics (2026)
2026 年 9 月 11 日二十五位菲尔兹奖得主联署:解题只是理解的工具和代理。Signed by 25 Fields medallists, 11 September 2026: solving is only a proxy for understanding.
22Scientific American: If AI can do math, what's the point of mathematicians? (2026)
2026 年 9 月 10 日,ICM 会场内外数学家的分歧图谱。10 September 2026: the map of disagreement among mathematicians after ICM.
23Scientific American: an amateur armed with ChatGPT “vibe-maths” a 60-year-old problem (2026)
2026 年 4 月 24 日:Liam Price 与 Kevin Barreto 用 GPT-5.4 Pro 解出 Erdős 原始集合问题。24 April 2026: Liam Price and Kevin Barreto solve an Erdős primitive-set problem with GPT-5.4 Pro.
24Quanta Magazine: Why the Legendary Erdős Problems Are Falling to AI (2026)
2026 年 8 月 3 日:erdosproblems.com 的协作史、565 题已解、Bloom 的“无人读”之忧。3 August 2026: the collaborative history of erdosproblems.com and the worry that nobody reads AI proofs.
25《中国科学报》:邓煜谈 AI 介入数学(2026)
2026 年 7 月 24 日:“借助 AI 填补证明里大量的技术性细节”“真正推动数学前进的还是人的直觉和想法”。China Science Daily, 24 July 2026: Yu Deng on AI filling technical details and human intuition driving mathematics.
26《中国新闻周刊》:“人类的最后一届菲尔兹奖”?邓煜回应(2026)
2026 年 8 月 18 日:“菲尔兹奖应该还是会颁给人类,但未来的获奖工作很可能是人机结合的产物。”China Newsweek, 18 August 2026: the Fields Medal will still go to humans, but future prize-winning work will likely be human–machine.
27Exploring the use of AI authors and reviewers at Agents4Science (Nature Biotechnology, 2025)
首个 AI 作者与审稿人会议:315 投稿、48 接收、审稿相关 0.48、过半含错误引用、全 AI 研究接收率更低。First conference with AI authors and reviewers: 315 submissions, 48 accepted, reviewer correlation 0.48.
28Kosmos: An AI Scientist for Autonomous Discovery (arXiv:2511.02824, 2025)
一次运行读约 1,500 篇论文、跑 42,000 行代码,每条结论可追溯到代码行与文献段落。Reads about 1,500 papers and runs 42,000 lines of code per run; every conclusion traceable.
29Andrej Karpathy, autoresearch (GitHub, 2026)
人写 program.md 方向文件,代理一夜自动跑约百个实验——回合制科研的原型。A human-written program.md sets direction; agents run about a hundred experiments overnight.
30Nature: How AI slop is causing a crisis in computer science (2026)
2026 年 2 月 13 日:五十四秒生成一篇虚构实验论文,“堵塞出版管道从未如此容易”。13 February 2026: a fictional-experiment paper generated in 54 seconds.
31arXiv: Updated practice for review articles and position papers in arXiv CS (2025)
2025 年 10 月 31 日:计算机科学类综述与立场文须先经同行评议,以应对 AI 生成投稿洪流。31 October 2025: CS survey and position papers now require prior peer review.
32David Bessis, “The Fall of the Theorem Economy” (2026)
2026 年 4 月 21 日:只有证定理才算贡献的“定理经济”将崩塌;数学的产品是清晰与理解。21 April 2026: the theorem economy is falling; the product of mathematics is clarity and understanding.
33Arvind Narayanan, “What will be left for us to work on?” (ICML 2026 keynote)
2026 年 7 月 13 日:人的理解不是待自动化的摩擦;若自动化同行评议,就把进步的方向交给了 AI。13 July 2026: human understanding is not friction to be automated away.
34Commelin, Jamnik, Ochigame, Taelman & Venkatesh, “Shaping the Future of Mathematics in the Age of AI” (arXiv:2603.24914, 2026)
建议建设学术导向、开源、社区监督的技术基础设施,减少对单一商业行动者的依赖。Calls for academically oriented, open-source, community-governed infrastructure.
35Khatib et al., “Crystal structure of a monomeric retroviral protease solved by protein folding game players”, Nature Structural & Molecular Biology 18 (2011) 1175–1177
Foldit 玩家三周解出 M-PMV 蛋白酶结构。Foldit players solve the M-PMV protease structure in three weeks.
36Lee et al., “RNA design rules from a massive open laboratory”, PNAS 111 (2014) 2122–2127
EteRNA 三万七千名玩家作为共同作者。37,000 EteRNA players as co-authors.
37Zooniverse: One billion classifications (2026)
2026 年 6 月:志愿者逾三百万,累计十亿次分类。June 2026: more than three million volunteers, one billion classifications.
38Timothy Gowers & Michael Nielsen, “Massively collaborative mathematics”, Nature 461 (2009) 879–881
博学者计划:博客评论区里的大规模协作数学。The Polymath Project: massively collaborative mathematics in blog comments.
39新华社:从“工具”到“搭档” AI 应怎样助力科研(2026)
2026 年 8 月 22 日:AI 产生的海量假说“绝大多数无法被验证”;要在“评价机制、组织形式上下功夫”。Xinhua, 22 August 2026: most AI-generated hypotheses cannot be verified; evaluation and organization must change.
40少数派 · TomBen:Vibe Research——社会科学的第一次 AI 危机?(2026)
2026 年 3 月 7 日:“科学的约束正在从生产端转向评估端”“AI 可以放大品味的价值,但不能替你培养品味”。7 March 2026: the constraint on science is moving from production to evaluation.
41Open letter about the Mathathon (Proofs and Prompts, 2026)
2026 年 9 月 10 日:七百余位数学家反对四十小时 AI 数学马拉松制造“垃圾数学”。10 September 2026: more than seven hundred mathematicians object to a forty-hour AI mathathon.
42VCBeat:2026 年全球 AI for Science 十强公司(含融资汇总)
“Global AI for Science financing has exceeded $4.43 billion in the past six months”(截至 2026-07);Periodic Labs、Lila、Isomorphic、Edison 等融资额。Global AI-for-Science financing above $4.43B in six months (to July 2026); funding for Periodic Labs, Lila, Isomorphic, Edison and others.
43MDDI Singapore: Further S$120M investment in "AI for Science" (2024-10-01)
新加坡 NRF 追加 1.2 亿新元投入 AI for Science;国家 AI 研发计划投入超 10 亿新元(另见 MDDI 公告)。NRF adds S$120M to AI for Science; the national AI R&D plan exceeds S$1B (see the related MDDI release).
44我国首个 AI for Science 重大专项(科技部 2024 立项,2024–2030)
中科大牵头,五大方向;2025-08 国务院《关于深入实施“人工智能+”行动的意见》把“人工智能+科学技术”列为重点行动首位。China's first national AI-for-Science programme (2024–2030); the August 2025 "AI+" action plan puts science and technology first.
1 / 16