首页
学习
活动
专区
工具
TVP
发布

#数学

大模型版“5年高考3年模拟”来了!6141道数学题,还是多模态的那种|微软&UCLA&UW联合出品

量子位

微软、加州大学洛杉矶分校(UCLA)、华盛顿大学(UW)联合打造全新多模态数学推理基准数据集。

900

顶会最佳论文覆灭科学家们30多年期待:复杂度远超预期

量子位

在我们的生活中,例如股票市场的即时交易分析,还有导航路径的实时规划,都有在线算法的身影。

1200

国产720亿参数开源免费模型来了!对标Llama2 70B,一手实测在此

量子位

此番登场,这个代号为Qwen-72B的模型在10个权威基准评测中刷新开源模型最优成绩。

2100

牛顿运动定律的谜团(一)——我陷入了思考的困境

magic2728

一个平常去上班的早晨,我像往常一样在公交车上一边刷着抖音,一边脑海里的思绪则做着布朗运动,尝试碰撞一些灵感的火花。

4510

python 实现 AIGC 大语言模型中的概率论:生日相同问题的代码场景模拟

望月从良

对深度学习本质而言,它实际上就是应用复杂的数学模型对输入数据进行建模,最后使用训练好的模型来预测或生成新的数据,因此深度学习的技术本质其实就是数学。随着大语言模...

3710

用Python来解一元二次方程

算法与编程之美

解一元二次方程是高中数学中的重要内容,也是数学中的基础知识之一。在Python语言中,我们可以使用数学库中的函数来解一元二次方程。一元二次方程的一般形式为:ax...

8810

OpenAI最强竞品训练AI拆解LLM黑箱,意外窥见大模型「灵魂」

新智元

首先,为什么会有一个数学术语中「the」的特定特征?这很可能是由于AI的预测需求——知道某些特定的「the」之后应该会跟随一些数学词汇,比如「numerator...

5810

范畴论与机器学习

用户1908973

Category theory has been finding increasing applications in machine learning. Th...

4910

【MYSQL】表的基本查询

青衫哥

主键 或者 唯一键 没有冲突,则直接插入; 主键 或者 唯一键 如果冲突,则删除后再插入

9310

加工中心编程问题及应对

lrglu

数控编程、车铣复合、普车加工、Mastercam、行业前沿、机械视频,生产工艺、加工中心、模具、数控等前沿资讯在这里等你哦

10110

陶哲轩支持!AI奥林匹克数学奖来了,奖金500万美元,寻找能得IMO金牌的大模型

量子位

IMO的题目一般分为代数、几何、数论和组合数学四大类,不需要高等数学知识,但需要参赛者有正确的思维方式和数学素养。

14810

贝叶斯主义的胜利

统计学家

贝叶斯定理一旦与算法相结合,就不再是一套枯燥的数学理论或认识论,而变成了应用广泛的知识宝库,催生了众多现代数学定理,以及令人称道的实践成果。在瑞士洛...

6810

田渊栋给OpenAI神秘Q*项目泼冷水:合成数据不是AGI救星,能力仅限简单数学题

新智元

萨里人类中心AI研究所的所长Andrew Rogoyski表示,现在已有的大模型,都可以做本科水平的数学题,但一旦遇到更高级的数学题,它们就全部折戟了。

16310

OpenAI神秘Q*毁灭人类?爆火「Q*假说」竟牵出世界模型,全网AI大佬长文热议

新智元

(a)每个数学问题都有一个已知答案,OpenAI可能已经从现有的数学考试或竞赛中收集了大量的数据。

16310

物理学家证明人类生活在「矩阵」之中?宇宙是「模拟系统」,多系统证实信息演化趋向稳定

新智元

【新智元导读】物理学家Melvin Vopson在数字信息、遗传信息、原子物理学、数学对称性中适用自己提出的信息动力学第二定律,进一步证实了「物理世界是一个模拟...

9610

比「让我们一步一步思考」这句咒语还管用,提示工程正在被改进

机器之心

此外,由于提示工程可以看作是一个优化问题,通过从常见的优化概念中汲取灵感,如批处理大小、步长和动量,并将它们的口头表达引入到元提示中。并且两个数学推理数据集,M...

12010

用python解决线性规划最优化问题

算法与编程之美

运用python来解决数学问题可以提高我们的能力和对知识的运用,但目前通过python来解决此类问题只能停留在最基本的层面上,要想深入解决此类问题,则要通过后续...

9010

Wolfram Mathematica 13怎么激活?Mathematica13永久密钥 附中文版详细安装教程

子谦大叔

总之,Wolfram Mathematica for Mac是一款功能强大的数学软件,提供了广泛的计算和数据分析功能。它的易用性和灵活性使其成为数学家、科学家、...

12610

OpenAI新模型曝重大飞跃:AGI雏形或威胁人类,也成Altman被解雇导火索!

新智元

因为巨大的算力支持,新模型可以解决某些数学问题。虽然只是可以在小学水平上做数学题,但通过这样的测试,让研究者对Q*的未来非常乐观。

11910

一封信导致Sam Altman被开除?神秘「Q*」项目曝光,进化令人震惊

机器之心

OpenAI 的「真还传」剧情昨天迎来了大结局。但今天,事件主角 Sam Altman 又上了热搜。

11410
领券