在人工智能领域，语言模型生成高质量文本的能力一直是研究焦点。近期，一项名为“探索性退火解码”的创新技术为这一领域带来突破性进展。这项由多所高校及研究机构联合提出的方法，通过模拟物理退火过程，首次系统性地解决了AI在强化学习中的探索与利用平衡难题，在数学推理任务中展现出显著优势。

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

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

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

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）数学奖。 发展中国家科学院是一家致力于支持发展中国家开展科研活动的国际著名学术机构 ...