R/ArtificialInteligence· /u/HamOnWhy·· 3 小时前AI 评分23
独立数学家公开 AI 加速的 10 余年数学研究成果（含 14.6 万文件）
Sharing 10+ years of mathamatical research dramatically accelerated by AI in the last 3 years (146k files including Lean, Python, and C code)
AI 导读
一位独立研究人员将其 10 多年数学研究以“Komoreb P”名义公开，其中最近 3 年大幅加速，包含 146k 个文件。 内容涵盖 Lean 形式化证明、Python/C/CUDA 代码及“Realization Calculus”框架，涵盖数论、信号处理与量子系统。 作者放弃机构支持以推动公共审视，强调 AI 在加速发现与形式验证中的关键作用。
来源：R/ArtificialInteligence · reddit.com