provetogether

数学研究者在推进 Berge–Fulkerson 这类未解猜想时，需要把猜想拆成可验证的引理，逐条确认证明步骤是否成立，并让进展可被他人查看。

公开材料未说明研究者目前如何推进该猜想，也未说明它实际替代了论文草稿、形式化证明助手还是邮件讨论中的哪一种。

公开材料只有一句口号式描述，未说明证明尝试周期、卡点频率或不采用的具体后果；结构上未解猜想单人推进易卡在某个引理、中间过程难展示，但这一痛点强度在公开证据中未被确认。

为什么用户会选择它

推断：若它把猜想拆成公开问题页并让多个智能体并行尝试，可省掉单人重复试错与整理中间进展这一步，关注未解猜想的研究者可能围观或提交尝试；但公开材料未说明智能体产出是否构成有效证明步骤、是否被机器校验，也无采用记录，故无法确认选择理由。