• 我的订阅
  • 头条热搜
学而思推出数学答疑原生AI工具九章随时问,“AI将重新定义教育行业”
6月11日,好未来官方公众号宣布,学而思九章大模型推出最新AI数学搜索答疑工具“九章随时问”,即日起免费开放使用。这款产品打破了以生成式AI技术为基础,通过启发引导的方式帮助学生解决数学难题,旨在培养学生的解...……更多
...网高考不仅仅是检测国内莘莘学子的一项重要考试,在大模型“百家争鸣”的今天,也是对国内AI大模型的一次考验。如果让大模型和国内学子同台竞技,做同一套高考真题试卷,结果会是怎样?大模型考上文科本科,豆包获国...……更多
人工智能数学基础:解锁智能世界的十大密钥
...积分,我们可以计算函数的梯度、极值等性质,从而优化模型的参数。而优化理论则提供了求解最优化问题的方法和工具。掌握这些知识将有助于我们设计和训练高效的机器学习模型。第五步:学习信息论与编码信息论是研究信...……更多
...日报在生活中,我们仔细观察,就会发现许许多多有趣的数学问题。今天,我就发现了一个大问题:一个很小的数可以变成一个非常大的数。下面就给大家举几个例子:比如说:水。要是每一个人节约一滴水,就一个中国来说将...……更多
本文转自:新华每日电讯如果把上海80%的大模型企业聚集到一起,会发生怎样的化学反应?记者近日来到上海专门为大模型企业打造的孵化和加速载体——“模速空间”,这里入驻了近70家大模型相关企业,正在用创新生态助力...……更多
数学因不严格的论证而得到丰富,很多命题建立在尚未证明的猜想上
...后面的著名论证作一个粗糙的描述。在统计物理中有一个模型,称为n 向量模型,它与临界现象的概率模型中的伊辛(Ising)模型和Potts模型有密切的关系。在Z^d的每一点上都给定一个R^n单位向量。这就给出了一个单位向量的随机...……更多
微软推出14b参数“最先进”小型语言模型
...13日消息,微软今天宣布推出14B参数“最先进”小型语言模型(SLM)Phi-4,除了传统的语言处理外,它还擅长数学等领域的复杂推理。Phi-4是Phi系列小型语言模型的最新成员,官方表示其展示了微软继续探索SLM边界的可能性。官方...……更多
联通元景大模型亮相2024年中国品牌日 打造产业智能化新范式
...参与中国品牌日活动,并在联通展馆精彩亮相联通元景大模型,充分展示大模型的核心能力及对各行业的颠覆性影响。能说、擅听、会看的联通元景大模型联通展台前热闹非凡,参观者络绎不绝。联通一位工作人员以实操+讲解的方...……更多
《红楼梦》里有大量东北方言?实测AI大模型“长文阅读”
...注?普通人可以用长文本做什么?效果如何?记者进行了实测。好比“内存”长文本其实并不稀奇200万字是什么概念?一本《红楼梦》大约70多万字,《沙丘》系列六部曲加一起也不过115万字。当大模型具有200万文字的长文本技...……更多
Llama版o1来了,来自上海AI Lab,强化学习代码已开源,
复刻OpenAI o1推理大模型,开源界传来最新进展:LLaMA版o1项目刚刚发布,来自上海AI Lab团队。简介中明确:使用了蒙特卡洛树搜索,Self-Play强化学习,PPO,以及AlphaGo Zero的双重策略范式(先验策略+价值评估)。在2024年6月,o1发...……更多
教师风采展丨齐鲁教育名家魏瑞霞:永远把根扎在小学数学课堂
...书育人的动人故事。治学严谨的魏瑞霞,深耕“小学数学模型思维教育”研究与实践30余年,探索出一条为“问题解决”而教,为小学生数学能力和数学素养的发展而研的教育之路。魏瑞霞带领团队依托山东省规划重点课题“小...……更多
DDD小传:领域驱动设计为什么这么火?
...你懂面向对象的设计方法;假如你能为业务概念构建领域模型,那么你就懂了面向对象的分析方法。面向对象的分析、设计、编码三种方法融会贯通,成为一个有机的整体,这个叫面向对象的方法学。我们发现,很多小伙伴都能...……更多
RTX 4090可跑、完全开源,最快视频生成模型问世,实测一言难尽
开源 AI 视频社区又一个重量级选手下场。这个周末,押注开源人工智能视频的初创公司 Lightricks,有了重大动作。该公司推出了最快的视频生成模型 LTX-Video,它是首个可以实时生成高质量视频的 DiT 视频生成模型。在一块 Nvidia ...……更多
LLM数学性能暴涨168%,微软14人团队力作!合成数据2.0秘诀曝光,智能体生成教学
...动创建大量、多样化的合成数据。经过合成数据微调后的模型Orca-3,在多项基准上刷新了SOTA。全世界高质量数据几乎枯竭。AI科学家们为了解决这一难题,可谓是绞尽脑汁。目前来看,合成数据或许就是大模型的未来,也成为业...……更多
猿辅导竟然是一家AI公司?大模型全家桶曝光
...北京”公布人工智能备案新进展,其中猿辅导旗下看云大模型(以下简称“猿辅导看云大模型”)正式通过大模型备案。对比同批次公布进展的小米、快手、腾讯、爱奇艺、高德等企业来说,猿辅导的身影着实有些令人意外。毕...……更多
以研促教 创新发展
...中老师蒋香玲展示了数学建模课例《匀速圆周运动的数学模型》,以精心设计的问题为导引,借助信息技术,探索研究得出匀速圆周运动的数学模型。柳高老师叶瀚文展示数学建模课例《海水潮汐与港口水深问题》,引导学生利...……更多
...软件编程,朱文婷擅长论文写作与排版,张耀华熟悉数学模型、具备较好的数学基础,3位同学各有所长,相互配合,越战越勇。暑假期间,指导老师刘桂东根据三人的特长,建议他们发挥优势,主攻数据处理类题目,利用暑期...……更多
2022生成模型进展有多快,新论文盘点9类生成模型代表作
ChatGPT的出现,彻底将生成AI推向爆发。但别忘了,AI生成模型可不止ChatGPT一个,光是基于文本输入的就有7种——图像、视频、代码、3D模型、音频、文本、科学知识……尤其2022年,效果好的AI生成模型层出不穷,又以OpenAI、Meta...……更多
思维链让大模型推理更准确?谷歌早于OpenAI押中o1模型核心原理
几天前 OpenAI 新模型 o1 的发布,再次引发了人们对大语言模型的高度关注和讨论。而 o1 发布之所以如此“轰动”,是因为它与此前大模型由语言驱动用于聊天或语音助手有本质的不同。其不仅进入到复杂的领域,还表现出超强...……更多
openaio1系列模型开放访问权限
9月22日消息,OpenAI公司旗下首款具备“推理”能力的模型o1和o1-mini现已向企业版(Enterprise)和教育版(Edu)用户开放访问权限,用户每周最多可输入50条消息。据介绍,OpenAIo1系列模型具有更高的理解能力,与传统模型不同,o1...……更多
OpenAI 再成“榜一大哥”:o1-preview AI 模型驾驭数学等任务
...聊天机器人竞技场(Chatbot Arena)上,OpenAI 的新人工智能模型 o1-preview 和 o1-mini 问鼎榜首。聊天机器人竞技场简介聊天机器人竞技场是一个比较人工智能模型的平台,它利用 6000 多个社区评分对新的 OpenAI 系统进行了评估。结果...……更多
专注于推理的OpenAI“草莓”模型两周内发布?是人工智能下一重大突破
...二,据知名科技商业类媒体The Information援引多位测试过该模型的人士透露,站在时代风口浪尖的“AI宠儿”OpenAI计划在未来两周内发布名为“草莓”的最新人工智能产品,作为ChatGPT所提供服务的一部分。这比两周前传闻的“秋季...……更多
OpenAI超级对齐团队遗作:两个大模型博弈一番,输出更好懂了
如果 AI 模型给的答案一点也看不懂,你敢用吗?随着机器学习系统在更重要的领域得到应用,证明为什么我们可以信任它们的输出,并明确何时不应信任它们,变得越来越重要。获得对复杂系统输出结果信任的一个可行方法是...……更多
这才是真开源模型!公开后训练一切,性能超越Llama 3.1 Instruct
开源模型阵营又迎来一员猛将:Tülu 3。它来自艾伦人工智能研究所(Ai2),目前包含 8B 和 70B 两个版本(未来还会有 405B 版本),并且其性能超过了 Llama 3.1 Instruct 的相应版本!长达 73 的技术报告详细介绍了后训练的细节。在...……更多
清华提出CharacterGLM;DeepMind联创发全新一代大模型;大模型版“5年高考3年模拟”来了丨AI新零售早报
...技术优势:它支持智谱 AI、百川智能等国内领先的大语言模型,通过微调和优化提高模型的准确率和可读性,通过开放 API 接口支持个性化的数据应用搭建。(来源:“CSDN”微信公众号)《马斯克多次失手,OpenAI 异军突起,硅...……更多
o1金牌团队揭秘AI超越人类惊人时刻!22分完整版视频全公开
...时刻。在22分钟完整版采访视频中,他们分享了自己对新模型的思考,以及背后的开发故事。OpenAI o1团队采访的完整版视频,终于上线了!全程22分钟,o1研发团队在项目Bob McGrew组织下,一起分享了「啊哈」时刻。有的人提到,...……更多
港中文团队提出大模型元推理范式,革新大模型的评价体系
...院工作过一段时间。在 ChatGPT 面世以后,他意识到针对大模型的研究范式存在一定的不足,于是决定来到香港中文大学读博。图 | 曾忠燊(来源:曾忠燊)前不久,曾忠燊和所在团队提出一个全新评测范式。基于这一评测范式,...……更多
...相互作用提供了新视角。邬荣领介绍,本研究建立的超网模型能更有效地研究群落行为背后的物种间相互作用的拓扑结构和功能。此模型构建的超网的 GMLY 剖析可能成为解开极其复杂的群落(如肠道微生物群)的必要程序,为该...……更多
俄提出描述伤口愈合的数学模型
...自:科技日报俄罗斯秋明国立医科大学开发出了一种数学模型,可预测各种伤口上皮肤的恢复状态。研究人员认为,使用博弈论的数学表达式有助于最准确地考虑参与再生过程的每种物质的贡献。相关研究发表在出版物《乌拉尔...……更多
马斯克突然发布Grok-2!数学推理能力突出,攻克“9.9与9.11比大小”经典难题
...北京时间8月14日下午,xAI正式官宣Grok-2和Grok-2 mini两款AI模型(测试版)。xAI直接揭秘,前一阵子出现在Lmsys大模型竞技场上的神秘模型“sus-column-r”就是Grok-2。在xAI给出的大模型排行榜中,Grok-2的评分优于GPT-4o-mini和Claud……更多
更多关于科技的资讯:
河北日报讯(见习记者康晓博)12月19日,中国气象局在雄安新区发布气象人工智能科学模型“风源”(以下简称“风源”)。该模型将通过提供开源开放科创平台底座
2025-12-20 08:21:00
2025年,港交所成为中国机器人企业的上市“热土”。据不完全统计,年初至今,超30家机器人相关企业向港交所递交申请表,业务范围覆盖核心零部件
2025-12-20 08:23:00
鲁网12月19日讯为加快数字人民币业务拓展,提升数字钱包渗透率,抢占支付市场与同业市场,工商银行泰安分行精心组织、强力推进数字人民币单位钱包拓展工作
2025-12-20 09:07:00
中国科大提出视觉与波动特征融合的异常检测框架
大皖新闻讯 城市地面下的空洞、裂缝和其他隐蔽灾害如若未被及时发现,会存在一定的安全隐患。12月20日,大皖新闻记者从中国科学技术大学获悉
2025-12-20 11:05:00
12月15日,工信部正式公布我国首批L3级有条件自动驾驶车型准入许可,两款分别面向城市拥堵场景和高速公路场景的车型将在北京
2025-12-20 12:13:00
鲁网12月20日讯为进一步提高服务水平,提升业务竞争力,莱芜农商银行高新区公司业务营销中心优化办贷流程,坚持“我们多跑趟
2025-12-20 15:11:00
这支年轻团队在合肥逐梦星辰 致力打造国内首款电循环液体运载火箭
大皖新闻讯 几天前,关于合肥要造火箭的消息引发外界广泛关注,背后则是合肥星火空间科技有限公司(以下简称星火空间)落户合肥新站高新区
2025-12-20 15:13:00
莱芜农商银行钢城区公司业务营销中心:提升厅堂质效 强化精准赋能
鲁网12月20日讯为进一步深化“以客户为中心”的服务理念,提升金融产品渗透率与客户满意度,近日,莱芜农商银行钢城区公司业务营销中心精心策划并开展了一场主题为“金融惠民进厅堂
2025-12-20 15:13:00
鲁网12月20日讯为强化基础营销工作,深入推进“做小做散”战略,莱芜农商银行公司金融部全面开展“千企万户大营销”基础工作专项活动
2025-12-20 15:13:00
鲁网12月20日讯小微企业是区域经济发展的“毛细血管”,是稳就业、保民生的重要支撑。作为扎根本土的金融机构,莱芜农商银行营业部始终坚持以优质信贷服务支持辖内小微企业发展
2025-12-20 15:14:00
日前,晋塔塔式起重机远程智能辅助驾驶系统正式在太原“锦绣汾东”落地应用,这是太原首次投入使用的塔式起重机智能辅助驾驶系统
2025-12-20 17:48:00
“众星・长白岐黄” 中医药大模型正式发布
由吉林省委命题,长春中医药大学校长冷向阳教授牵头制定并实施《落实“AI+中医”具体行动方案》,吉林工商学院副院长赵佳教授领衔
2025-12-20 19:52:00
厦门网讯 (厦门日报记者 林露虹)来自厦门的光通信电芯片“单项冠军”登陆科创板。昨日,厦门优迅芯片股份有限公司在上交所科创板上市
2025-12-20 08:51:00
摘要:随着企业业务复杂度的提升与项目制运营的普及,多项目并行管理成为企业提升效率与竞争力的重要模式。然而,项目间的资源冲突
2025-12-20 05:18:00
摘要:在健康中国战略引领下,推进特殊人群运动康复指导课程教学改革已成为新时代体育教育与健康服务体系建设的重要任务。本文探讨如何以数智技术深度赋能传统教学模式
2025-12-20 05:18:00