数学教育」共找到 488 篇相关文章

新闻资讯8

韦东奕论文登数学顶刊,将散焦方程的爆破性研究扩展至d≥4

韦东奕和北大学者章志飞、邵锋合作的论文发表于数学顶刊《Forum of Mathematics, Pi》。他们将散焦方程的爆破性研究扩展至d≥4,成果填补空白,证明方法可推广到其他方程。

量子位
8

GPT-5.5 Instant上线:幻觉减少52.5%,告别废话

OpenAI完成ChatGPT默认模型的静默升级,GPT-5.5 Instant全面替换GPT-5.3 Instant。它在数学推理、减少幻觉、精简回答、记忆功能等方面有显著改进,还采用灰度推送策略。开发者认为其定位是日常场景够用顺手。

AI工程化
产品应用7

新版DeepSeek R1你得这样用,太爽啦~

前几天DeepSeek R1悄悄更新,作者测评发现,起初用复杂提示词,它比Claude4有明显差距;换成一句话提示词,生成效果质的飞跃,代码能力大幅提升接近Claude4,写作小提升,数学能力提升不大。

开源星探
新闻资讯7

美国首个州建立法案,强制幼儿园到高中必须用AI

2025年8月,俄亥俄州签署预算法案,要求全州K - 12公立学校在2026年7月1日前采用AI使用政策,成为全美首个强制立规矩的州。政策涵盖隐私、道德等关键问题,还介绍了其他州做法及AI教育应用和挑战。

AIGC开放社区
开源动态8

Thinking Machines 发布又一神作「在线策略蒸馏」 ,LLM后训练效率飙升50-100倍

Mira的THINKING MACHINES开源「在线策略蒸馏」LLM后训练方法,结合两种主流后训练范式优点,提升训练效率50 - 100倍,成本降低9到30倍,可用于数学推理、模型个性化等场景。

AI寒武纪
产品应用7

Gemini新手教学

最近Google推出教育优惠,可免费使用15个月含Gemini Advanced等在内的AI产品。作者分享使用Gemini经验,指出其在上下文长度和生态打通方面优于ChatGPT,老牌厂商家底足,OpenAI下半场有压力。

newtype AI
新闻资讯7

Ilya尘封10年录音曝光!大二入Hinton门下,竟坦言机器学习反直觉

新智元报道,博主曝光Ilya 2015年谈论深度学习的语音片段。数学出身的Ilya认为机器学习违反直觉,大二与Hinton合作。他指出监督学习是最成功领域,还谈及神经网络目标函数、深度学习追求等观点。

新智元
推荐文章7

未来两年软件工程展望:从写代码到管 AI,程序员正分化成两种职业

软件行业处在转折点,AI 推动编程变革,企业更重效率。文章围绕五个关键问题展望 2026 年软件工程,分析初级开发者、技能、角色、专家与通才、教育等问题的不同情景,还给出应对建议。

InfoQ
新闻资讯8

腾讯发布超低成本AI训练法!120元效果秒杀70000元微调方案

腾讯提出无训练组相对策略优化Training-Free GRPO,无需调整参数,在提示词中学习经验就能提升模型性能。实验显示,该方法在数学推理和网页搜索任务上效果显著,成本远低于传统方法。

量子位
开源动态7

代季峰陈天桥联手AGI首秀炸场!最强开源深度研究模型,GAIA测试82.4分超OpenAI

MiroMind ODR是代季峰加盟陈天桥后的技术首秀,GAIA测试82.4分超OpenAI。它全开源可复现,包括MiroFlow、MiroThinker等四个子项目。团队还曾推出MiroMind - M1,专注提升数学推理能力。

量子位