上海交大特聘教授王维克:数学家该如何让更多人爱上数学

从中国上海到美国旧金山,内行的人都知道,在这个地球仪上测量距离是不能画直线的,要画大圆(或者称测地线),即过这两点和球心的一个平面与球面的截线。因为画直线会带来一个风险,那就是你要从海底穿过,甚至穿过地心,而这可能比宇航员上天还更难一些。再比如,假设你在电影院里的位置是第一排第三号,第一排第三...

陶哲轩联手60多位数学家出题,世界顶尖模型通过率仅2%!专家级数学...

而数百道题目皆为如此,所以FrontierMath足以作为一个标杆性的数学基准,去检验AI模型是否具备了真正的复杂逻辑推理能力。参考资料:httpsx/EpochAIResearch/status/1854996368814936250httpsx/karpathy/status/1855659091877937385httpsepochai/frontiermath/the-benchmarkhttpsepochai/...

【招商策略】Meta发布最强开源大模型,以旧换新政策超预期——全球...

菲尔兹奖(数学家的最高荣誉之一)的许多获奖者都曾代表他们的国家参加IMO。最近,一年一度的IMO竞赛也被广泛认为是机器学习领域的重大挑战,也是衡量人工智能系统高级数学推理能力的理想基准。Google用于参赛的两个模型分别擅长不同的领域。AlphaProof是一个系统,它训练自己用形式语言Lean来证明数学陈述。它将预训练的语言...

校考必备|2023年往届校考院校考题汇总

1.选取素描及线描画面中其中1个人物头像进行色彩小稿绘制;2.颜料(水粉、水彩、丙烯均可)2023年中国传媒大学考题美术与设计类科目:戏剧影视美术初试:文史哲二试:以“往事如歌”为题创作一幅色彩场景,8k两小时,横构图。三试:女老年头像素描默写《三体》中叶文洁的文字描述,8k两小时十五分钟。面试:...

成就未必在我,培养下一代数学家,专访中国科学院院士莫毅明

2022年,莫毅明获得未来科学大奖“数学与计算机科学奖”,这个奖项赋予在生命科学、数学、物理等基础研究领域做出原创性且产生巨大国际影响的科学家。莫毅明与合作者创立了VMRT理论,并用其解决了代数几何领域的一系列猜想。问答神州抓紧新闻关注度,直指热点问题,瞄准重量级人物,彰显主持及嘉宾个性的访谈,让全球聆听大中华...

谷歌数学版Gemini破解奥赛难题,堪比人类数学家

接下来,再看看横向对比,新升级的1.5Pro与GPT-4、Claude模型相较下的性能如何(www.e993.com)2024年11月19日。模型诊断能力改进如下展示的是,在2000个MRCR任务实例中,字符串相似度累积平均得分与上下文长度的函数关系。在与GPT-4Turbo和Claude2.1进行比较时,研究人员发现分别在8K和20K个词组之后,1.5Pro和1.5Flash的性能大大优于这两个...

数学家张益唐:论文已发表 我并没有推翻黎曼假设

《中国科学报》曾发文介绍称:该猜想与已经悬置160多年的著名数学难题“黎曼猜想”相关。简单说,如果存在朗道-西格尔零点,那么黎曼猜想就是错的;如果朗道-西格尔零点不存在,则不会和黎曼猜想发生冲突。但无论是哪种结果,都是数学史上里程碑式的事件。他的同事、数论学家Stopple曾说,“在某种意义上,(其概率)就像是...

数学家的这些兴奋点,你能理解吗?

数学是纯粹的,一道道简洁又从容的公式,就能表达出这种纯粹的逻辑之美,更让无数的数学家为之如痴如醉。中国科学院数学研究所博士生导师、研究员徐晓平将带领我们走进数学,领略数学之美。徐晓平中国科学院数学研究所博士生导师、研究员一提到数学,一般人都觉得太枯燥无味。但细细想、细细看,它又无处不在。今天...

西湖大学理论科学研究院成立,62岁数学家田刚任首任院长

9月25日,西湖大学官网宣布,此前一天的9月24日,西湖大学理论科学研究院正式成立,62岁的著名数学家田刚教授受聘为研究院首任院长。西湖大学校长施一公在成立仪式上表示,“像西湖大学这样小而精的大学,首先要做好理论研究。”他同时提到,学校自成立以来,在基础研究领域积极布局,已经开始取得了一些突破,产出了一些成果...

中国抛222亿美债,外资买人民币债券900亿!耶伦徒劳,中国获胜

中国抛222亿美债,外资买人民币债券900亿!耶伦徒劳,中国获胜,美债,中国,外资,数学家,美国国债,经济学家,财政部长,美国财政部,人民币债券,美国国防部,珍妮特·耶伦,美国银行业危机