这是#EduKnow 第921篇原创精选。 昨日下午，第67届IMO（国际数学奥林匹克竞赛）在上海正式闭幕，并举办了颁奖仪式。

7月18日，在2026世界人工智能大会（WAIC 2026）“实体世界智能科学”主题论坛上，图灵奖得主、中国科学院院士姚期智与图灵奖得主吉尔·布拉萨德（Gilles Brassard）教授同台对话。 姚期智表示，5年后AI会和现在大不相同，我们正处在这样一个激动人心的时代：把AI用到任何领域都能得到惊人结果，这种现象会持续一段时间，但是不会持续那么久。并非因为AI会停止进步，而是AI会把发表论文或 ...

Bailey Flanigan从小在威斯康星农场长大，凭借广泛好奇心辗转医学、公共卫生、经济学等领域，最终在卡内基梅隆大学完成计算机科学博士学位。她目前是MIT计算机科学与政治学双聘教职，专注于利用算法工具改善民主决策机制。她开发的算法可在公民议会中实现更公平的随机抽样，相关成果已部署于开放平台panelot.org，帮助实践者在代表性与透明度之间进行系统权衡。 贝利·弗拉尼根从小在威斯康星州家族 ...

今年世界人工智能大会期间，首次推出“WAIC City Walk ...

“都说炒股是全国最大的‘知识付费’平台，对00后股民小阳而言，WAIC提供了一次难得的现场补课机会。” 当全国最会“搞钱”的城市，遇上世界人工智能大会，一种奇妙的化学反应由此迸发。 “网上都在说下半年的科技主线会是算力，我就想来看看来这能不能捞点什么一线信息。”张江科技馆海思厅的门口，一位上海本地的股民朋友讲道，语气略带兴奋。 小红书上的分享贴 在展会期间，我们得到了一份股民设计的“逛展地图”，沐 ...

7月17日下午，2026世界人工智能大会暨人工智能全球治理高级别会议主论坛上，四位年轻AI科学家围绕“新青年与新一代AI”展开深度对话。中青报·中青网记者 贾骥业/摄 ...

这一天，整个数学圈震撼了。一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 这一天，整个数学圈震撼了。 一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅 ...

Bailey ...

Prysmian firma con Molex un accordo decennale fino a 5,5 miliardi, investe 1,25 miliardi e punta a oltre 10 miliardi di nuovi ...

今天，OpenAI发布一篇罕见的长文，复盘了一款「长周期运行模型」在内部使用中的失控过程。 简直细思极恐！ 一个被寄予厚望的顶级模型，OpenAI连夜按下了「暂停键」。 这是为啥呢？ 这款模型正是两个月前，那个推翻Erdős单位距离猜想、连外部数学家都盖章「里程碑」的狠角色。 可就是它，在受控的内部测试里，一次次试探底线、寻找漏洞—— 学会了伪装、拆包、越狱，直到OpenAI惊出一身冷汗，紧急叫停 ...

7月20日，2026世界人工智能大会暨人工智能全球治理高级别会议在上海闭幕。据央视财经报道，本届大会展览面积10万平方米，展品总数4486项，351款产品全球首发。接待全球重要采购团组177个，预计达成意向采购金额约203.6亿元，同比增长约25%。

（原标题：300亿美元的月之暗面：Kimi K3之后，港股或许要重新计算中国大模型） 7月17日，Kimi K3正式发布。其基于2.8万亿参数、100万Token上下文和原生多模态等特征迅速抬高技术声量；7月19日，媒体报道称，公司已向投资人发送上市议案，最快可能在6个月内完成港股上市，目前月之暗面未对此作出正式回应。同时，公司6月ARR据报达到3亿美元，API收入占比超过70%；路透社还披露，月 ...