新闻首页 / “2023年11月20日”的新闻
20
0
数学家发现第九个Dedekind数
在历尽逾三十年的搜索之后,在超级计算机的帮助下,数学家发现了第九个 Dedekind 数。 Dedekind 数由德国数学家 Richard Dedekind 在 1897 年定义,其核心是布尔函数(即其值为 false 或 true),它是将 n 个布尔变量作为输入,生成另一个布尔变量作为输出的函
1
Inkscape 庆祝诞生 20 周年
自由软件向量图形编辑器 Inkscape 项目释出了 v1.3.1,修复了逾 70 个 bug,其中逾 30 个是崩溃或挂起 bug。释出该版本是为了庆祝项目诞生二十周年。Inkscape 项目诞生于 2003 年,2020 年发布了 1.0 版本。而 Inkscape 项目是另一个最早发布于 20
0
普林斯顿开源34B数学大模型:性能媲美谷歌Minerva,参数少一半!550亿token专业数据训练
新智元报道 编辑:青荻润 在数学领域,一个全新的时代即将到来。LLEMMA,一个强大的数学专用语言模型,正在带来革命性的性能、数据集和解决方案。它不仅超越了现有开源模型,还为数学研究者们提供了开放的共享和合作机会。让我们一起探索这个数学界的巨大突破。 数学,作为科学的基石,一直以来都是研究和创新的关
0
ChatGPT代码生成飙升10%!北大华人一作:细化prompt,大幅改进大模型代码能力
新智元报道 编辑:桃子 大模型代码生成能力如何,还得看你的「需求表达」好不好。 在大模型时代,高质量的代码生成已经强大到,让人惊叹。 从通过 HumEval 中 67% 测试的 GPT-4,到近来各种开源大模型,比如 CodeLlama,有望成为码农编码利器。 然而,现实中,程序员们不会精炼表达需求