Facebook用AI繪制地圖，5年工作量18個(gè)月完成；華裔數(shù)學(xué)家用兩頁(yè)紙證明了重要計(jì)算機(jī)猜想。

1.華裔數(shù)學(xué)家用兩頁(yè)紙證明了重要計(jì)算機(jī)猜想

華裔數(shù)學(xué)家黃皓用兩頁(yè)紙（預(yù)印本）證明了一個(gè)存在近30年的計(jì)算機(jī)科學(xué)猜想——布爾函數(shù)敏感度猜想（Boolean Sensitivity ）。證明十分簡(jiǎn)潔，以至于用一條推文就可以概括。

敏感度是一種衡量布爾函數(shù)復(fù)雜度的方法，它被定義為導(dǎo)致布爾函數(shù)翻轉(zhuǎn)的最大比特?cái)?shù)。Quantamagazine 就此問(wèn)題舉例說(shuō)：你向銀行申請(qǐng)貸款，需要填一系列答案為是或否的問(wèn)題，銀行根據(jù)你的答案進(jìn)行評(píng)分做出決定。這個(gè)過(guò)程就是一個(gè)布爾函數(shù)，你的答案就是輸入比特，銀行的決定就是輸出比特。如果你改變某個(gè)問(wèn)題的答案會(huì)導(dǎo)致結(jié)果翻轉(zhuǎn)，這個(gè)比特/答案就被定義為敏感了，如果有 7 個(gè)問(wèn)題任意一個(gè)翻轉(zhuǎn)會(huì)導(dǎo)致結(jié)果翻轉(zhuǎn)，那么其敏感度就是7。

2.中國(guó)完成首次火箭殘骸落區(qū)安全控制技術(shù)驗(yàn)證

據(jù)中國(guó)航天科技集團(tuán)透露，長(zhǎng)征二號(hào)丙運(yùn)載火箭(以下簡(jiǎn)稱長(zhǎng)二丙火箭)26日以“一箭三星”的方式將遙感三十號(hào)05組衛(wèi)星送入太空。

據(jù)了解，26日13時(shí)40分，長(zhǎng)二丙火箭一子級(jí)殘骸在貴州黔南布依族苗族自治州被順利找到，落點(diǎn)在設(shè)定的落區(qū)范圍內(nèi)，標(biāo)志著中國(guó)運(yùn)載火箭首次“柵格舵分離體落區(qū)安全控制技術(shù)”試驗(yàn)取得成功。

值得一提的是，此次試驗(yàn)使中國(guó)成為繼美國(guó)之后的第二個(gè)掌握此項(xiàng)技術(shù)的國(guó)家。這是中國(guó)航天在落點(diǎn)可控、精準(zhǔn)回收領(lǐng)域取得的重大突破，是向可重復(fù)使用運(yùn)載火箭邁出的堅(jiān)實(shí)一步。

3.Facebook用AI繪制地圖，5年工作量18個(gè)月完成

據(jù)悉，F(xiàn)acebook團(tuán)隊(duì)只花了18個(gè)月就在AI人的幫助下，成功繪制了泰國(guó)48萬(wàn)公里的道路，如果換成人工手動(dòng)方法，預(yù)計(jì)相同工作量需要花費(fèi)3至5年。

據(jù)了解，它包括人工智能生成的阿富汗、孟加拉國(guó)、印度尼西亞、墨西哥、尼日利亞、坦桑尼亞和烏干達(dá)的道路映射數(shù)據(jù)(隨著時(shí)間的推移，還會(huì)有更多的國(guó)家加入)，它還附帶一個(gè)快速的、由人工智能支持的OpenStreetMap編輯工具iD版本。

Facebook通過(guò)一個(gè)34層的DNN模型，在解析度為每畫素約0.2平方公尺的衛(wèi)星圖像上辨識(shí)道路，F(xiàn)acebook對(duì)外表示，其實(shí)要達(dá)到這種規(guī)模與精確度的技術(shù)，一直到最近才有，這也表示AI能判斷更多的細(xì)節(jié)，像是小巷子、人行道或還沒(méi)鋪好的道路等，甚至可以分辨河床或墻壁、道路之間的差異。

4.暴風(fēng)集團(tuán)CEO馮鑫被帶走

7月28日晚間，暴風(fēng)集團(tuán)發(fā)布公告稱，公司實(shí)際控制人馮鑫因涉嫌犯罪被公安機(jī)關(guān)采取強(qiáng)制措施，相關(guān)事項(xiàng)尚待公安機(jī)關(guān)進(jìn)一步調(diào)查。

根據(jù)報(bào)道，馮鑫被批捕或因在此前的收購(gòu)案的融資過(guò)程中存在行賄行為，而該項(xiàng)目為暴風(fēng)集團(tuán)2016年與光大資本投資有限公司共同發(fā)起收購(gòu)的英國(guó)體育版權(quán)公司MP&Silva Holdings S.A.(以下簡(jiǎn)稱“MPS”)。

報(bào)告還表示，預(yù)計(jì)上半年歸屬于上市公司的凈虧損為2.3到2.35億元，上年同期虧損為1.06億元。報(bào)告期內(nèi)，暴風(fēng)集團(tuán)主營(yíng)業(yè)務(wù)為互聯(lián)網(wǎng)視頻業(yè)務(wù)以及子公司深圳暴風(fēng)智能科技有限公司（簡(jiǎn)稱“暴風(fēng)智能”）的互聯(lián)網(wǎng)電視業(yè)務(wù)。

5.華為智能路由器5G CPE Pro首銷，售價(jià)2499元

華為終端官方微博宣布，華為5G智能路由器5G CPE Pro正式發(fā)售，售價(jià)是2499元（首銷限時(shí)直降50元，到手價(jià)2449元）。華為5G CPE Pro是國(guó)內(nèi)首款支持5G全網(wǎng)通的智能路由器，它搭載華為首款自研7nm多模5G芯片—巴龍5000，5G峰值下載速率最高可達(dá)2.3Gbps，3秒即可緩存一部超清電影，插上5G SIM卡，即可享受5G無(wú)線寬帶體驗(yàn)。

據(jù)了解，華為5G CPE Pro內(nèi)置全頻段，高達(dá)4.9dBi高增益，仿生蝶式雙極化巴倫天線，確保360°捕捉最好信號(hào)，速度更快、家中擺放更隨意，信號(hào)質(zhì)量整體可增強(qiáng)2.8倍。

此外，華為5G CPE Pro支持4G、5G、有線寬帶混合組網(wǎng)，穩(wěn)定不掉線?？墒褂?G網(wǎng)絡(luò)和有線寬帶，實(shí)現(xiàn)兩路雙寬帶加速，突破網(wǎng)站服務(wù)器帶寬限速，針對(duì)視頻及云文件實(shí)現(xiàn)2倍下載速度，還支持4K視頻倍速播放不卡頓。

最后，記得關(guān)注微信公眾號(hào)：鎂客網(wǎng)（im2maker），更多干貨在等你！