法國時間9月8日清晨5點48分，警報聲打破南部城市濱海卡涅（Cagnes-sur-Mer）的寧靜。 市長馬森稱，兩名「裝備齊全、掌握內情」的竊賊剪開印象派畫家雷諾阿博物館的花園圍欄，打破窗戶進入館內並割斷了固定畫框的卡扣，竊走四幅畫作。 博物館警笛響起後，市警在五分鐘內到達現場，並在花園草地上發現了竊賊逃跑時遺落的兩幅畫作；另外兩幅至今下落不明。馬賽檢方表示，整個犯案過程不到三分鐘。市政府初估，遇竊作品合計價值約900萬歐元（約合港幣8,200萬元）。四幅遇竊作品分別是《斯蒂芬・皮雄夫人肖像》、《閱讀中的可可》、《科隆娜・羅馬諾夫人肖像》及《井邊女子》。 竊賊目前仍然在逃，警方尚未公布更多關於其身分的線索。 這是近期法國以至歐洲多例博物館遭竊案的最新一宗。去年10月，有竊賊在開館期間強行闖入巴黎羅浮宮，僅花約七分鐘便打破展櫃，偷走價值8,800萬歐元的法國王室珠寶。 👉點擊連結，註冊免費閱讀全文：

昨天看到的，实在有点炸裂。 OpenAI 内部版本的 Astra（下一代模型），在十个长期开放的数学问题上搞出了新结果。博主不是数学专业的，懂的朋友可以来聊聊这波到底什么含金量。 而且内部版 Astra 找到这十项结果所消耗的 token，按 Sol API 价格计算，合计只花了2000 美元。。。。 （这里只是找到这 10 项结果的 token 成本。至于它还尝试过多少别的题、失败过多少次，OpenAI 没披露。） 这十个问题涵盖球堆积、编码理论、算术电路复杂度、群论（non-sofic 群存在性）、算子代数（Connes 刚性猜想反例）、量子复杂度、格密码、极值组合。都是开放问题，共同点是：主结果至少十年无进展，多数远不止十年。其中几个是各自领域的核心问题。 当然，人类也不是零参与。数学论证本身由模型生成，人类（用同一模型辅助）把论证写成 manuscript，并做 Lean 形式化，并且对正确性负责。 但看完还是感到震撼，也有点可怕。 未来的研究可能会完全换一种玩法。模型可以一天 24 小时，同时探索成千上万个猜想，把过去少数人缓慢推进的研究，变成可以大规模并行的工业化搜索。（这让我想到了颜宁老师和AlphaFold ） 再往后想一步，最前沿的知识可能会先集中到少数拥有最好模型和算力的公司手里。它们决定让 AI 解什么问题，也最先看到那些答案。 不知道未来的世界会是什么样子？