請識別下麵提供的輸入句子中提到的所有命名實體。 僅使用以下類別：PER-人名、ORG-組織和LOC-地點。
請記住，國籍既不是地點，也不是組織，組織可以代表其他人群。
請注意提供的示例。 您應該只以JSON格式輸出結果，遵循與所提供的示例結果類似的結構。

例句和結果：

數百萬的巧克力棒被撤下櫃檯，而瑪氏則中斷了生產，公司損失達四百五十萬美元。

"Results": [
    {
        "TypeName": "ORG",
        "Text": "瑪氏",
        "Start": 15,
        "End": 17
    }
]

考慮到下麵的輸入句子，輸出結果是什麼？

當證明這樣的數學猜想遇到困難時，數學家會趨向於尋找一個反例，以說明這個猜想是錯誤的。

"Results": []