参加《AI智能数学领航计划》学分培训有感-第三天

参加《AI智能数学领航计划》学分培训有感-第三天 温州市瓯海区三溪中学 张明 培训地：温州大学 今天（2025.3.16）上午是浙江省顶级高中镇海中学沈虎跃老师做报告。听了他报告，让我去辅导强基和奥数我会诚惶诚恐忐忑不安。我不是谦虚是心虚。沈老师奥数金牌教练。他给我们讲强基题、奥数题。这些强基题要么我只能去理解，要么自己无法想到。但有人就是会想到，他说。 在顶尖高中数学老师最好辅导过奥数。于是你就可以分辨哪些是高考题，哪些是强基题，哪些是奥数题。于是复习就会高效有针对性。 沈老师在讲台上讲解时我打断他话，说：“沈老师是不是经常解题？你解题能力太强了。”沈老师解题能力比我强。我对全国高中数学联赛预赛二试题我只能看懂，自己不会解。要想会解，我只能去熟能生巧，再无其他办法。勤能补拙才是大部分老师要遵循的道理。 沈老师介绍了一种教学方法。老师要把数学方法的边界搞清楚、对数学方法进行评估，清楚此方法只能解哪些题？哪些题此法没办法。就像筛选法只能把哥德巴赫猜想解决到1+2，如果想彻底解决1+1只能发明新办法。张益唐的证明孪生素数猜想办法也一样。老师们你有这样解题和备课吗？我们只是就题论题。 沈老师还讲解了跟条件概率、贝叶斯公式、全概率公式有关的题目。这些题目强基题难度。我学习强基、奥数不是教学生强基、奥数，而是把平常的任课老师做好。假如我到新学校会上讲台。沈老师建议任课老师懂点奥数。理由上面已说。 下午是刘军老师的《大模型及其数学推理应用》课。 他建议解数学题用推理模型而不是基础模型。你可以让大模型对一道题一题多解，并对解法进行评估。这功能太棒了，帮了我们老师大忙。 比推理模型更强地是专用模型。他举了个九章大模型例子。此模型专为数学而生。 先普及几个知识点。MATLAB、Maple、mathematica被称三大数学软件。这三个软件对于高中老师是用来解题或辅助教学。比如你要生成个三角函数值随终边变化的动画。你让谷歌的Gemini大模型生成数学软件相对应的程序，然后复制到数学软件里让它执行，就可以生成动画。 百日梦可以AI生文，文生图片，图生视频。也就是说我们可以拍电影。