分析数论依赖于渐近符号的结果，许多结论仅在渐近意义上有效。为提高准确性，启动了显式分析数论网络项目，旨在通过众包形式化相关结果，并创建互动电子表格以自动更新数值估计。项目欢迎志愿者参与，使用AI辅助进行形式化任务。