AI又對奧數(shù)下手 刷題刷出“?？肌弊詈贸煽?/h2>
AI 在最不擅長的數(shù)學(xué)方面，這次大幅刷新了最好成績。其中關(guān)鍵角色是 OpenAI 給 Lean 做的一個定理證明器。聽起來有點(diǎn)耳熟？沒錯，就是去年參加國際數(shù)學(xué)奧林匹克競賽（IMO）的“非人”選手 Lean~
訪問：
微軟Surface精選機(jī)型特惠6.3折起 翻新機(jī)滿100減100
自從 2013 年微軟研究院推出 Lean 以來，就一直嘗試讓 AI 在數(shù)學(xué)命題證明這方面取得進(jìn)展。
而這次也確實得到了回報，OpenAI 新做的這個定理證明器讓它學(xué)會了解決一部分有難度的高中奧數(shù)題，包括美國的數(shù)學(xué)競賽 AMC12、AIME 甚至是國際奧數(shù)競賽中的題。
它首先會用語言模型將數(shù)學(xué)問題轉(zhuǎn)化為另一種形式，列出隱藏的條件和已知信息，然后來推理求證。
雖然在剛開始效果并不明顯，只能證明幾個命題。但是在不斷地搜索新的證明，經(jīng)過八次迭代之后，在 miniF2F 測試中，成功地把分?jǐn)?shù)從 29.3% 刷到了 41.2%。
我們來看看這 AI 是怎么在奧數(shù)題上施展拳腳的。
AI 如何做奧數(shù)題
先來看一個簡單的問題熱熱身：
對于所有大于等于 9 的整數(shù) n，證明下圖中的式子是一個完全平方數(shù)。
按照普通人的思考方式，可以先把式中分子提出一個 n 的階乘，與分母約去。
然后分子化簡為（n+1）2。這在形式上就是一個完全平方數(shù)，問題得證。
那 AI 是怎么做的呢？
它首先從文本中提取了條件和已知信息，例如 n 是整數(shù)、n 大于等于 9。
接下來，它把需要證明的問題換了一種說法，改為：
存在一個整數(shù) x，使 x2和原式相等。
然后在解題的過程中，完全由模型直接生成了一個數(shù)學(xué)項“n+1”作為一個解：use n+1。接下來再去驗證這個解是否成立。
如果沒有語言模型，這是不可能做到的。
這么看來這模型能耐了，還有了一些數(shù)學(xué)想法，再拿一道國際奧賽的改編題來考考它：
設(shè) a、b、c 是一個三角形的三條邊，證明 a2（b+c-a）+b2（c+a-b）+c2（a+b-c）≤3abc。
同樣地，AI 還是先把條件都列出來。不過這次還列出了與三角形有關(guān)的隱藏條件：
a、b、c 都是大于 0 的實數(shù)，并且有任意兩邊之和大于第三邊。
然后模型還自創(chuàng)了一個方法，列出了（b-a）、（c-b）、（c-a），看起來好像不明所以。
但是如果把目標(biāo)式子展開，你就會發(fā)現(xiàn)這三項正是舒爾不等式的幾個對稱項：
根據(jù)舒爾不等式，對所有非負(fù)實數(shù) x、y、z 和正數(shù) t，都有：
當(dāng) t=1 時，這和奧數(shù)題中的形式完全一樣，命題得證。
這么看來，AI 這水平著實不簡單啊，要構(gòu)造出這種效果可絕非易事。
對奧數(shù)下手的難點(diǎn)
讓 AI 來做奧數(shù)，確實比學(xué)生自己磕高數(shù)題難多了。
這第一個難點(diǎn)就是，模型不是從有限的選項中做選擇。要是像下圍棋那樣，格點(diǎn)就那么多，選擇空間有限，還好說一點(diǎn)。
但是做奧數(shù)，模型要從一組復(fù)雜的無限策略中做選擇，期間還要生成一些數(shù)學(xué)中的術(shù)語，例如“存在”、“任意”等。
針對這個難點(diǎn)，OpenAI 通過在搜索證明方法時從語言模型中采樣來解決。
而第二點(diǎn)就是模型缺乏自我對抗和博弈。做奧數(shù)題和雙人游戲不同，它不是和另一個玩家比賽，而是要證明一個數(shù)學(xué)命題。
這樣一來在雙人游戲上成功的算法就不能遷移過來。
為了解決這個問題，研究人員提供了一套不同難度“教輔資料”，用來輔助描述問題而不需要證明。
當(dāng)這些輔助的描述難度越來越大時，模型就能解決越來越難的問題。
不過這兩個難點(diǎn)，反倒可以成為它的優(yōu)勢。
一方面，因為這類數(shù)學(xué)命題的證明就是需要推理，需要無限的創(chuàng)造力和洞察力。
另一方面，這種輔助描述式的方法也有助于 AI 自動推理的發(fā)展。
說不好，將來深度學(xué)習(xí)模型還能征服奧數(shù)這座高山。
參考鏈接：
https://openai.com/blog/formal-math/
關(guān)鍵詞：
AI 人工智能
AI又對奧數(shù)下手 刷題刷出“模考”最好成績
cnBeta
AI 在最不擅長的數(shù)學(xué)方面，這次大幅刷新了最好成績。其中關(guān)鍵角色是 OpenAI 給 Lean 做的一個定理證明器。聽起來有點(diǎn)耳熟？沒錯，就是去年參加國際數(shù)學(xué)奧林匹克競賽（IMO）的“非人”選手 Lean~
訪問：
微軟Surface精選機(jī)型特惠6.3折起 翻新機(jī)滿100減100
自從 2013 年微軟研究院推出 Lean 以來，就一直嘗試讓 AI 在數(shù)學(xué)命題證明這方面取得進(jìn)展。
而這次也確實得到了回報，OpenAI 新做的這個定理證明器讓它學(xué)會了解決一部分有難度的高中奧數(shù)題，包括美國的數(shù)學(xué)競賽 AMC12、AIME 甚至是國際奧數(shù)競賽中的題。
它首先會用語言模型將數(shù)學(xué)問題轉(zhuǎn)化為另一種形式，列出隱藏的條件和已知信息，然后來推理求證。
雖然在剛開始效果并不明顯，只能證明幾個命題。但是在不斷地搜索新的證明，經(jīng)過八次迭代之后，在 miniF2F 測試中，成功地把分?jǐn)?shù)從 29.3% 刷到了 41.2%。
我們來看看這 AI 是怎么在奧數(shù)題上施展拳腳的。
AI 如何做奧數(shù)題
先來看一個簡單的問題熱熱身：
對于所有大于等于 9 的整數(shù) n，證明下圖中的式子是一個完全平方數(shù)。
按照普通人的思考方式，可以先把式中分子提出一個 n 的階乘，與分母約去。
然后分子化簡為（n+1）2。這在形式上就是一個完全平方數(shù)，問題得證。
那 AI 是怎么做的呢？
它首先從文本中提取了條件和已知信息，例如 n 是整數(shù)、n 大于等于 9。
接下來，它把需要證明的問題換了一種說法，改為：
存在一個整數(shù) x，使 x2和原式相等。
然后在解題的過程中，完全由模型直接生成了一個數(shù)學(xué)項“n+1”作為一個解：use n+1。接下來再去驗證這個解是否成立。
如果沒有語言模型，這是不可能做到的。
這么看來這模型能耐了，還有了一些數(shù)學(xué)想法，再拿一道國際奧賽的改編題來考考它：
設(shè) a、b、c 是一個三角形的三條邊，證明 a2（b+c-a）+b2（c+a-b）+c2（a+b-c）≤3abc。
同樣地，AI 還是先把條件都列出來。不過這次還列出了與三角形有關(guān)的隱藏條件：
a、b、c 都是大于 0 的實數(shù)，并且有任意兩邊之和大于第三邊。
然后模型還自創(chuàng)了一個方法，列出了（b-a）、（c-b）、（c-a），看起來好像不明所以。
但是如果把目標(biāo)式子展開，你就會發(fā)現(xiàn)這三項正是舒爾不等式的幾個對稱項：
根據(jù)舒爾不等式，對所有非負(fù)實數(shù) x、y、z 和正數(shù) t，都有：
當(dāng) t=1 時，這和奧數(shù)題中的形式完全一樣，命題得證。
這么看來，AI 這水平著實不簡單啊，要構(gòu)造出這種效果可絕非易事。
對奧數(shù)下手的難點(diǎn)
讓 AI 來做奧數(shù)，確實比學(xué)生自己磕高數(shù)題難多了。
這第一個難點(diǎn)就是，模型不是從有限的選項中做選擇。要是像下圍棋那樣，格點(diǎn)就那么多，選擇空間有限，還好說一點(diǎn)。
但是做奧數(shù)，模型要從一組復(fù)雜的無限策略中做選擇，期間還要生成一些數(shù)學(xué)中的術(shù)語，例如“存在”、“任意”等。
針對這個難點(diǎn)，OpenAI 通過在搜索證明方法時從語言模型中采樣來解決。
而第二點(diǎn)就是模型缺乏自我對抗和博弈。做奧數(shù)題和雙人游戲不同，它不是和另一個玩家比賽，而是要證明一個數(shù)學(xué)命題。
這樣一來在雙人游戲上成功的算法就不能遷移過來。
為了解決這個問題，研究人員提供了一套不同難度“教輔資料”，用來輔助描述問題而不需要證明。
當(dāng)這些輔助的描述難度越來越大時，模型就能解決越來越難的問題。
不過這兩個難點(diǎn)，反倒可以成為它的優(yōu)勢。
一方面，因為這類數(shù)學(xué)命題的證明就是需要推理，需要無限的創(chuàng)造力和洞察力。
另一方面，這種輔助描述式的方法也有助于 AI 自動推理的發(fā)展。
說不好，將來深度學(xué)習(xí)模型還能征服奧數(shù)這座高山。
參考鏈接：
https://openai.com/blog/formal-math/
關(guān)鍵詞： AI 人工智能 AI又對奧數(shù)下手 刷題刷出“模考”最好成績 cnBeta
AI又對奧數(shù)下手 刷題刷出“?？肌弊詈贸煽?/div>
2022-02-04 18:09:04
黃健翔呼吁按男足標(biāo)準(zhǔn)獎勵中國女足 支付寶已安排
2022-02-04 18:08:58
定期運(yùn)動被發(fā)現(xiàn)有助于抵御眼睛的干燥和瘙癢
2022-02-04 18:08:52
Google Chrome 99進(jìn)入測試階段 迎來新的開發(fā)者功能
2022-02-04 18:08:45
央視新聞AI手語主播正式上崗 通過朱廣權(quán)高難度段子面試
2022-02-04 18:08:38
冬奧史上最特殊火炬手：無人車火炬手首次上線
2022-02-04 18:08:31
新冠特效藥之爭：輝瑞用默沙東的成果擊敗了默沙東
2022-02-04 18:08:24
【手慢無】Hi nova 9 Pro 5G秒殺到手4069元
2022-02-04 18:08:20
任天堂社長談收購：沒有任氏DNA的公司買來也沒用
2022-02-04 18:08:16
【手慢無】直降200元 OPPO Watch Free NFC版到手399元
2022-02-04 18:08:12
“一朵雪花和一塊冰”的故事 張藝謀這樣描述北京冬奧會開幕式
2022-02-04 18:08:09
仍然有市場 Moto海外發(fā)布廉價觸控筆新機(jī)
2022-02-04 18:08:04
當(dāng)超1000輛氫能汽車在冬奧村穿梭時 氫能社會離我們還有多遠(yuǎn)？
2022-02-04 18:08:01
約4000元起！不支持超頻的英特爾酷睿i9-12900/F開始上市
2022-02-04 16:38:35
售價2100元起？曝一加2月17日海外發(fā)布新款電視
2022-02-04 16:38:28
兩款屬于Y1s系列 一加2月17日將推四款智能電視
2022-02-04 16:38:20
顯存有驚喜！曝AMD RX 6950 XT新旗艦顯卡將在4月發(fā)布
2022-02-04 16:38:13
首款來啦 AMD Radeon RX 6950XT顯卡4月中旬發(fā)布
2022-02-04 16:38:04
擴(kuò)大相機(jī)陣容 GoPro明年將增兩款機(jī)型
2022-02-04 15:08:02
關(guān)于電影《特殊報道》聲明函
2022-02-04 14:57:04 蘋果占中國市場份額四分之一！安卓為何賣不過iPhone？
2022-02-04 13:51:23
谷歌將向印度巴蒂電信投資多達(dá)10億美元
2022-02-04 13:51:17
ColorOS 12最新適配計劃公布：一加9R下月就能升
2022-02-04 13:51:11
用戶首現(xiàn)負(fù)增長，中國移動固網(wǎng)寬帶業(yè)務(wù)“破防”了嗎？
2022-02-04 13:51:05
Steam Deck或?qū)⒅С諥MD FSR技術(shù)：幀率翻倍
2022-02-04 13:38:33
配有觸控筆 Moto G Stylus面向海外發(fā)布
2022-02-04 13:38:25
自帶S-Pen手寫筆 Galaxy S22 Ultra高清渲染圖曝光
2022-02-04 13:38:18
不久上市 聯(lián)想海外公布IdeaCentre主機(jī)
2022-02-04 13:38:10
約13GB/s速度 慧榮將在年底發(fā)布基于SM2508控制器的SSD
2022-02-04 13:38:02
外媒評一加10 Pro：幫安卓掀翻蘋果
2022-02-04 12:08:18
Moto新機(jī)發(fā)布：原生安卓12 售1908元
2022-02-04 12:08:11
微軟Surface Duo成功運(yùn)行Win11系統(tǒng)
2022-02-04 12:08:03
虧損百億美元！臉書母公司股價暴跌26%！
2022-02-04 10:38:27
iPhone 13 Pro定制版開售：18K黃金包裹 售16萬
2022-02-04 10:38:19
疑似iPhone 14真機(jī)后蓋曝光：竟是背部指紋？
2022-02-04 10:38:11
外觀設(shè)計驚艷！三星Galaxy S22 Ultra最新渲染圖曝光
2022-02-04 10:38:02
臺灣有線寬帶用戶突破600萬 其中有線寬帶占1/3
2022-02-04 09:21:20
12代酷睿i7-12700F力壓銳龍7 5800X！還更便宜
2022-02-04 09:21:14
濰柴動力柴油機(jī)本體熱效率首次達(dá)到51.09%：經(jīng)濟(jì)效益高達(dá)1400
2022-02-04 09:21:07
新專利或?qū)⒅O果零售店阻止搶劫行為的發(fā)生
2022-02-04 09:21:01
暴漲87% 300元奔騰雙核處理器超頻沖上5.8GHz
2022-02-04 09:08:02
噴墨打印質(zhì)量不僅僅是打印頭分辨率
2022-02-04 07:40:40
噴墨打印中混合墨水的特點(diǎn)和發(fā)展前景
2022-02-04 07:40:34
W11的最新更新 可讓電腦運(yùn)行速度更快
2022-02-04 07:40:27
租房必買 華凌超便宜洗衣機(jī)只要729元
2022-02-04 07:40:21
佳能單張紙噴墨印刷系統(tǒng)varioPRINT iX
2022-02-04 07:40:15
【手慢無】ROG機(jī)械鍵盤秒殺799元 櫻桃紅軸+RGB神光同步
2022-02-04 07:40:08
全球首個仿生鯨鯊亮相上海海昌海洋公園
2022-02-04 07:40:02
快買！鹿客S50指靜脈智能鎖優(yōu)惠500元
2022-02-04 07:39:56
微軟攜手強(qiáng)生讓醫(yī)療與科技“并肩作戰(zhàn)”
2022-02-04 07:39:49
Nazdar納茲達(dá)UV墨水是如何生產(chǎn)的
2022-02-04 07:39:43
孩子最愛 收到了壓歲錢買這些
2022-02-04 07:39:36
11代酷睿迷你機(jī)新品發(fā)布：2.5G網(wǎng)口+雙雷電4
2022-02-04 07:39:30
新版Windows 11曝光：即將到來 微軟改動不少！
2022-02-04 07:39:24
超過25年大幅面數(shù)字印刷經(jīng)驗的西班牙公司
2022-02-04 07:39:17
玻璃和瓷器餐具印花貼紙數(shù)碼打印技術(shù)
2022-02-04 07:39:11
售價不到2000元！摩托羅拉Moto G Stylus 2022款發(fā)布 支持手寫筆
2022-02-04 07:39:04
“奧特曼”的廚房用品 這款大鐵鍋長5.5米 重6500公斤
2022-02-04 07:38:58
宏華數(shù)科與浙工大合作 設(shè)立AI基金
2022-02-04 07:38:51
哈啰電動車注冊哈啰元宇宙商標(biāo) 進(jìn)軍元宇宙？
2022-02-04 07:38:45
市值逼近2萬億美元！谷歌發(fā)布21年Q4財報
2022-02-04 07:38:38
持續(xù)賦能中小企業(yè) Meta立足腳下展望未來
2022-02-04 07:38:31
Inkcups 將推出創(chuàng)新解決方案
2022-02-04 07:38:24
《戰(zhàn)神》PC版銷量喜人 索尼有意讓更多PS獨(dú)占游戲登錄PC
2022-02-04 07:38:17
惠普21.5英寸一體電腦只賣2000元出頭
2022-02-04 07:38:09
2.5倍于RTX3090 NVIDIA RTX 4080性能曝光
2022-02-04 07:38:02
比塑料輕比鋼強(qiáng) MIT工程團(tuán)隊研發(fā)出新型超薄材料
2022-02-04 06:13:26
搭載全自主研發(fā)“氫騰”燃料電池系統(tǒng)的氫能大巴將服務(wù)冬奧
2022-02-04 06:13:19
游戲界NFT沖突爆發(fā)：一堆公司同日劃清界限 只有育碧還在頭鐵
2022-02-04 06:13:11
飛行汽車持證上天：寶馬發(fā)動機(jī)油電混動 續(xù)航1000公里
2022-02-04 06:13:01
NASA公布“過渡計劃”：國際空間站將于2031年墜入太平洋
2022-02-04 06:12:55
中國實現(xiàn)奧運(yùn)史上首次機(jī)器人水下火炬接力
2022-02-04 06:12:49
亞馬遜Prime要漲價？對業(yè)績影響幾何
2022-02-04 06:12:43
蘋果在印度取得進(jìn)展 iPhone季度銷量創(chuàng)紀(jì)錄增長34%
2022-02-04 06:12:38
燃料是氫外衣也輕 冬奧火炬“氫舞飛揚(yáng)”暗藏這些黑科技
2022-02-04 06:12:32
加密貨幣平臺Wormhole遭黑客入侵 預(yù)估損失3.22億美元
2022-02-04 06:12:26
澳洲首富就加密貨幣欺詐廣告起訴Facebook
2022-02-04 06:12:20
《黑天鵝》作者：加密貨幣技術(shù)分析就像占星術(shù)
2022-02-04 06:12:14
214牌照被撤銷 中國聯(lián)通聲明將積極維護(hù)公司和客戶的合法正當(dāng)權(quán)益
2022-02-04 06:12:08
Meta暴跌超20% 美股社交網(wǎng)絡(luò)板塊爆的究竟是什么雷？
2022-02-04 06:12:03
投資超500億 中國三代核技術(shù)“華龍一號”出口阿根廷
2022-02-04 06:11:57
歐洲唯一的計算機(jī)內(nèi)存工廠的擴(kuò)建正在進(jìn)行中
2022-02-04 06:11:51
疑似小米12 mini渲染圖首曝 屏幕不到6英寸
2022-02-04 06:11:44
美國空軍資助Valkyrie公司研發(fā)高速、水陸兩棲噴氣機(jī)驅(qū)動的eVTOL
2022-02-04 06:11:38
微軟分享針對Mac的UpdateAgent復(fù)雜木馬的細(xì)節(jié)
2022-02-04 06:11:33
報告稱NFT洗錢有愈演愈烈之勢
2022-02-04 06:11:27
群聯(lián)PS5020-E20 PCIe 4.0新主控曝光 主打高端數(shù)據(jù)中心市場
2022-02-04 06:11:21
FAA公布2022超級碗禁飛區(qū) 違規(guī)或被處以3萬美元罰款
2022-02-04 06:11:15
Ghost Robotics機(jī)器狗或在美墨邊境巡邏中派上大用場
2022-02-04 06:11:08
諾基亞Q4凈銷售額同比下降2% 同比扭虧為盈
2022-02-04 06:11:03
報道揭示FBI實測過NSO Group的Pegasus間諜軟件
2022-02-04 06:10:57
AMD 5nm Zen4架構(gòu)銳龍7000處理器今年下半年上市
2022-02-04 06:10:51
Facebook稱蘋果公司的隱私措施將使其在2022年損失100億美元
2022-02-04 06:10:45
新一輪泄漏展示了三星Galaxy S22系列的官方保護(hù)殼
2022-02-04 06:10:39
美國國土安全部正在南部邊境測試機(jī)器人巡邏犬
2022-02-04 06:10:34
韓國監(jiān)管機(jī)構(gòu)稱蘋果公司關(guān)于允許第三方支付方式進(jìn)入應(yīng)用商店的建議"缺乏細(xì)節(jié)"
2022-02-04 06:10:28
MIT研究人員發(fā)明可根據(jù)視角改變其外觀的3D打印物體
2022-02-04 06:10:22
法官駁回蘋果iPhone防水性誤導(dǎo)宣傳集體訴訟案
2022-02-04 06:10:16
拜登政府希望USPS重新考慮購買燃油動力郵車的問題
2022-02-04 06:10:10
GameStop正在面向游戲作者推出自己的NFT市場
2022-02-04 06:10:04
熱門文章
- 1數(shù)據(jù)顯示1月份Windows 11的市場份額增長到16.1% 其中1021H2份額12.1%
- 2供求關(guān)系改變！機(jī)構(gòu)下調(diào)一季度NAND閃存價格下滑預(yù)期至8%-13%
- 3京東方27英寸FHD 500Hz+顯示屏發(fā)布：支持真8bit輸出，響應(yīng)時間1ms
- 4蘋果App Store開始支持隱藏上架應(yīng)用 需開發(fā)者自行提交申請
- 5英偉達(dá)RTX3050桌面級顯卡發(fā)布數(shù)小時后斷貨 二手價格達(dá)2600元
- 6LG能源上市首日一度暴漲近99% 發(fā)行價達(dá)30萬韓元/股
- 7新版Win11發(fā)布：新增頁面并修復(fù)顯示器渲染等問題
- 8蘋果iOS、iPadOS和macOS集體更新情報：修復(fù)系統(tǒng)漏洞及錯誤
- 9微軟Edge瀏覽器突然開通官微 宣傳新版論文索引等功能
- 10iPhone 13 mini銷量太慘：20個iPhone13用戶才有一個mini
熱點(diǎn)專題
-
蘋果在iOS15.4測試版新增37個...iOS15 4開發(fā)者測試版支持Emoji 14，其中包括37個新的表情符號，如融化的臉、心手、豆子等。蘋果于周四... -
蘋果未來的AirPods可提供超聲...1月28日消息:據(jù)9to5Mac報道，雖然目前大多數(shù)蘋果設(shè)備可以通過指紋或臉部識別來驗證你的身份，但蘋果也在... -
深度操作系統(tǒng)deepin 20.4發(fā)...作為全球排名最高的國產(chǎn)團(tuán)隊Linux發(fā)行版，深度操作系統(tǒng)(deepin)日前推出了deepin 20 4版，同步上游內(nèi)... -
Windows 11為什么很少人主動...2021年10月5日Windows 11正式發(fā)布，轉(zhuǎn)眼間已經(jīng)過去3個月了。似乎身邊主動更新系統(tǒng)的人少之又少，筆者采... -
Safari瀏覽器漏洞致用戶隱私...上周末，有媒體報道稱，Safari瀏覽器的WebKit引擎出現(xiàn)一個Bug，可以使網(wǎng)站通過該瀏覽器跟蹤用戶的瀏覽記... -
三星S22 Ultra曝光：四種配...1月19日消息，mysmartprice曝光了三星Galaxy S22 Ultra的詳細(xì)參數(shù)。渲染圖顯示，Galaxy S22 Ultra有... -
遠(yuǎn)程辦公導(dǎo)致需求增加！PC處...2022年P(guān)C行業(yè)會有一大波全新架構(gòu)的處理器、顯卡上市，包括13代酷睿、銳龍7000、RX 7000及RTX 40顯卡，... -
2021年全球電腦出貨量出爐：...1月19日消息，日前，市場調(diào)查機(jī)構(gòu)Canalys公布2021年全球個人電腦市場數(shù)據(jù)。數(shù)據(jù)顯示，2021年全球個人電... -
Google旗艦Pixel 6入手體驗...Pixel 6 是 Google 在 2021 年發(fā)布的旗艦手機(jī);在正式開售后的第一時間，我就通過各種渠道下單，最... -
入門款新iPad曝光：有望使用A...對于那些期待平價入門款iPad的用戶來說，不妨耐心等等，因為按照進(jìn)入蘋果已經(jīng)在做最后的準(zhǔn)備了。據(jù)最新...
關(guān)于我們 廣告服務(wù) 手機(jī)版 投訴文章：39 60 2 914 2@qq.com
Copyright (C) 1999-2020 www.baiduer.com.cn 愛好者日報網(wǎng) 版權(quán)所有 聯(lián)系網(wǎng)站：39 60 2 914 2@qq.com
相關(guān)新聞