标签：数学

新智元报道编辑：LRS【新智元导读】数学通才「猛犸」模型给开源语言模型带来了「推理春天」，面对GPT-4都有一战之力！数学推理问题是语言模型绕不过的痛点，...

大数据文摘出品昨日，2023阿里全球数学竞赛公布了获奖名单，其中4位同学获得金奖，分别是：瞿霄宇（北京大学）、李一笑（北京大学）、郝天泽（北京大学）、张...

杨净 发自 北大量子位 | 公众号 QbitAI刚刚，在中国最高学府，又一场全球数学狂欢落下帷幕。经过5个月赛程，阿里数学竞赛最强四人名单出炉：他们平均年龄22岁...

最近，有一个新闻，大概是说一些机构的研究人员合作，通过“苏格拉底式”严格推理，成功让GPT-4得出了P≠NP的结论！这句话的表述就很“艺术”，让人很容易理解成为...

来源：幻风的AI之路人工智能（Artificial Intelligence，简称AI）正以惊人的速度改变着我们的生活。然而，要实现智能的机器，离不开数学的支持。本文将带你深...

来源：《改变世界的17个方程》作者：[英] 伊恩•斯图尔特译者：劳佳它告诉我们什么？它的外衣下就是牛顿第二运动定律。方程左侧是小流体区域的加速度。右侧是...

机器之心报道编辑：小舟数学研究工具可以随 AI 模型的进展更新一波了。几个月来，数学家陶哲轩多次尝试使用 ChatGPT 辅助解决数学问题，并与大家分享他的试验...

新智元报道编辑：Aeneas 好困【新智元导读】陶哲轩早就预言，2026年GPT能帮数学家合著论文。今天，GPT-4就帮他写出一段代码，直接节省了半小时的工作量。刚刚...