∩AIMD Lab
A HOME FOR TRACEABLE DISCOVERY

让每一步发现
都有据可循

连接文献、数学问题与研究证据。清晰记录假设、人工核查与 AI 贡献，让探索过程能够被理解、复核与延续。

进入工作台 →浏览示范案例
研究工作台 · 测试版
SOURCE / 01从一个有出处的问题开始
CLAIM / 02标明假设与结论边界
EVIDENCE / 03把证据留在结论旁边

探索示范项目

内置教学案例 · 非发表成果
n²+n+41
NUMBER THEORY · EXAMPLE 001

连续的素数，成立到哪里？

从40个素数值到一个精确反例：有限实验为何不是一般证明。

查看案例 ↗

为研究过程建立清晰的记录

01

资料有出处

整理文献及原文定位，把命题和来源对应起来。

02

结论有边界

区分观察、猜想、定理与反例，记录核查状态。

03

证据可带走

保存私人项目，导出 JSON 和 Markdown 研究记录。

实验室与期刊审稿和录用独立。当前支持手动整理与云端保存；AI分析、PDF上传、在线计算和项目公开发布尚未开放。

← AI Research Lab

研究工作台

私人项目 · 手动整理 · 云端保存；AI提取、PDF上传与在线计算暂未开放。