36氪获悉，Kimi 正式发布新一代数学推理模型 k0-math。基准测试显示，Kimi k0-math 的数学能力可对标全球领先的 OpenAI o1 系列可公开使用的两个模型：o1-mini和o1-preview。在中考、高考、考研以及包含入门竞赛题的MATH等 4 个数学基准测试中，k0-math 初代模型成绩超过o1-mini和o1-preview模型。在两个难度更大的竞赛级别的数学题库 ...

本文作者之一的高紫阳，我们前段时间便介绍过。他2010年本科毕业于北京大学数学科学学院，2015年获法国巴黎十一大学和荷兰莱顿大学联合培养博士学位，导师为Emmanuel Ullmo和Bas ...

整理了高频核心函数 + 常量，从平方根、幂运算到三角函数全覆盖，代码示例直接复制就能跑，新手也能秒懂！ math.e/math.pi/math.tau：高精度常数直接调用，不用自己背数值 ...

提高全球对数学科学的认识，对于应对人工智能、气候变化、能源和可持续发展等领域的挑战，以及提升发达国家和发展中国家人民的生活质量，都至关重要。 联合国教科文组织通过其教育项目推动发展中国家获得数学教育和研究机会，同时还通过设在河内 ...