陶哲軒領銜AHM發聲明，要求數學家停止與OpenAI合作，批評其一次性發布700多個機器生成證明文件。
聲明指OpenAI先前已與普林斯頓高等研究院設諮詢小組，卻仍用內部模型測試約8000道題、命中率約5%。
數學界憂AI證明造成「不可逆污染」；楊立昆則認為形式證明將自動化，數學將邁入新時代。

華為10月1日發表Mate 90系列並同步開售，含Mate 90、Pro、Pro Max、典藏版及RS非凡大師。
售價5,999元起至12,999元起；余承東稱記憶體大漲價下，定價仍「非常有誠意」。
鴻蒙終端數量已逾9,000萬台。

貝瑞再轟AI熱潮，稱市場應重挫以阻止OpenAI與Anthropic IPO。
他指兩家公司將吸走數兆美元資金，Anthropic擬投入5180億美元、去年淨虧近420億美元。
貝瑞看空AI泡沫，將空頭轉看跌期權，押注行情可能明年夏天逆轉。

貝瑞再轟AI熱潮，稱市場應重挫以阻止OpenAI與Anthropic IPO。
他指兩家公司將吸走數兆美元資金，Anthropic擬投入5180億美元、去年淨虧近420億美元。
貝瑞看空AI泡沫，將空頭轉看跌期權，押注行情可能明年夏天逆轉。