据Ethan Mollick在X平台称，AI常见路径是“夸大宣称—小幅助攻—验证性突破”，他以Przemek Chojecki宣称GPT‑5.4 Pro在24小时内解决多道埃尔德什问题为例，提醒去年的乌龙案例显示早报喜风险（来源：Ethan Mollick于X；原始声明来自Przemek Chojecki于X）。据Mollick指出，近期的“AI助力发现”虽是增量，但具有实际研究价值（来源：Ethan Mollick于X）。对企业而言，商业要点是：在对外宣传前需有形式化验证、同行评审与可复现实验，并在短期聚焦定理检索、引理生成、证明检查等已验证工作流，以构建学术与企业级R&D的可信度（来源：Ethan Mollick于X）。Mollick还表示，这一从炒作到证据的演进要求厂商公开基准、第三方审计与证明脚本等工件，以便在2026年将关注度转化为企业信任（来源：Ethan Mollick于X）。