程新跃, 冯娅璐本文利用测地极坐标引进了芬斯勒几何中的积分加权Ricci曲率, 深入研究了积分加权Ricci曲率有界的芬斯勒度量测度流形的几何与拓扑性质.黎曼流形上积分曲率的概念自然地产生和发展于关于许多重要问题的研究. 1988年, ...

国庆假期，创投圈被一则融资消息彻底点燃：由潮汕00后天才少女洪乐潼创办的Axiom Math正式完成首轮约4.6亿人民币融资，公司投后估值达20亿人民币。

今年上半年，通过给艾文不停试课，终于选了Spark Math新加坡数学课。选它的原因，刚开始是因为同学家长说，新加坡数学的教学方法 有趣又能拿分，而且可以全英上课，跟他现在学的内容有衔接，对他帮助更大。

最近这段时间，华人学者在数学四大顶刊之一的《Annals of Mathematics》（数学年刊）上接受和正式发表了好几篇文章了。这不，就在前两天，由普林斯顿大学出版社发行的《Annals of Mathematics》（双月刊）更新了本年度第六期 ...

上海人工智能实验室联合上海交通大学、苏州大学的研究团队，在人工智能训练领域取得突破性进展。他们提出的Caco方法通过引入代码验证机制，为AI数学推理训练开辟了新路径。这项成果已发表于arXiv预印本平台，论文编号arXiv:2510.04081v1，为提升AI逻辑推理能力提供了全新解决方案。

IT之家9 月 22 日消息，Meta 现已公布了 MobileLLM-R1 系列小语言模型，分别提供 1.4 亿、3.6 亿和 9.5 亿不同参数版本，强调能够在本地移动平台等轻量级设备上运行。 Meta 表示，MobileLLM-R1 并不是面向聊天机器人的通用模型，而是经过监督式微调（SFT）专门训练，主要 ...

编者按：近年来，人工智能在语言处理、视觉生成等领域的表现令人惊叹，但在复杂的数学推理任务上仍面临挑战。微软亚洲研究院推出的新算法 rStar-Math，通过引入类似人类系统的慢思考和推理思维，显著提升了小语言模型（SLMs）的数学推理能力。rStar-Math ...

IT之家3 月 6 日消息，“零一万物 01AI”官方公众号今晚发文宣布开源 Yi-9B 模型，官方称其为 Yi 系列模型中的“理科状元”——Yi-9B 是目前 Yi 系列模型中代码和数学能力最强的模型，实际参数为 8.8B，默认上下文长度为 4K tokens。 该模型是在 Yi-6B （使用了 3.1T ...

南开新闻网讯（通讯员 李红琴 记者 郝静秋）日前，南开大学陈省身数学研究所教授尤建功因其对动力系统的重要贡献，获得2024年度发展中国家科学院（英文简称TWAS）数学奖。 发展中国家科学院是一家致力于支持发展中国家开展科研活动的国际著名学术机构 ...