在这个科技与教育紧密相连的时代,鹤山市温雷英名教师工作室的部分成员于2024年5月19日参与了一场别开生面的研讨会——“人工智能赋能数学项目式学习研讨会”。该研讨会由北京师范大学大中小数学国家教材建设重点研究基地、腾讯微信主办,广州市第九十七中承办。
“人工智能已经能够推导公式了,也许过不了两年,世界奥林匹克数学竞赛中,机器就能超越人了。”2024两会期间,中国科学院院士、上海市政协委员、上海科技大学党委书记李儒新接受记者采访时说,美国有个华人数学家陶哲轩,在2023年就不断用AI工具进行数学研究。
“深度思维”团队利用大语言模型(LLM)对一个著名的数学问题提出了“新见解”,并通过系统的、迭代的评估框架确保其正确。这一研究或可改进LLM用来解决问题和学习新知识的途径。相关论文发表在14日的《自然》杂志上。
中新网北京1月18日电 (记者 孙自法)国际著名学术期刊《自然》最新发表一篇计算机科学论文称,研究人员开发出一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统,表现超过了之前最好的自动化定理证明系统。
9月21日,松鼠Ai发起吉尼斯世界纪录™挑战,以成功组织112718名学生荣获24小时内学习线上数学课程人数最多的吉尼斯世界纪录成就。松鼠Ai挑战成功,斩获人工智能在线数学课程参加人数世界第一,成为吉尼斯世界纪录的新纪录称号保持者。