法國時間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 解什么问题，也最先看到那些答案。 不知道未来的世界会是什么样子？

列治文中区省选是兵家必争之地，四位候选人各具特色： 1，NDP候选人姚君宪，Henry Yao，深耕社区多年，辛勤参与学校和教会，给教会洗碗，在工会、教会、台湾社区有深厚的铁票仓，历史上同样的省议员选举战胜过卢仙泳。 2，BCC候选人施陪德，sacha peter在保守党内有深厚的人脉基础，财务专家，善于扭亏为盈，改善公共部门财务状况。 3，加西人民党候选人陈卫平，Lawrence Chen，老北京射击队教练，90年代移民列治文，最早的枪牌教练，深耕普通话社区多年，是无数大陆新移民的枪牌教练。 4，绿党候选人党政，Calvin Dang，来自中国大陆的水产及食品企业家移民代表，在列治文有深厚的经营企业的经验，为很多人提供了工作岗位，为很多小学，教会捐赠过急需的物资。 那么，你觉得谁更有赢下中区MLA的可能性？ Richmond Centre is a key battleground in the provincial election, and each of the four candidates brings a distinctive set of strengths to the race. 1. Henry Yao — BC NDP Henry Yao has spent many years building relationships within the community. He has been actively involved in local schools and churches, including volunteering to wash dishes at church events. He has established a strong support base among labour unions, churches, and the Taiwanese community. In a previous provincial election in the same riding, he also defeated Sin Yung Lo. 2. Sacha Peter — BC Conservatives Sacha Peter has strong connections within the Conservative Party. A financial expert, he is known for his ability to turn financial situations around and improve the fiscal performance of public-sector organizations. 3. Lawrence Chen — People’s Party of Canada West (CanWest) Lawrence Chen is a former shooting coach with Beijing’s shooting team who immigrated to Richmond in the 1990s. He was among the earliest firearms licensing instructors in the area and has spent many years building relationships within the Mandarin-speaking community. He has served as a firearms licensing instructor for countless new immigrants from mainland China. 4. Calvin Dang — BC Greens Calvin Dang represents the entrepreneurial immigrant community from mainland China. He has extensive experience running businesses in Richmond and has provided employment opportunities for many people. He has also donated essential supplies to numerous elementary schools and churches. So, which of these four candidates do you think has the strongest chance of winning the Richmond Centre MLA seat？