• 我的订阅
  • 头条热搜
...能提供学习知识新途径大语言模型对著名数学问题有“新见解”【总编辑圈点】科技日报北京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、智谱清言、...……更多
...加快研究成果转化,培养“数学+”复合型人才 两大应用模型同日发布 本报讯 (记者 姜澎)上海张江再增一家新型研发机构。上海张江数学研究院日前正式成立,上海张江数学院同济大学分院和上海大学分院也同时成立。...……更多
大模型“翻车”小学题?
...——这样一道简单的“小升初”数学题难倒一众网友和大模型。上周五(7月12日)综艺《歌手2024》投票率出炉,孙楠以13.8%的投票率位居第三,Chanté Moore以13.11%的投票率排在第四。一位网友留言质疑“13.8%比13.11%高?”迅速引起热...……更多
...报记者 赵广立2024年全国高考的“硝烟”刚刚散去,“大模型考生”就被抓回来重新“做题”了。市面上涌现出的大模型产品让人眼花缭乱,围绕“大模型技术哪家强”的讨论不绝于耳,各色名目的大模型评测应运而生。作为国...……更多
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 大模型,旨在专门解决难题。这是一个重大突破,新模型可...……更多
清华大学教授李宗鹏:大模型消除不了幻觉,大语言模型注定没有希望
...宗鹏接受凤凰网财经的采访)作者|王迪百度李彦宏称大模型基本消除了幻觉,AI从一本正经胡说八道变得可被信赖。清华大学李宗鹏在接受凤凰网财经采访时则指出,大模型永远不会彻底摆脱幻觉和出错的问题,这是数学上已经...……更多
...谱。研究显示,百度贴吧“弱智吧”数据集训练出的AI大模型,跑分超过百科、知乎、豆瓣、小红书等平台,在问答、头脑风暴、分类、生成、总结等8项测试中取得了最高分。这个充满荒诞段子的中文社区,一跃成为最佳的中文...……更多
奥林匹克竞赛里选最聪明的AI:Claude-3.5-Sonnet vs. GPT-4o?
...工智能实验室 (GAIR Lab) 的研究团队,主要研究方向是:大模型训练、对齐与评估。团队主页:https://plms.ai/AI技术日新月异,近来Anthropic公司最新发布的Claude-3.5-Sonnet因在知识型推理、数学推理、编程任务及视觉推理等任务上设立...……更多
专家模型不要专家并行!微软开源MoE新路径
...日,来自微软的研究人员开源了使用全新方法训练的MoE大模型,不走寻常路,且编码和数学表现出色。继Phi家族之后,微软又开源了新的混合专家大模型——GRIN MoE。与Phi-3.5同样的个头(16 * 3.8B),却采用了截然不同的训练方法...……更多
阿里国际发布最新开源多模态模型Ovis,多模态能力再升级
...力再次升级!今天,阿里国际AI团队发布了一款多模态大模型Ovis,在图像理解任务上不断突破极限,多种具体的子类任务中均达到了SOTA(最新技术)水平。多模态大模型能够处理和理解多种不同类型的数据输入,例如文本、图...……更多
更多关于教育的资讯:
本文转自:人民日报海外版聚焦AI时代人才素养——读《未来算法》《成长树家庭教育法》罗 妞《人民日报海外版》(2024年12月26日第 07 版)在当今这个快速变化的时代
2024-12-26 04:40:00
沈阳  实施幸福教育工程  推进教育强市建设
本文转自:人民日报《人民日报》(2024年12月26日第 11 版)辽宁省沈阳市聚焦办好人民满意的教育,推进以“安全、健康
2024-12-26 05:56:00
思政教育+艺术欣赏 江苏警官学院创新推出精品网络课程
本文转自:人民网-江苏频道近日,江苏警官学院推出《画说中国共产党人精神谱系》网络课程,该课程通过挖掘江苏丰富的红色文化资源
2024-12-25 23:13:00
本文转自:人民网-江西频道12月19日下午,南昌医学院首届红色文化节——红色文化育人成果展示会在该校大学生活动中心举行
2024-12-25 20:56:00
江西宜黄:情暖童心港湾 烘焙甜蜜时光
本文转自:人民网-江西频道江西省抚州市宜黄县梨溪镇外阴村童心港湾内,欢声笑语不断。“邹妈妈,今天我们学什么呀?”“邹妈妈
2024-12-25 21:03:00
本文转自:人民网-江西频道为了引导学生树立正确的劳动价值观,提升实践能力和社会责任感,近日,江西省抚州市崇仁县二中关工委在高一年级的劳动课上
2024-12-25 21:10:00
本文转自:人民网-江西频道近日,南昌医学院第一期“象湖之光·红色文化大宣讲”开讲,邀请江西师范大学党委委员、副校长周利生到校作红色文化专题宣讲报告
2024-12-25 21:10:00
本文转自:人民网-辽宁频道人民网沈阳12月25日电(刘珺)12月25日,辽宁省教育厅印发通知,从规范办学行为、加强安全管理
2024-12-25 22:38:00
惠州市高中美术调研组莅临【博罗综高】开展教育教学调研工作
12月20日,惠州市教育科学研究院美术教研员梁小荷老师率各县区高中美术骨干教师调研团队莅临我校,开启美术教育调研。我校高度重视
2024-12-25 16:51:00
成都青羊:师生共创课间15分钟“微运动”
本文转自:人民网-四川频道同学们开展体育活动。青羊区教育局供图下课铃声一响,成都市同辉国际学校的孩子们就开启了愉快的课间15分钟
2024-12-25 17:02:00
山东省赛高职组“货运代理”赛项在山东经贸职业学院开赛
12月18日,由山东省教育厅、山东省工业和信息化厅、山东省人力资源和社会保障厅、山东省农业农村厅主办,山东经贸职业学院承办的第十七届山东省职业院校技能大赛高职组“货运代理”赛项开赛式在山东经贸职业学院举行
2024-12-25 17:33:00
山政传媒学院:以有组织科研为切入点,筹备开设国际传播专业
为了满足国家传播战略的需求,国际传播专业已进入国务院学位委员会《急需学科专业引导发展清单(2024年)》和山东省鼓励发展本科专业清单
2024-12-25 17:33:00
山东政法学院传媒学院:立足专业优势,讲好黄河故事
在国家黄河重大国家战略的指导下,山东政法学院传媒学院充分发挥专业优势,通过将黄河文化融入课程思政,引导学生增强保护“母亲河”的责任感和使命感
2024-12-25 17:33:00
山东经贸职业学院赴印尼推进“中文+技能”培训中心建设工作
为开启“教随产出、产教同行”职教出海新篇章,12月8日至12月12日,山东经贸职业学院党委委员、办公室主任赵继民率团前往印度尼西亚
2024-12-25 17:34:00
大河网讯 近日,许昌学院以智能教育为契机,积极推进电气工程及其自动化专业核心课程群建设。学校紧密围绕国家智能教育发展战略
2024-12-25 17:38:00