整数乘法复杂度 O(n*(logn)^(1-κ)) 现在 κ = 0.0030217758，经由我形式化验证，且还在缓慢推进，真没想到有一天普通人也能参与前… · @intqwq · TwKit

@intqwq

整数乘法复杂度 O(n*(logn)^(1-κ)) 现在 κ = 0.0030217758，经由我形式化验证，且还在缓慢推进，真没想到有一天普通人也能参与前沿数学研究 感谢所有贡献者在这道题目上的工作和努力

曝光 46 · 评论 0 · 点赞 0 · 书签 0