独立数学家公开AI加速的10余年研究成果
热点事件持续更新
独立数学家公开AI加速的10余年研究成果
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
一位独立研究人员将其 10 多年数学研究以“Komoreb P”名义公开，其中最近 3 年大幅加速，包含 14.6 万文件。 内容涵盖 Lean 形式化证明、Python/C/CUDA 代码及“Realization Calculus”框架，涵盖数论、信号处理与量子系统。 作者放弃机构支持以推动公共审视，强调 AI 在加速发现与形式验证中的关键作用。
AI 根据报道生成 · 1 小时前更新
最新进展11月4日 15:23
独立数学家公开 AI 加速的 10 余年数学研究成果（含 14.6 万文件）报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- R/ArtificialInteligence独立数学家公开 AI 加速的 10 余年数学研究成果（含 14.6 万文件）
一位独立研究人员将其 10 多年数学研究以“Komoreb P”名义公开，其中最近 3 年大幅加速，包含 146k 个文件。 内容涵盖 Lean 形式化证明、Python/C/CUDA 代码及“Realization Calculus”框架，涵盖数论、信号处理与量子系统。 作者放弃机构支持以推动公共审视，强调 AI 在加速发现与形式验证中的关键作用。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。