今年有另一场更值得关注的数学竞赛
AlphaProof是用于形式化数学推理的系统,结合了预训练的语言模型和AlphaZero强化学习算法,也就是之前自学掌握了国际象棋、将棋和围棋的算法。它在Lean中训练自己证明数学陈述,并通过自动将自然语言陈述翻译成形式化的数学语言陈述,创建了一个不同难度的形式化问题库。AlphaProof通过在Lean中搜索可能的证明步骤来生成候选解决...
特稿|拓宽人生的盲道:盲人研究生“跨界”故事
在他看来,这是最优美的数学公式之一,将最重要的几个常数联系在一起。而他喜欢微分几何,既是因为对其中的重要问题有探索欲,也是受过往数学家的影响,像中国数学家陈省身,就是20世纪最重要的微分几何大师。本科期间,昂子喻将微信头像换成了欧拉公式,这是最美的数学公式之一,而此前的微信头像都是随便找的图片。...
链接世界——中国第一条互联网专线开通的前前后后
据中科院办公厅原副主任柳怀祖先生记述:1986年8月25日,高能所研究员吴为民,通过一条辗转的远程拨号线,登录欧洲核子研究中心的电脑,发出了一封电子邮件。这封电子邮件,与1987年王运丰等人发送的“跨越长城,走向世界”那封邮件一样,都是中国上网“史前史”上最早的标志性事件。跨越长城,中国通过电子邮件走向了网络世界...
人人都用的www,源于高能所,李政道竟是中国互联网诞生的关键推手
据中国科学院办公厅原副主任柳怀祖先生记述:1986年8月25日,高能所研究员吴为民,通过一条辗转的远程拨号线,登录欧洲核子研究中心的电脑,发出了一封电子邮件。这封电子邮件,与1987年王运丰等人发送的“跨越长城,走向世界”那封邮件一样,都是中国上网“史前史”上最早的标志性事件。跨越长城,中国通过电子邮件走向了网...
新教材改版后,这个超好用的理科学习神器,我决定安利给你
五年级下册目录洋葱的目录也是完全匹配新教材内容的。洋葱学园五年级下册数学目录洋葱使用的教材虽然跟校内教材是同步的,但是这两者怎样学是完全不一样的,并不是在同一维度上的。我们来看一下,如果要让孩子预习小学五年级下册第三章《长方体和正方体的表面积》,孩子会看到什么?
口述历史变迁,百姓借改革开放东风,改写命运奔小康
第一章被点燃的人生恢复高考,我的人生转折点孙宝寰实行改革开放,给中国带来了翻天覆地的变化,取得了令国人自豪、令世界惊叹和瞩目的辉煌成就(www.e993.com)2024年10月25日。作为一个年过半百的人,经历过这段影响中国人命运的特殊历史时期,回顾往事,感慨颇多。初一文化十年农龄的大专学生轰轰烈烈的“文化大革命”开始之时,我正读初一。那...
“高考钉子户”第16次高考,自称发挥不好,用数学模型分析分数
2013年,唐尚珺第五次参加高考,此番他终于收获了回报,成绩超过一本线达530分。按照学校的规定,他复读不仅能免除学杂费,学校每月还给他额外补贴400元。解决了生活问题,又收获了理想的成绩,唐尚珺突然觉得距离幼年时的梦想,也并不是那么遥不可及。这年暑假,他用自己积攒下来的生活费去了趟北京,既见识到了北京...
数学丨2024年高考数学新课标Ⅰ卷、Ⅱ卷评析——新试卷 新结构 新...
数学作为一门重要的基础学科,也是唯一一门理科性质的全国统考科目,2024年教育部教育考试院共命制全国甲卷文理科、新课标Ⅰ卷、新课标Ⅱ卷共4套高考数学试卷。高考前,有很多省份不清楚具体使用哪套高考数学试卷,网上就流传的了错误版本,很多人也转发了这个错误版本,导致很多误解!虽然九省联考已经释放很多信号,但是个别...
1977年高考,我们考进南京大学数学系,回忆当年的“神仙打架”
这两个专业加起来有五十三名学生,是数学系正式招进的第一批新生;还有春季学期开学一个多月后,通过扩招从来自本省的落选考生中招进的第二批学生;剩下的约一百五十名是江苏省电子工业局招进的“电子班”学生,其中一百名全部是来自南京的走读生,另外的五十名在常州组成了一个班,学制都是本科,南京大学前任校长、中国...
中科大少年班又开班了,他们真有“神童”光环吗?
至于为什么要报考少年班,刘尧幽默地表示:“主要考虑到可以不用再经过高中三年的学习。”他告诉记者,高中数学和英语知识基本上都掌握了,语文的知识稍微少一点,但是对后面的发展影响不算太大,如果直接去少年班读大学,可以节省一些时间。谈及今后的规划,刘尧表示还没有决定好,他主要对数学和物理感兴趣,中科大的优势是...