10月23日、25日,许嵩2026「安泊猜想」巡回演唱会于成都东安湖体育公园主体育场圆满举办。秋意微凉,现场热意却始终未退。数万名歌迷齐聚蓉城
日前,求是科技基金会官网发布2026年度“求是杰出科学家奖”的获奖名单,新晋菲尔兹奖得主王虹获得“求是杰出科学家奖”,另一位在数学领域获奖的是复旦大学上海数学中心的王国祯教授。 求是科技基金会官网截
10月6日,OpenAI(美国开放人工智能研究中心)一次性公开722篇由内部前沿模型生成的数学研究手稿,涉及372组数学问题,覆盖数论、几何等
日前,教育部有关负责人在国务院新闻办新闻发布会上透露,将打造好中小学生的社会实践大课堂,在全国推行每周至少半天校外实践教学,指导各地各校因地制
2026年,人工智能(AI)正在切实改变数学研究的运行方式。以往需要数学家数年乃至数十年攻坚的证明工作,如今可以由模型在短时间内批量生成。随
不久前,OpenAI在GitHub上一次性公开了722篇由内部AI模型生成的数学手稿,涉及372个成果组,涵盖数论、几何、代数、理论计算机科学
AI与数学家之间的大战升级了。 近日,美国OpenAI公司公开了由前沿模型产出的722篇数学手稿,归为372组数学研究成果,覆盖数论、几何等诸
AI(人工智能)时代,机遇与挑战并存。昨天,丘成桐数学与人工智能实验室联盟在清华大学成立,将向数学科学专用大模型研发、AI辅助数学形式化证明与
展览:了不起的汉字——古文字与中华文明传承发展工程“十四五”成果展 展期:展至2026年10月 地点:中国国家博物馆 汉字是世界上唯一数千年来
迷路的“南瓜小姐”带来了思考,关于失去,关于我们如何与那些终将逝去的东西相处。南瓜小姐是谁?她是作者在贵州侗寨偶然遇见的一只南瓜,卡在河堤上,