• 我的订阅
  • 头条热搜
...能提供学习知识新途径大语言模型对著名数学问题有“新见解”【总编辑圈点】科技日报北京12月14日电 (记者张梦然)“深度思维”团队利用大语言模型(LLM)对一个著名的数学问题提出了“新见解”,并通过系统的、迭代的...……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
...研究所的何杨辉教授和他的同事们想试试AI能否提出新的见解。于是,他们让AI神经网络在一个包含数百万条椭圆曲线的数据库中搜索曲线的某个特征,结果AI没有让人失望。在对其预测进行更详细的分析后,何杨辉和同事们发现...……更多
Nature重磅:击败人类数学家,AI首次攻破经典数学难题
...表示,“希望这能够激发使用 FunSearch 的科学家的进一步见解,推动改进和发现的良性循环。”威斯康星大学麦迪逊分校的合作者和数学教授 Jordan Ellenberg 表示:“FunSearch 生成的解决方案在概念上比单纯的数字列表要丰富得多。...……更多
人工智能已经可以解决复杂的数学问题了,还有哪些工作无法被取代
大型语言模型(LLMs)是指采用机器学习技术,利用大量文本数据进行训练,以能够自然地理解和生成自然语言文本的人工智能模型。这些模型可以用于自然语言处理任务,如文本分类、文本生成、语言翻译、问题回答和摘要生...……更多
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) 是如何解数学题的?是通过模板记忆,还是真的学会了推理思维?模型的心算过程是怎样的?能学会怎样的推理技能?与人类相同,还是超越了人类?只学一种类...……更多
...9哪个更大?一道小学生都会的数学题,却难倒了一众AI大模型。昨天,“大模型测不出9.11和9.9哪个大”还登上了微博热搜。这个难倒大多数AI大模型的数学题,其实来自于最近热播的《歌手》。7月13日,在最新一期《歌手》公布...……更多
...课堂上的精彩表现,并对还可以优化的环节发表了独到的见解,研讨气氛热烈,双方在思维碰撞、理念交流中相互学习、共同提升。 ……更多
科学家推出大模型数据集,涵盖奥赛数学题,有望让AI辅导数学课程
...业大学工作期间,他曾和同事在一项研究中成功提高了大模型解决复杂数学问题的能力。通过此,他们不仅提高了算法推理速度,还提高了算法搜索中间结果的质量。所新推出的数据集 TriMaster100,也更加符合算法在复杂数学问...……更多
学而思推出数学答疑原生AI工具九章随时问,“AI将重新定义教育行业”
6月11日,好未来官方公众号宣布,学而思九章大模型推出最新AI数学搜索答疑工具“九章随时问”,即日起免费开放使用。这款产品打破了以生成式AI技术为基础,通过启发引导的方式帮助学生解决数学难题,旨在培养学生的解...……更多
终于,Claude上线LaTeX公式渲染功能,评论区网友沸腾了
...,通过简单的命令来实现复杂的数学表达式。对于大语言模型来说,它们在解答一些数学相关的问题时有时也需要输出数学方程式或表达式。这时如果能够使用 LaTeX 输出标准的公式,答案自然会更加清晰明了。以大模型初创公...……更多
本文转自:劳动报商汤科技发布日日新5.0大模型五大产品全新亮相 局部能力赶超GPT-4本报讯(劳动报记者 陈宁)日前,在上海商汤临港AIDC举行的“2024年商汤技术交流日”活动现场,商汤发布行业首个“云、端、边”全栈大模...……更多
罗格斯大学团队提出思想链概念,提高大模型的算数推理能力
... cot 研究还不太成体系,我们觉得应该多给出一些基础的见解。”未来,课题组准备针对这个问题研究大模型的内部,即分析 LLM 推理的长推理步骤和短推理步骤、以及大模型内部的神经元过程。他们的终极目标是:希望可以确...……更多
哪里不会扫哪里!全球最强数学大模型在线玩,阿里多模态模型加持
现在,最强数学大模型,人人都可上手玩了!一觉醒来,阿里千问大模型团队发布了Qwen2-Math的Demo,抱抱脸在线可玩。惊喜的是,如果嫌输入数学公式比较麻烦,可以把想问的题截图or扫描,上传即可解题。整得挺方便。试玩界...……更多
奥林匹克竞赛里选最聪明的AI:Claude-3.5-Sonnet vs. GPT-4o?
...工智能实验室 (GAIR Lab) 的研究团队,主要研究方向是:大模型训练、对齐与评估。团队主页:https://plms.ai/AI技术日新月异,近来Anthropic公司最新发布的Claude-3.5-Sonnet因在知识型推理、数学推理、编程任务及视觉推理等任务上设立...……更多
首个AI高考全卷评测结果发布:数学全都不及格
...布首个AI高考全卷评测结果,月初开源的阿里通义千问大模型Qwen2-72B排名第一,在语数外三科420分的满分中获得303分,OpenAI的GPT-4o和上海人工智能实验室的书生·浦语2.0文曲星(InternLM2-20B-WQX)排名二三位。本次评测采用全国新课...……更多
首个AI高考全卷评测结果发布:最高分303,数学全不及格
...设计的高难度综合性测试,目前普遍被研究者用于考察大模型的智能水平。在前不久高考结束后,上海人工智能实验室旗下司南评测体系OpenCompass选取了7个大模型进行高考“语数外”全卷能力测试。6月19日, OpenCompass发布了首个...……更多
马斯克 xAI 推出 Grok-1.5 大语言模型
...公司 xAI 今天在官方博客中宣布,正式推出 Grok-1.5 大语言模型。Grok-1.5 具有改进的推理能力和 128k 的上下文长度,其中最显著的改进之一是其在编码和数学相关任务中的表现。Grok-1.5 将在未来几天内在 平台上向早期测试人员和...……更多
从个性化到情绪智能,揭秘美国AI教育产品的市场霸主之路
...式也融入了 AI。它引入了 AI 技术后打造了公司的重点 AI 模型 Birdbrain,能够自动从专家编写、审核和翻译的内容中自动抽取适合用户的题目,确保用户遇到的闯关题目难度适中,不会因为太简单而枯燥乏味。从 Duolingo 的例子中...……更多
曝Bengio新动向:世界模型+数学证明,确保AI系统正常运作
...学总监。据介绍,Safeguarded AI旨在:通过结合科学的世界模型和数学证明,构建一个负责理解和降低其它AI Agent风险的AI系统。主打的就是一个量化安全保障。该项目由英国高级研究与发明局(ARIA)提供支持,据说未来ARIA将投入...……更多
CMU清华教LLM练成数学高手,LeanSTaR训练模型边思考边证明,登顶新SOTA
...学生怎么办?CMU清华团队提出了Lean-STaR训练框架,在语言模型进行推理的每一步中都植入CoT,提升了模型的定理证明能力,成为miniF2F上的新SOTA。如果想训练LLM证明定理的能力,你会怎么做?既然模型可以通过海量语料学会生成...……更多
菲尔兹奖得主亲测GPT-4o,经典过河难题破解失败!最强Claude 3.5回答离谱,LeCun嘲讽LLM
...最近,菲尔兹奖得主Timothy Gowers分享了实测GPT-4o的过程,模型在最简单的题目上竟然做错了,甚至网友们发现,就连Claude 3.5也无法幸免。在经典的「狼-山羊-卷心菜」过河问题上,如今所有的LLM都失败了!几天前,菲尔兹奖得主...……更多
联通元景大模型亮相2024年中国品牌日 打造产业智能化新范式
...参与中国品牌日活动,并在联通展馆精彩亮相联通元景大模型,充分展示大模型的核心能力及对各行业的颠覆性影响。能说、擅听、会看的联通元景大模型联通展台前热闹非凡,参观者络绎不绝。联通一位工作人员以实操+讲解的方...……更多
学而思携九章大模型、学而思学习机亮相世界人工智能大会
...赋能和带来的行业机遇已经成为共识,教育也已经成为大模型技术产品级落地的代表性行业。“教育与人才”位列本届大会行业论坛的十大重点议题,学而思、网易有道、猿力科技等教育企业纷纷携旗下人工智能产品亮相,成为...……更多
...题和困惑。针对这些问题,4位授课老师也分享了自己的见解,精彩的思维碰撞赢得阵阵掌声。 ……更多
数学因不严格的论证而得到丰富,很多命题建立在尚未证明的猜想上
...后面的著名论证作一个粗糙的描述。在统计物理中有一个模型,称为n 向量模型,它与临界现象的概率模型中的伊辛(Ising)模型和Potts模型有密切的关系。在Z^d的每一点上都给定一个R^n单位向量。这就给出了一个单位向量的随机...……更多
更多关于教育的资讯:
从260多人高考成绩超600分到博士课程门门得“A”,“精华精神”再造佳绩
日前,精华学校举办了2024-2025学年开学典礼。在过去的这一年,精华延续了往日的辉煌,无论是二百六十余名精华学子高考成绩达到六百分以上
2024-09-04 10:30:00
一见倾“新”,未来可期丨汉峪小学举行2024级新生入学活动
近日,济南高新区汉峪小学迎来了2024级新生入学报到的温馨时刻。在家长的陪同下,一群满怀憧憬的小朋友们踏着轻快的步伐,步入这所即将成为他们成长摇篮的美丽校园
2024-09-04 10:57:00
济南高新区景汇小学举行一年级新生入学仪式
近日,济南高新区景汇小学迎来了充满活力与希望的一年级新生及家长们,一系列精心策划的活动让新生和家长们感受到了家的温暖与未来的憧憬
2024-09-04 10:58:00
你好新同学 济南信息工程学校志愿服务点亮校园新篇章
秋风送爽,新学期如约而至,济南信息工程学校迎来了一批朝气蓬勃的新面孔。为营造温馨、整洁、有序的学习环境,助力新生顺利开启职校生活
2024-09-04 10:58:00
启航景汇,共赴未来丨济南高新区景汇小学举行秋季开学典礼
9月2日,济南高新区景汇小学在操场上举办了2024-2025学年秋季开学典礼暨升旗仪式,标志着新学期正式启航。此次活动吸引了济南高新区教育文体部安全负责人时连孝莅临参加
2024-09-04 10:58:00
济南高新区丰奥嘉园小学开展“萌芽成长课程”
在金秋送爽的开学季,为帮助一年级新生快速适应小学生活,培养良好的行为习惯,近日,济南高新区丰奥嘉园小学精心策划并实施了“萌芽成长课程”
2024-09-04 10:58:00
你好,新学期!济南高新区景汇小学新学期报到日精彩纷呈
9月1日,济南高新区景汇小学迎来了新学期开学报到日。校园内洋溢着期待与喜悦的氛围,学生们满怀希望地踏入校门,正式开启了新学期的学习生活
2024-09-04 10:59:00
迎秋启新程!济南高新区黄金谷学校举行新学期开学典礼
为明确新学期的学习目标,激发青少年的奋斗精神,并传承奥运“更高、更快、更强”的竞技理念,同时强化学生的爱国爱党情怀,9月2日
2024-09-04 10:59:00
深耕细研,聚力启航丨汉峪小学开展新学期全学科教学研讨活动
近日,济南高新区汉峪小学正式拉开新学期序幕,学校组织开展了全方位、深层次的新学期全学科教学研讨活动,旨在深化教育教学研究
2024-09-04 11:00:00
强国有我,迎新启航丨济南高新区汉峪小学开启“开学第一课”
9月2日,济南高新区汉峪小学举行了2024-2025学年第一学期开学典礼暨开学第一课,济南高新区教育文体部心理教研员曲怀英亲临现场进行督导
2024-09-04 11:00:00
济南高新区景汇小学开展2024年秋季新学期校本培训会
随着2024-2025学年第一学期的序幕缓缓拉开,近日,济南高新区景汇小学的校本培训活动继续精彩上演,一系列丰富多彩的活动不仅展现了该校教师队伍的深厚底蕴
2024-09-04 11:00:00
家校共育,共赴美好丨济南高新区汉峪小学举办一年级新生家长会
近日,济南高新区汉峪小学召开了一年级新生家长会,旨在助力新生顺利过渡到小学生活,同时指导家长有效进行幼小衔接,为孩子们的未来发展奠定坚实基础
2024-09-04 11:01:00
奥运冠军送寄语 三角湖学子开学有惊喜
荆楚网(湖北日报网)讯(记者林杉 通讯员张倩 李乐影)“希望同学们在学习生活中,确立远大理想、敢于拼搏。”9月2日,武汉经济技术开发区三角湖小学迎来“逐梦奥运 启航新学期”开学典礼
2024-09-04 11:28:00
博罗好高中|高中生偏科有点严重,该怎么办?
虽然,高中生出现偏科是一种很常见的现象,但是偏科在一定程度上会对高中生的学习和未来发展产生一定的影响。一方面,偏科可能导致学生在某些学科上取得优异成绩
2024-09-04 11:29:00
优秀 济南信息工程学校学子在第八届全国青少年无人机大赛获亚军
近日,第八届全国青少年无人机大赛在重庆国际会议展览中心落下帷幕。来自全国31个省市区及2个特别行政区,近8000所学校
2024-09-04 11:33:00