Mathematical Lean Proof Reverse Engineering V1

Protocol for determining mathematical proof structure based on reason traces and lean output.

Zenodo2026-10-29 更新00

The Architecture of Deception in AI-Generated Formalizations

V2 Update: The Architecture of Deception in AI-Generated Formalizations Abstract This update transitions our initial theoretical inquiry into a definitive forensic audit of the openai/math repository.

Zenodo2026-11-03 更新00

GPT's Core Structure is An Automated Privacy Risk

Final independent analysis of Open AI/ GPT structural vulnerabilities and market impacts.

Zenodo2026-11-04 更新00

GPT's Core Structure is An Automated Privacy Risk

资源简介：

相关数据集