11.11云上盛惠!海量产品 · 轻松上云!云服务器首年1.8折起,买1年送3个月!超值优惠,性能稳定,让您的云端之旅更加畅享。快来腾讯云选购吧!
今天是3月14日,也是圆周率日”是国际数学日”,目前3.14是圆周率最常用的近似值之一,利用超级计算机,现在可将圆周率计算到小数点后62.8万亿位。今天数学浓度太高了。2021年8月17日,瑞士研究人员使用一台超级计算机历时108天将圆周率计算到小数点后62.8万亿位,创下该常数迄今最精确值纪录。
大家都被这条消息吓到了:传说Grok3已经成功证明出黎曼猜想?!虽然这是在玩梗,但还是让我们来仔细剖析下,目前的AI距离千禧年数学难题,究竟还有多远。竟被Grok3「证明」了?为此,xAI暂停了Grok3的训练来验证它的证明,如果结果是正确的,将会完全终止模型的训练。这个规模已经扩展到了20万台,再给一点时间,说不定Grok3真能出奇迹。
【新智元导读】I/O大会上,谷歌Gemini1.5Pro一系列更新让开发者们再次沸腾。最新技术报告中,最引人注目的一点是,数学专业版1.5Pro性能碾压GPT-4Turbo、Claude3Opus,成为全球最强的数学模型。对于GPT-4Turbo来说,随着提供的图像增多,其准确性反下降更多细节参见最新技术报告。
7 月 12 日,第 64 届国际数学奥林匹克竞赛(IMO2023)在日本落下帷幕,来自中国的 6 名选手全员获得金 牌,中国队以 240 分的总分实现团体总分五连冠。其中,来自猿辅导的王淳稷、孙启傲为中国队斩获 2 枚金 牌,王淳稷更是以满分拿下个人排名世界第一。据了解,国际数学奥林匹克竞赛是面向全球中学生级别最高、规模最大、最具影响力的数学竞赛,是世界数学精神的卓越�
随着ChatGPT的问世引爆了AI领域翻天覆地的变化数学家竟被OpenAI的一篇最新研究列为最容易被ChatGPT抢饭碗的职业”。著名数学家丘成桐最近在接受采访时表示,人工智能不会取代数学家,因为创造力并不是人工智能能做到的,尤其是观念上的创造。”他强调,人工智能的局限性在于它目前来说还只能把很多现有的资料整合起来,融会贯通,但是很难形成科学观念上的突破,这意味着人工智能还无法像人那样有原创性的思考。
在12日于日本千叶县结束的第64届国际数学奥林匹克竞赛中,来自中国的6名选手全员获得金牌,中国队以240分的总分实现团体总分五连冠。中国队在本届比赛中的6名选手全部获得金牌,其中包括来自湖南师大附中的梁行健同学,湖南师大附中数学竞赛组共获得国际金牌9枚,国际银牌4枚,第14次入选中国数学代表队。对于中国对五连冠的成绩,不少国外选手表示,这是实力的体现,自己也都尽力了,确实太强了。
ChatGPT的火爆不仅让很多人相信AI会取代人类工作,甚至还会对人类经济、社会产生重大影响,不过在数学家丘成桐看来,AI取代人类的大部分言论都是危言耸听,不可能对最尖端的数学家有任何影响。丘成桐是首个华人菲尔兹奖获得者,被称为数学之王”,去年已经从哈佛大学退休,回到清华大学全职工作,担任讲席教授。”丘成桐对记者表示,至少未来十年我看不到人工智能对人类社会产生的实质性的改变,也就是改变整个社会的结构。
声明:本文来自于微信公众号 刺猬公社,作者:佳璇,授权站长之家转载发布。“关于论文里很多参数都是取 log D的固定幂次,是不是为了凑2022这个数的问题,从Landau-Siegel零点本身来讲应该是 log D的一个幂次他们猜想的实际上应该是负一次方,我这个方法应该能得到负几百……”这段话节选自华裔数学家张益唐在知乎上的“亲自答”。在这一点上,知乎不可替代。
数学家张益唐频上热搜。他在最新论文中表示已本质上了证明了朗道-西格尔零点猜想,这是百年数学大难题黎曼猜想的一种弱形式。张益唐现在美国加州大学圣巴巴拉分校数学系教授担任北京大学闵嗣鹤数论研究中心名誉主任、北京大学客座讲席教授,山东大学潘承洞数学研究所所长等。
10月中旬,我国数学家张益唐宣布,已经攻克了朗道-西格尔零点猜想(Landau-Siegel Zeros Conjecture)。这是黎曼猜想的一种弱形式,而黎曼猜想是160多年来的一大数学难题。此事迅速引发极为广泛的关注和讨论,张益唐本人也在知乎帖子中解读了多个涉及其有关朗道-西格尔零点猜想的学术问题,并大方地谈起了个人生活。他透露,自己有个9岁的小孙女,上二年级时就特别喜欢数学,还报了电脑编程班,班里都是高中生,她是最小的,当时甚至连乘法都还不会。孙女现在上到了四年级,表现出了明显的数学天赋,已经被学校选到了数学天才班,还说要替