中國完成首次火箭殘骸落區安全控制技術驗證；暴風集團CEO馮鑫被帶走

Facebook用AI繪制地圖，5年工作量18個月完成；華裔數學家用兩頁紙證明了重要計算機猜想。

1.華裔數學家用兩頁紙證明了重要計算機猜想

華裔數學家黃皓用兩頁紙（預印本）證明了一個存在近30年的計算機科學猜想——布爾函數敏感度猜想（Boolean Sensitivity ）。證明十分簡潔，以至于用一條推文就可以概括。

敏感度是一種衡量布爾函數復雜度的方法，它被定義為導致布爾函數翻轉的最大比特數。Quantamagazine 就此問題舉例說：你向銀行申請貸款，需要填一系列答案為是或否的問題，銀行根據你的答案進行評分做出決定。這個過程就是一個布爾函數，你的答案就是輸入比特，銀行的決定就是輸出比特。如果你改變某個問題的答案會導致結果翻轉，這個比特/答案就被定義為敏感了，如果有 7 個問題任意一個翻轉會導致結果翻轉，那么其敏感度就是7。

2.中國完成首次火箭殘骸落區安全控制技術驗證

據中國航天科技集團透露，長征二號丙運載火箭(以下簡稱長二丙火箭)26日以“一箭三星”的方式將遙感三十號05組衛星送入太空。

據了解，26日13時40分，長二丙火箭一子級殘骸在貴州黔南布依族苗族自治州被順利找到，落點在設定的落區范圍內，標志著中國運載火箭首次“柵格舵分離體落區安全控制技術”試驗取得成功。

值得一提的是，此次試驗使中國成為繼美國之后的第二個掌握此項技術的國家。這是中國航天在落點可控、精準回收領域取得的重大突破，是向可重復使用運載火箭邁出的堅實一步。

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

據悉，Facebook團隊只花了18個月就在AI人的幫助下，成功繪制了泰國48萬公里的道路，如果換成人工手動方法，預計相同工作量需要花費3至5年。

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

Facebook通過一個34層的DNN模型，在解析度為每畫素約0.2平方公尺的衛星圖像上辨識道路，Facebook對外表示，其實要達到這種規模與精確度的技術，一直到最近才有，這也表示AI能判斷更多的細節，像是小巷子、人行道或還沒鋪好的道路等，甚至可以分辨河床或墻壁、道路之間的差異。

4.暴風集團CEO馮鑫被帶走

7月28日晚間，暴風集團發布公告稱，公司實際控制人馮鑫因涉嫌犯罪被公安機關采取強制措施，相關事項尚待公安機關進一步調查。

根據報道，馮鑫被批捕或因在此前的收購案的融資過程中存在行賄行為，而該項目為暴風集團2016年與光大資本投資有限公司共同發起收購的英國體育版權公司MP&Silva Holdings S.A.(以下簡稱“MPS”)。

報告還表示，預計上半年歸屬于上市公司的凈虧損為2.3到2.35億元，上年同期虧損為1.06億元。報告期內，暴風集團主營業務為互聯網視頻業務以及子公司深圳暴風智能科技有限公司（簡稱“暴風智能”）的互聯網電視業務。

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

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

據了解，華為5G CPE Pro內置全頻段，高達4.9dBi高增益，仿生蝶式雙極化巴倫天線，確保360°捕捉最好信號，速度更快、家中擺放更隨意，信號質量整體可增強2.8倍。

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

最后，記得關注微信公眾號：鎂客網（im2maker），更多干貨在等你！