陈勇超团队破解Nivat猜想
举报围绕这三份数学论证,团队设立总额10万元的专项奖金池,诚邀数学研究者参与审验。重点核查关键引理的严谨性、归约过程的正确性,以及全部证明所依赖的前提假设。参与者可提交实质性漏洞、关键步骤的独立验证结果,或填补逻辑缺口的新证明方案。所有提交须明确标注所涉论文版本、具体命题位置,并附带清晰、可复现的推导过程或运行代码。最终结论是否成立,仍有待学界同行开展独立复核与公开研讨。
论文资料及参与方式
本次活动由超衍智能发起,网络作为独家合作社区,诚邀您参与数学AI研究的开放交流与全球验证,共同促进该领域的发展与进步。

设三类奖项,表彰经评审确认的突出贡献。
重大漏洞奖:发现影响核心结论的关键证明缺陷,或提供足以推翻命题的有效反例。
关键验证奖:针对指定核心引理或证明模块,完成符合评审标准的独立核验或形式化验证工作。
突破贡献奖:表彰在填补关键空白、大幅简化证明或拓展成果适用范围方面取得重要进展的工作。