-
寻找新支点,中国大模型出了篇顶会最佳论文丨科创要闻
礼来24亿美元收购DICE,英特尔为IMS引入贝恩资本,亚马逊投入1亿美元成立生成式AI创新中心,巨头们通过投资并购不断强化自身业务布局。铃木汽车与SkyDrive合作造飞行汽车,富士康造汽车芯片,腾讯首次披露行业大模型进展,曾经的成功者也在不断寻找新支点。 -
巴塘鹦哥嘴,铭记百年康藏变革
有人说,近代康巴藏区的历史大书里,有半部是在巴塘写的。清末边官赵尔丰在藏区实行改土归流,就是从巴塘“开刀”的;而弥漫血腥气息的“改土归流”,从巴塘鹦哥嘴石刻群得到珍贵的实物印证。 -
用足球而非篮球的思维做教育
在2019年的一次教育会议上,我听到《异数》(Outlier)等畅销书的作者迈尔康姆·格莱德维尔(Malcolm Gladwell)的演讲。演讲中他嘲笑了那些给哈佛等著名商学院捐款的所谓慈善家,说常青藤大学外加斯坦福,每个学校的发展基金,分摊在每个学生头上高达140万美元,为什么慈善家凑这热闹? -
康达尔门口的“陌生人”
“需要握手言和的是敌人,而不是朋友”。 -
多少人把自己活成了表情包
表情包还一直承担着“黑”的功效。攫取电影、电视剧中的片段画面,这些画面往往表现夸张,再搭配以生动的文字。比如尔康的鼻孔、雪姨的眼睛、可云的抱头等。 -
美对华8年维生素C反垄断案终审 华北制药被判赔9亿
长达8年的维生素C国际诉讼案,终审以4家中国被告公司3家庭外和解、1家公司败诉收场。美国纽约东区联邦地区法院近日裁决,判定被告华北制药下属河北维尔康制药有限公司败诉,赔偿1.53亿美元。此前,另外三家被告已选择和解,支付了约3400万美元的赔偿金。 -
【专栏】康托尔、哥德尔、图灵(13)
丘齐的lambda calculus其实就是数学推理系统的一个形式化。而图灵机则是把这个数学概念物理化了。而也正因为图灵机的概念隐含了实际的物理实现,所以冯•诺依曼才据此提出了奠定现代计算机体系结构的冯•诺依曼体系结构,其遵循的,正是图灵机的概念。 -
【专栏】康托尔、哥德尔、图灵(12)
当初康托尔在思考无穷集合的时候发现可以称“一切集合的集合”,这样一个集合由于它本身也是一个集合,所以它就属于它自身。也就是说,我们现在可以称世界上存在一类属于自己的集合,除此之外当然就是不属于自己的集合了。 -
【专栏】康托尔、哥德尔、图灵(11)
对角线方法能够揭示出某种自指结构,从而构造出一个“悖论图灵机”。实际上,对角线方法是一种有深远影响的方法,哥德尔的证明其实也是这个方法的一则应用。 -
【专栏】康托尔、哥德尔、图灵(10)
“大道至简”这个名词或许更多出现在文学和哲学里面,一般用在一些模模糊糊玄玄乎乎的哲学观点上。然而,用在这里,数学上,这个名词才终于适得其所。大道至简,看上去最复杂的理论其实建立在一个最简单最纯粹的道理之上。