「数学教育」共找到 488 篇相关文章
AI教父Hinton暴论:AI永生之日,全人类变烤面包倒计时!
在Gitex Europe开幕日,「AI教父」Hinton接受专访,表达对AI发展的看法。他认为AI可深刻改变多领域,未来十年有望在数学领域超越人类,也指出AI能耗问题,担心人类触及能源极限,还强调AI可能灭绝人类,呼吁政府监管。
DeepMind AlphaProof 前负责人谈2025年IMO
前Google DeepMind AlphaProof项目联合负责人Rishi Mehta发布关于2025年IMO结果的分析。今年OpenAI和Google DeepMind双双宣布达到金牌水平,解法各有特点。Mehta预测前沿大语言模型明年或开箱即用获奖牌,未来6个月内或攻克非平凡开放数学问题。
无需标注和奖励模型!仅靠自信度RL,16个样本训练20步,效果飙升21%!
论文提出RLSC,让大语言模型用自身答案置信度作奖励信号,摆脱人类标注依赖。它以模型自信度内部信号替代多数投票外部信号,小成本提升模型数学能力,还让模型学会快推理,不过也存在安全隐忧。
AI杀死大学?教授ChatGPT教学逼疯学生,怒告学校讨要8000美元学费!
美国东北大学一名学生发现教授用ChatGPT生成课件,愤而起诉学校讨要8000美元学费。学生认为付高价学费应接受人类教导;教授则称AI可节省时间、充当助教。不同教授对AI使用看法不一,领英联合创始人看好AI在教育的应用。
Andrej Karpathy 开炮:智能体都在装样子,强化学习很糟糕,AGI 十年也出不来
本周五,Andrej Karpathy 长达两小时多的采访视频引发关注。他直言行业步子迈得太大,嘲讽 AI 现状夸大、脱离实际。他认为智能体成熟需十年,强化学习糟糕,还探讨了 AGI、人类学习、教育未来等多方面问题。
奥特曼首次体验GPT-5!被吓到眩晕瘫坐,那一刻就像看到原子弹爆炸
新智元报道,奥特曼曝光GPT - 5使用初体验,称被震撼到瘫坐。他宣称或为每人提供免费全天候GPT - 5,还提出诸多设想,如分配token、对孩子教育看法等,也谈到AI对社会的影响及竞争态度。
上线不到一年,收徒百万,首个真人级AI导师技术底牌首次曝光
2025年初,与爱为舞落地国内首个真人级AI一对一导师产品「爱学」,上线不到一年有超百万学员使用。它突破传统AI教育局限,自研全栈技术体系,从多方面打造优质AI导师,为AI Agent规模化落地定义范式。
哈工大、中科院等利用模型“潜意识”提高推理模型效率,0.6B撬动复杂推理
哈工大、中科院等提出TrajSelector框架,让推理模型‘倾听内心独白’。它利用模型隐藏状态,用0.6B轻量级验证器实现比7B裁判模型更精准选择,在数学竞赛基准测试中表现出色,还能离线筛选数据,但在开放域问答有难题。
大模型刷数学题竟有害?CMU评估20+模型指出训练陷阱
CMU团队评估20多个大模型,发现只有强化学习(RL)训练的模型能将数学推理技能广泛迁移到其他任务,监督微调(SFT)训练的模型迁移有限甚至无迁移。研究还探索差异原因,表明RL微调更具优势。
Reasoning模型可以Self-Train!
当前大模型依赖人类标注数据,成本高且扩展难。论文探讨模型自我纠错、自主进化可能,提出自我奖励训练(SRT),用投票共识代替人类标注。在数学数据集上有效果,但高难度数据集出现问题,作者给出解决办法并开源代码。