• 我的订阅
  • 头条热搜
...能提供学习知识新途径大语言模型对著名数学问题有“新见解”【总编辑圈点】科技日报北京12月14日电 (记者张梦然)“深度思维”团队利用大语言模型(LLM)对一个著名的数学问题提出了“新见解”,并通过系统的、迭代的...……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
...研究所的何杨辉教授和他的同事们想试试AI能否提出新的见解。于是,他们让AI神经网络在一个包含数百万条椭圆曲线的数据库中搜索曲线的某个特征,结果AI没有让人失望。在对其预测进行更详细的分析后,何杨辉和同事们发现...……更多
Nature重磅:击败人类数学家,AI首次攻破经典数学难题
...表示,“希望这能够激发使用 FunSearch 的科学家的进一步见解,推动改进和发现的良性循环。”威斯康星大学麦迪逊分校的合作者和数学教授 Jordan Ellenberg 表示:“FunSearch 生成的解决方案在概念上比单纯的数字列表要丰富得多。...……更多
给小学数学题加句废话,OpenAI o1就翻车了,苹果论文质疑AI推理
...规模研究,为 LLM 在数学推理任务中的行为提供了重要的见解。 2、作者质疑了当前在 GSM8K 上报告的结果的可靠性,并证明 LLM 的性能在处理同一问题的不同表述时,其表现的波动性是不合理的。他们展示了所有模型在 GSM-Symbolic...……更多
9.11和9.9哪个大?实测12个大模型8个都答错,ChatGPT也翻车了
一道小学生难度的数学题难倒了一众海内外AI大模型。9.11和9.9哪个更大?就此问题,第一财经记者测试了12个大模型,其中阿里通义千问、百度文心一言、Minimax和腾讯元宝答对,但ChatGPT-4o、字节豆包、月之暗面kimi、智谱清言、...……更多
语文铸魂,数学筑基!2025年高考为青春刻下强国复兴的时代坐标
...值。文言文和古代诗歌阅读涉及古人对“士”美好品质的见解、对诸葛亮功业品德的评价,蕴含着古人的家国情怀;整本书阅读考查的《红楼梦》是中国古代小说的巅峰之作,有极高的文学性和艺术性;文学阅读素材中作者讲述...……更多
...加快研究成果转化,培养“数学+”复合型人才 两大应用模型同日发布 本报讯 (记者 姜澎)上海张江再增一家新型研发机构。上海张江数学研究院日前正式成立,上海张江数学院同济大学分院和上海大学分院也同时成立。...……更多
大模型“翻车”小学题?
...——这样一道简单的“小升初”数学题难倒一众网友和大模型。上周五(7月12日)综艺《歌手2024》投票率出炉,孙楠以13.8%的投票率位居第三,Chanté Moore以13.11%的投票率排在第四。一位网友留言质疑“13.8%比13.11%高?”迅速引起热...……更多
...报记者 赵广立2024年全国高考的“硝烟”刚刚散去,“大模型考生”就被抓回来重新“做题”了。市面上涌现出的大模型产品让人眼花缭乱,围绕“大模型技术哪家强”的讨论不绝于耳,各色名目的大模型评测应运而生。作为国...……更多
56年无人解开的数学难题 被谷歌的新AI突破了
...通用的黑盒优化问题:maximize h(f)。其中,f 是由大型语言模型生成的程序,h 是衡量该程序质量的评估函数。 在实际流程中,AlphaEvolve 首先通过提示采样器(prompt sampler)组装提示词,引导语言模型生成代码。DeepMind 使用了两个...……更多
ICML2024演讲爆火!Meta朱泽园揭秘大模型内心世界:不同于人类推理
...稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com大语言模型 (LLM) 是如何解数学题的?是通过模板记忆,还是真的学会了推理思维?模型的心算过程是怎样的?能学会怎样的推理技能?与人类相同,还是超越了人类?只学一种类...……更多
NeurIPS 2024 | 数学推理场景下,首个分布外检测研究成果来了
...上海交通大学计算机系的二年级博士生,研究方向为语言模型生成、推理,以及可解释、可信大模型。该工作由上海交通大学和阿里巴巴通义实验室共同完成。论文题目:Embedding Trajectory for Out-of-Distribution Detection in Mathematical R……更多
...9哪个更大?一道小学生都会的数学题,却难倒了一众AI大模型。昨天,“大模型测不出9.11和9.9哪个大”还登上了微博热搜。这个难倒大多数AI大模型的数学题,其实来自于最近热播的《歌手》。7月13日,在最新一期《歌手》公布...……更多
...课堂上的精彩表现,并对还可以优化的环节发表了独到的见解,研讨气氛热烈,双方在思维碰撞、理念交流中相互学习、共同提升。 ……更多
微软推出14b参数“最先进”小型语言模型
...13日消息,微软今天宣布推出14B参数“最先进”小型语言模型(SLM)Phi-4,除了传统的语言处理外,它还擅长数学等领域的复杂推理。Phi-4是Phi系列小型语言模型的最新成员,官方表示其展示了微软继续探索SLM边界的可能性。官方...……更多
科学家推出大模型数据集,涵盖奥赛数学题,有望让AI辅导数学课程
...业大学工作期间,他曾和同事在一项研究中成功提高了大模型解决复杂数学问题的能力。通过此,他们不仅提高了算法推理速度,还提高了算法搜索中间结果的质量。所新推出的数据集 TriMaster100,也更加符合算法在复杂数学问...……更多
学而思推出数学答疑原生AI工具九章随时问,“AI将重新定义教育行业”
6月11日,好未来官方公众号宣布,学而思九章大模型推出最新AI数学搜索答疑工具“九章随时问”,即日起免费开放使用。这款产品打破了以生成式AI技术为基础,通过启发引导的方式帮助学生解决数学难题,旨在培养学生的解...……更多
清华团队提出大模型“密度定律”;足球领域首个视觉语言基础模型
今日值得关注的大模型前沿论文SwiftEdit:50 倍速文本引导图像编辑清华团队提出大模型“密度定律”足球领域首个视觉语言基础模型Aguvis:首个完全自主的纯视觉 GUI agentGoogle DeepMind:利用运动轨迹控制视频生成大模型数学新基...……更多
终于,Claude上线LaTeX公式渲染功能,评论区网友沸腾了
...,通过简单的命令来实现复杂的数学表达式。对于大语言模型来说,它们在解答一些数学相关的问题时有时也需要输出数学方程式或表达式。这时如果能够使用 LaTeX 输出标准的公式,答案自然会更加清晰明了。以大模型初创公...……更多
本文转自:劳动报商汤科技发布日日新5.0大模型五大产品全新亮相 局部能力赶超GPT-4本报讯(劳动报记者 陈宁)日前,在上海商汤临港AIDC举行的“2024年商汤技术交流日”活动现场,商汤发布行业首个“云、端、边”全栈大模...……更多
罗格斯大学团队提出思想链概念,提高大模型的算数推理能力
... cot 研究还不太成体系,我们觉得应该多给出一些基础的见解。”未来,课题组准备针对这个问题研究大模型的内部,即分析 LLM 推理的长推理步骤和短推理步骤、以及大模型内部的神经元过程。他们的终极目标是:希望可以确...……更多
字节开源全栈AI编程基准,不小心曝光豆包代码大模型
豆包代码大模型,不小心给曝光了!在字节开源的代码大模型评估基准FullStack Bench里面,出现了此前字节未披露过的Doubao-Coder。不过目前还只是Preview版,还并没有上线。它在多种编程语言上的性能表现如下,可以看到在闭源模...……更多
姚期智院士大模型新研究:思维图DoT,用数学理论确保AI逻辑一致
姚期智院士领衔,推出大模型新推理框架,CoT“王冠”戴不住了。提出思维图(DiagramofThought),让大模型思考更像人类。团队更是为这种推理过程提供了数学基础,通过拓扑斯理论(Topos Theory)正式化(formalize)DoT,确保其逻...……更多
OpenAI o1模型到博士水平了?复旦教授:没有真正推理能力,学到的还是概率相关性
...enAI放出了一个大招,预热了许久的“草莓”(Strawberry) 模型终于来了。“需要耐心等待的时刻结束了。”该公司CEO山姆·奥特曼(Sam Altman)说。这就是名为 o1的新模型,这次发布包括预览版o1-preview和小尺寸版o1-mini。OpenAI官方...……更多
重磅!OpenAI o1模型还没有实现真正的逻辑推理能力
一、o1系列模型概况9月13日OpenAI宣布发布o1系列模型,o1系列模型包括o1、o1-mini以及抢先版o1-preview,o1-preview和o1-mini模型已经可以使用。OpenAI宣布,“新模型在推理能力上代表了人工智能能力的新水平,因此,计数器将重置为1”...……更多
哪里不会扫哪里!全球最强数学大模型在线玩,阿里多模态模型加持
现在,最强数学大模型,人人都可上手玩了!一觉醒来,阿里千问大模型团队发布了Qwen2-Math的Demo,抱抱脸在线可玩。惊喜的是,如果嫌输入数学公式比较麻烦,可以把想问的题截图or扫描,上传即可解题。整得挺方便。试玩界...……更多
刚刚,OpenAI震撼发布o1大模型!强化学习突破LLM推理极限
大模型领域的技术发展,今天起再次「从 1 开始」了。大语言模型还能向上突破,OpenAI 再次证明了自己的实力。北京时间 9 月 13 日午夜,OpenAI 正式公开一系列全新 AI 大模型,旨在专门解决难题。这是一个重大突破,新模型可...……更多
杨仝团队发布FairyR1模型:5%参数量数学和代码能力超越满血DeepSeek
北京大学杨仝教授团队近期发布了其在高效大型语言模型研究方向的一项新成果——FairyR1-32B模型。该模型基于DeepSeek-R1-Distill-Qwen-32B基座,通过结合微调与模型合并技术构建。研究探索了在参数量大幅减少的情况下,模型在特...……更多
...谱。研究显示,百度贴吧“弱智吧”数据集训练出的AI大模型,跑分超过百科、知乎、豆瓣、小红书等平台,在问答、头脑风暴、分类、生成、总结等8项测试中取得了最高分。这个充满荒诞段子的中文社区,一跃成为最佳的中文...……更多
清华大学教授李宗鹏:大模型消除不了幻觉,大语言模型注定没有希望
...宗鹏接受凤凰网财经的采访)作者|王迪百度李彦宏称大模型基本消除了幻觉,AI从一本正经胡说八道变得可被信赖。清华大学李宗鹏在接受凤凰网财经采访时则指出,大模型永远不会彻底摆脱幻觉和出错的问题,这是数学上已经...……更多
更多关于教育的资讯:
数字工匠同台竞技 赋能河南文创产业|全省高职数字IP衍生品设计选拔赛落幕
大河网讯 11月22日至23日,2025“一带一路”暨金砖国家技能发展与技术创新大赛首届数字IP衍生品设计与制造赛项河南省(高职组)选拔赛在河南机电职业学院成功举办
2025-11-25 13:35:00
郑州信息工程职业学院:“人人持证”引领,学前教育专业人才培养体系改革创新
大河网讯 在国家大力推进技能人才队伍建设的大背景下,郑州信息工程职业学院紧跟政策导向,积极投身技能型院校建设,在学前教育专业人才培养体系改革方面取得显著成果
2025-11-25 13:35:00
郑州科技学院学子在全国数字经济决策创新挑战赛中斩获一等奖
大河网讯 11月23日,2025年iCAN大学生创新创业大赛“精创杯”全国数字经济决策创新挑战赛全国总决赛落幕。郑州科技学院财经学院参赛团队表现优异
2025-11-25 13:35:00
黄河科技学院成功举办青春成长课堂——第九季“青春榜样”优秀学生事迹报告会
根据学校学风建设月相关安排,为充分发挥优秀学子的示范引领作用,用优良校风学风鼓舞激励广大青年学生坚定理想信念,勇担时代使命
2025-11-25 13:35:00
山艺音乐学院“音乐新生代”首演圆满举行
鲁网11月24日讯11月20日晚 ,山东艺术学院音乐学院“音乐新生代”专场音乐会在济南剧院精彩上演,标志着山艺音乐学院与济南剧院联合制定的 5 年“音乐新生代”培养计划正式拉开帷幕
2025-11-24 17:05:00
调研组深入课堂“把脉问诊”,河南这所高校思政课建设获好评
大河网讯 11月20日上午,以河南中医药大学马克思主义学院院长张会萍教授为组长的全省高校秋季学期思政课“大听课 大调研”第七调研组一行来到河南职业技术学院开展听课调研
2025-11-22 18:07:00
郑州航空工业管理学院校长邓中亮当选中国工程院院士
大河网讯 11月21日,中国工程院公布了2025年院士增选结果,郑州航空工业管理学院校长邓中亮教授当选为中国工程院院士
2025-11-21 11:57:00
郑州八中新校区学子在第二十五届河南省青少年机器人竞赛中斩获佳绩
大河网讯 近日,由河南省科技厅、河南省科学技术协会举办的2025年河南省青少年科技运动会之第二十五届河南省青少年机器人竞赛在郑州举行
2025-11-21 11:57:00
尚德2025年前三季度营收15.5亿元,净利润3.27亿元
来源:多知 作者:徐晶晶多知11月20日消息,尚德机构(NYSE: STG)今日公布了其截至2025年9月30日的第三季度及2025年前三季度未经审计的财务报告
2025-11-21 14:50:00
一等奖!郑州医药健康职业学院在第九届中国(国际)传感器创新创业大赛中获佳绩
大河网讯 近日,第九届中国(国际)传感器创新创业大赛河南赛区选拔赛在鹤壁市举行。郑州医药健康职业学院代表队获“高校组创新应用类”赛道一等奖
2025-11-21 15:01:00
大河网讯 牛羊肉中是否掺杂了更为便宜的鸡鸭肉?中药材中是否混入了伪劣替代品?新生儿是否存在药物致聋敏感基因?普通人是否携带阿尔茨海默病遗传风险基因……这些关乎食品药品安全与群众健康的问题
2025-11-21 15:01:00
郑州时代科技中等专业学校与北京互连众信河南分公司签署校企合作协议
大河网讯 11月19日,郑州时代科技中等专业学校与北京互连众信企业征信有限公司河南分公司进行校企合作签约。北京互连众信河南分公司人事部经理崔之蓝与郑州时代科技中等专业学校就业处科长谢迪代表双方签署合作协议
2025-11-21 17:04:00
构筑心灵“绿洲” 赋能青春梦想
构筑心灵“绿洲” 赋能青春梦想——中原工学院智慧能源与环境学院构建“暖、育、防”三维心理育人新格局近年来,中原工学院智慧能源与环境学院依托心理工作室与心理活动室
2025-11-21 18:35:00
烟台家长学校栏目公益讲座在烟台市牟平区宁海中学开展
胶东在线11月17日讯(通讯员 曲露露 实习编辑 单煜媛)近日,由烟台家长学校栏目主办的公益讲座在宁海中学会议室正式举行
2025-11-22 04:03:00
河南省卫健委安全生产督查组到访黄河科技学院附属医院开展专项督导
为扎实推进安全生产工作落细落实,11月18日,河南省卫生健康委员会安全督导组一行到访黄河科技学院附属医院,开展2025年第四季度安全稳定工作专项督导
2025-11-20 16:01:00