周末窝在家，随手从书架上抽出两本书。一本是美国数学家Uta C. Merzbach和Carl B. Boyer合著的《A History of Mathematics》（数学史），另一本是美国田纳西州作家Stephen Ornes写的《Math ...

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

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