AI大模型加速落地 “新蓝海”如何开拓

大模型技术在数学和逻辑推理方面有很大的潜力。通过处理和分析大量的数学和逻辑数据，大模型可以辅助自动化定理证明，提高证明过程的效率和准确性。例如，大模型可以辅助证明复杂的数学定理，帮助数学家解决一些长期未解的问题。此外，大模型还可以辅助自动化推理，例如在编程语言和形式化验证中的应用，从而提高软件开发和系...

看展深一度丨1688年,路易十四写下一封信

此时这六位数学家中的五位(张诚、白晋、李明、洪若瀚、刘应)已经携带着约30箱科学仪器和精美礼物抵达中国,正式搭建起早期中法两国文化交往的桥梁。路易十四写给康熙帝的信件及译文来自万里之外的五位"国王的数学家",让中法两国关系攀上前所未有的高峰这五位"国王的数学家"(注:清政府对他们的称呼)是来自耶稣...

...梵高|达芬奇|美术馆|肖像画|数学家|科学家|生物学家|列奥纳多...

这也是中国近现代艺术大家、美术教育家与美术史论家刘海粟先生(1896年-1994年)的首次书法大展,展览展出刘海粟的书法作品150多件,展出内容极其丰富,有擘窠大字,10多米巨画《清奇古怪》,也有信札、对联、小稿、手卷、诗词,以及画中题字等,主要来自刘海粟美术馆、南京艺术学院及社会收藏等。大圣遗音——古琴文化展(...

卡罗尔的《爱丽丝》:人生是一个白痴数学家笔下的胡话故事

《爱丽丝漫游奇境》与《镜中奇遇》是英国著名作家、逻辑学家与数学家刘易斯·卡罗尔创作的儿童文学经典,亦被认为是维多利亚时代胡话文学的典范之作。卡罗尔以丰富的想象力和孩子般的纯真之心,结合逻辑学家与数学家的奇思妙想,书写了爱丽丝的两段奇遇。马丁·加德纳五十多年来持续研究《爱丽丝漫游奇境》与《爱丽丝镜中...

来自白山黑水的红色记忆丨冯仲云:世间少了一名数学家 多了一位...

身为省主席的冯仲云此时又重新拿起了高等数学。有人回忆,曾几次到冯仲云家里,竟发现省主席正在全神贯注地演算数学题。历史的际遇让冯仲云这一次从一名抗日将领和高级干部成为了中国著名学府的校长。1949年3月,冯仲云兼任哈尔滨工业大学校长。在他建议下,中央决定把哈工大办成学习苏联的五年制理工科大学,并为全国理工科...

达·芬奇诞辰 | 画《蒙娜丽莎》的数学家

1452年的今天,达·芬奇出生于意大利芬奇镇(www.e993.com)2024年11月19日。几百年来,达·芬奇一直以其绘画等艺术作品而备受尊崇,但在达·芬奇自己看来,他觉得自己更像是一位科学家,而非艺术家。他总是用数学的眼光来看到世界上的一切事物,包括他的素描和绘画。早在少年时期,达·芬奇就已经显露出了超群的艺术天赋。14岁时,达·芬奇师从佛罗伦...

人物素描

王戍堂教授不平凡的事迹被中央电视台、央视新闻网、陕西广播电视台、陕西文明网、西部网、西安日报等媒体报道宣传。受感于王戍堂老先生的奉献精神,西北大学艺术学院邓益民教授特为王老先生创作写意水墨画——“著名数学家王戍堂教授画像”,此画像在中国国家博物馆永久收藏。(九三学社陕西省委会赵彩惠)...

艺术大师的素描: 达·芬奇 丢勒 伦勃朗 安格尔

达芬奇(LeonardodaVinci,1452年4月15日-1519年5月2日,白羊座),又译达文西,全名李奥纳多·迪·瑟皮耶罗·达芬奇,是一位意大利文艺复兴时期的多项领域博学者,其同时是建筑师、解剖学者、艺术家、工程师、数学家、发明家,他无穷的好奇与创意使得他成为文艺复兴时期典型的艺术家,而且也是历史上最著名的画家之一,整个...

师者 大爱——第二届“我心目中的好老师”素描

他说:“一切为了学生。”故事化的课堂让很多学生印象深刻,他们说:“这些故事让我们对柯西、拉格朗日、泰勒等著名数学家有了更深刻的了解。尹老师课讲得非常透彻,通俗易懂,对于我们刚上大学的本科生有很大的帮助。”“课讲得很棒、很细,学生听着舒服,还有每堂课的数学家故事让我长了很多见识,现在对数学越来越有...

数学家之路

数学家之路■特约主持人开场语苟天林(本报总编辑):各位老师、各位同学、同志们,今天,我们非常荣幸地请来了世界著名数学家丘成桐教授。首先我们对丘教授作出的杰出科学贡献表示敬意和祝贺,热烈欢迎丘教授一行到光明讲坛讲学(长时间掌声)。我们知道,丘教授初学广东,学成香港,成就世界,是国际数学界公认的“近四分之...