2025年上海交通大学数学科学学院“AI4Math：Lean4与数学形式化”暑期学校报名通知
<section style="background-color: rgb(246, 252, 255); font-size: 15px; line-height: 1.8; letter-spacing: 1px; padding: 0px 8px; box-sizing: border-box; color: rgb(62, 62, 62); text-align: justify;">
<section style="max-width: 100%; display: grid; align-self: flex-start; position: static; box-sizing: border-box;">
<section style="overflow: hidden; line-height: 1.6; font-size: 16px; letter-spacing: 0px; color: rgb(0, 0, 0); grid-template-columns: 100%; grid-template-rows: 100%; box-sizing: border-box; width: 100%; position: static;">
<section style="display: grid; overflow: hidden; box-sizing: border-box;">
<section style="max-width: 100%; width: 99.2771%; margin-left: 0%; margin-top: 0%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 22.4543%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 20px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.2537037" data-w="1080" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663083.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; width: 61.2048%; margin-left: 38.7952%; margin-top: 0%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 16.7704%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 13px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.3076923" data-w="676" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663140.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; width: 24.5754%; margin-left: 0px; margin-top: 75.0368%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 22.0951%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 5px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="1.0067797" data-w="295" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663179.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; width: 19.0331%; margin-left: 0px; margin-top: 32.7562%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 22.7414%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 3px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="1.3412322" data-w="211" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663216.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; width: 12.0482%; margin-left: 86.0151%; margin-top: 71.8771%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 9.32672%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 3px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.869509" data-w="774" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663316.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; width: 29.8795%; margin-left: 70.1205%; margin-top: 14.189%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 31.2124%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 6px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="1.1731343" data-w="335" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663372.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; width: 89.1566%; margin-left: 5.42%; margin-top: 102.031%; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); grid-column-start: 1; grid-row-start: 1; height: 7.6529%; box-sizing: border-box;">
<section style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; pointer-events: none; box-sizing: border-box;">
<section style="line-height: 0; text-align: center; font-size: 18px; height: 100%; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 100%; pointer-events: none; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.0959333" data-w="959" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663418.png"/>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; pointer-events: none; grid-column-start: 1; grid-row-start: 1; box-sizing: border-box;">
<section style="box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; max-width: 100%; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; width: 100%; box-sizing: border-box;">
<svg xmlns="http://www.w3.org/2000/svg" width="100%" height="100%" style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; max-width: 100%;" viewbox="00 367 412">
<svg style="overflow: initial;box-sizing: border-box;" width="90%" height="22.69%" x="5%" y="42.918516407949%">
<foreignobject width="100%" height="100%" style=" transform-origin: center center; -webkit-transform-origin: center center; -moz-transform-origin: center center; -o-transform-origin: center center;-webkit-transform-origin: center center;-moz-transform-origin: center center;-o-transform-origin: center center; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg);-webkit-transform: rotate(0deg);-moz-transform: rotate(0deg);-o-transform: rotate(0deg);box-sizing: border-box;">
<section style="height: 100%;box-sizing: border-box;">
<section style="font-size: 24px;color: rgb(45, 105, 156);text-align: center;letter-spacing: 1px;word-break: break-word;line-height: 1.3;box-sizing: border-box;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">上海交通大学“AI4Math：Lean4与数学形式化”暑期学校报名通知</strong>
</p>
</section>
</section>
</foreignobject>
</svg>
</svg>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; pointer-events: none; grid-column-start: 1; grid-row-start: 1; box-sizing: border-box;">
<section style="box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; max-width: 100%; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; width: 100%; box-sizing: border-box;">
<svg xmlns="http://www.w3.org/2000/svg" width="100%" height="100%" style=" transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg); box-sizing: border-box; max-width: 100%;" viewbox="00 367 412">
<svg style="overflow: initial;box-sizing: border-box;" width="90%" height="10.47%" x="5%" y="51.931354143228%">
<foreignobject width="100%" height="100%" style=" transform-origin: center center; -webkit-transform-origin: center center; -moz-transform-origin: center center; -o-transform-origin: center center;-webkit-transform-origin: center center;-moz-transform-origin: center center;-o-transform-origin: center center; transform: rotate(0deg); -webkit-transform: rotate(0deg); -moz-transform: rotate(0deg); -o-transform: rotate(0deg);-webkit-transform: rotate(0deg);-moz-transform: rotate(0deg);-o-transform: rotate(0deg);box-sizing: border-box;">
<section style="height: 100%;box-sizing: border-box;">
<section style="font-size: 27px;color: rgb(45, 105, 156);text-align: center;letter-spacing: 2px;word-break: break-word;box-sizing: border-box;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"></span>
</p>
</section>
</section>
</foreignobject>
</svg>
</svg>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="grid-column-start: 1; grid-row-start: 1; padding-top: 112.403%; box-sizing: border-box; max-width: 100%;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: center; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: center; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 95%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="display: inline-block; background-color: rgb(255, 255, 255); height: auto; padding: 15px; border-style: solid; border-width: 1px; border-color: rgb(108, 161, 195); border-top-left-radius: 20px; border-bottom-right-radius: 20px; overflow: hidden; box-sizing: border-box; width: 100%; position: static;">
<section style="overflow: hidden; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-indent: 2.1429em; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">近年来，大语言模型的推理能力，尤其是在数学问题求解和证明中的应用成为一大研究热点。然而，数学对推理的严谨性要求极高，单纯依赖语言模型极易出现幻觉等错误。如何将数学的知识与逻辑融入大语言模型，以消除幻觉、提升推理能力和保证严谨性受到日益增加的关注。过去几年，数学形式化逐渐成为一个被广泛采用的可行途径。目前，数学形式化的主要工具为Lean4等，该语言功能强大，但入门门槛较高，限制了它的普及度。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
<p style="text-indent: 2.1429em; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">基于上述背景，上海交通大学数学科学学院机器学习研究所、自然科学研究院，北京大学国际数学研究中心和国际机器学习研究中心拟联合举办“AI4Math：Lean4与数学形式化”暑期学校，以推广Lean4语言和数学形式化，推动AI4Math的发展。本次暑期学校将包含两个专题，分别为</span><strong style="box-sizing: border-box;">专题一：Lean4基础</strong><span leaf="" style="box-sizing: border-box;">和</span><strong style="box-sizing: border-box;">专题二：数值代数形式化</strong><span leaf="" style="box-sizing: border-box;">。</span>
</p>
<p style="text-indent: 2.1429em; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
<p style="text-indent: 0em; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">组织者：</strong>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">罗涛，上海交通大学数学科学学院副教授</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">梁经纬，上海交通大学自然科学研究院副教授</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">董彬，北京大学国际数学研究中心教授</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">文再文，北京大学国际数学研究中心教授</span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="text-align: center; justify-content: center; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 60px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 60px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.4222222" data-w="225" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663455.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; background-color: rgb(45, 105, 156); padding: 5px 20px; margin: 0px 5px; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="font-size: 17px; color: rgb(255, 255, 255); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">专题一： Lean4基础</strong>
</p>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; transform: perspective(0px); -webkit-transform: perspective(0px); -moz-transform: perspective(0px); -o-transform: perspective(0px); box-sizing: border-box;">
<section style="transform-style: flat; box-sizing: border-box; max-width: 100%; position: static;">
<section style="transform-style: flat; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px; transform: rotateY(180deg); -webkit-transform: rotateY(180deg); -moz-transform: rotateY(180deg); -o-transform: rotateY(180deg); box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 60px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 60px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.4222222" data-w="225" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663455.png"/>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: center; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: center; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 95%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="display: inline-block; background-color: rgb(255, 255, 255); height: auto; padding: 15px; border-style: solid; border-width: 1px; border-color: rgb(108, 161, 195); box-sizing: border-box; width: 100%; position: static;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">时间：</strong><span leaf="" style="box-sizing: border-box;">2025年7月14 - 20日</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">规模：</strong><span leaf="" style="box-sizing: border-box;">计划招生人数为25人。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">一、报名条件</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.数学或计算机科学等相关专业的本科生或低年级研究生。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.具有较强的数学素养，对数学形式化感兴趣。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">3.具备一定编程基础的学生优先考虑。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">二、食宿安排</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">为</span><strong style="box-sizing: border-box;">非上海地区</strong><span leaf="" style="box-sizing: border-box;">的学生提供住宿补助1000元，</span><strong style="box-sizing: border-box;">为所有同学</strong><span leaf="" style="box-sizing: border-box;">提供餐费补助300元。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">三、课程安排</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">完成分组课题，并进行展示。</span><strong style="box-sizing: border-box;">在学员的意愿基础上，择优选择部分学生进入专题二继续学习</strong><span leaf="" style="box-sizing: border-box;">。</span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="text-align: center; justify-content: center; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 60px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 60px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.4222222" data-w="225" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663455.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; background-color: rgb(45, 105, 156); padding: 5px 20px; margin: 0px 5px; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="font-size: 17px; color: rgb(255, 255, 255); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">专题二：数值代数与形式化</strong>
</p>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; transform: perspective(0px); -webkit-transform: perspective(0px); -moz-transform: perspective(0px); -o-transform: perspective(0px); box-sizing: border-box;">
<section style="transform-style: flat; box-sizing: border-box; max-width: 100%; position: static;">
<section style="transform-style: flat; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px; transform: rotateY(180deg); -webkit-transform: rotateY(180deg); -moz-transform: rotateY(180deg); -o-transform: rotateY(180deg); box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 60px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 60px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.4222222" data-w="225" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663455.png"/>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: center; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: center; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 95%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="display: inline-block; background-color: rgb(255, 255, 255); height: auto; padding: 15px; border-style: solid; border-width: 1px; border-color: rgb(108, 161, 195); box-sizing: border-box; width: 100%; position: static;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">时间：</strong><span leaf="" style="box-sizing: border-box;">2025年7月14日 - 2025年8月3日</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">规模：</strong><span leaf="" style="box-sizing: border-box;">招生人数为20人。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">一、报名条件</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.数学或计算机科学等相关专业的二三年级本科生优先考虑。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.有编程基础、数值代数相关基础的学生优先考虑。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">3.有数学或相关竞赛经历的学生优先考虑。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">4.结课后仍能持续投入时间和精力：积极参与交流讨论，听从导师与助教的安排和指导。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">二、食宿安排</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">为</span><strong style="box-sizing: border-box;">非上海地区</strong><span leaf="" style="box-sizing: border-box;">的同学提供免费住宿，为</span><strong style="box-sizing: border-box;">所有同学</strong><span leaf="" style="box-sizing: border-box;">提供餐费补助300元/周。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">三、课程安排</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.第一阶段（7月14-20日）：进行Lean4的学习，完成Lean提供的Mathematics in Lean中10道练习题。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.第二阶段：</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">a.（7月21-27日）协助整理数学定理证明的自然言语版本；完成导师指定的数值代数相关的形式化证明。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">b.（7月28日-8月3日）进行数值代数的形式化。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">3.第三阶段：我们将从完成第二阶段的学员中择优选择10名同学，于8月底集中进行数学形式化工作。具体细节将另行通知。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">注：前两周都设有考核，不达标的同学不能继续下一阶段的学习。</strong>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="text-align: center; justify-content: center; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 60px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 60px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.4222222" data-w="225" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663455.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; background-color: rgb(45, 105, 156); padding: 5px 20px; margin: 0px 5px; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="font-size: 17px; color: rgb(255, 255, 255); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span style="box-sizing: border-box;"><strong style="box-sizing: border-box;">报名材料与方式</strong></span>
</p>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: middle; width: auto; align-self: center; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; transform: perspective(0px); -webkit-transform: perspective(0px); -moz-transform: perspective(0px); -o-transform: perspective(0px); box-sizing: border-box;">
<section style="transform-style: flat; box-sizing: border-box; max-width: 100%; position: static;">
<section style="transform-style: flat; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px; transform: rotateY(180deg); -webkit-transform: rotateY(180deg); -moz-transform: rotateY(180deg); -o-transform: rotateY(180deg); box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 60px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 60px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.4222222" data-w="225" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663455.png"/>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: center; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: center; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 95%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="display: inline-block; background-color: rgb(255, 255, 255); height: auto; padding: 15px; border-style: solid; border-width: 1px; border-color: rgb(108, 161, 195); box-sizing: border-box; width: 100%; position: static;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">一、报名材料</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.成绩单（教务部门出具）。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.竞赛获奖证书等补充材料。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">3.个人简历和陈述。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 0px 0px 10px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: auto; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box; position: static;">
<section style="box-sizing: border-box;">
<section style="position: static; max-width: 100%; box-sizing: border-box;">
<section style="justify-content: flex-start; display: flex; flex-flow: row; box-sizing: border-box; max-width: 100%; position: static;">
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; width: 40px; display: inline-block; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; width: 40px; height: auto; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.6917808" data-w="292" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663513.png"/>
</section>
</section>
</section>
</section>
<section style="display: inline-block; vertical-align: bottom; width: auto; align-self: flex-end; flex: 0 0 auto; min-width: 5%; max-width: 100%; height: auto; padding: 5px 10px; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; line-height: 1; color: rgb(45, 105, 156); letter-spacing: 2px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">二、报名方式</strong>
</p>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; margin: 0px; box-sizing: border-box; max-width: 100%;">
<section style="background-color: rgb(108, 161, 195);height: 2px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.网上报名：</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">通过网址https://wj.sjtu.edu.cn/q/bKSvNqG5填写在线报名表。</span><strong style="box-sizing: border-box;">（注：交大学生也要报名）</strong>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.将报名材料按照报名材料顺序合并转成一个PDF文档，文档命名格式为：</span><strong style="box-sizing: border-box;">“专题一/二+学生姓名+学校名称”</strong><span leaf="" style="box-sizing: border-box;">（如专题一+张三+上海交通大学）。将电子文档发送至邮箱：AI4MathSJTU@163.com，邮件主题命名格式为：`专题一/二+学生姓名+学校名称`。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">注：以邮件收到的报名材料为准，仅在网上报名而不按照要求发送电子材料视为报名无效。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">3.报名截止日期为2025年6月15日。</span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; justify-content: center; display: flex; flex-flow: row; margin: 20px 0px; box-sizing: border-box; max-width: 100%;">
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 0 0 auto;min-width: 5%;max-width: 100%;height: auto;line-height: 0;box-sizing: border-box;">
<section style="text-align: left;margin: 0px; transform: translate3d(1px, 0px, 0px); -webkit-transform: translate3d(1px, 0px, 0px); -moz-transform: translate3d(1px, 0px, 0px); -o-transform: translate3d(1px, 0px, 0px);-webkit-transform: translate3d(1px, 0px, 0px);-moz-transform: translate3d(1px, 0px, 0px);-o-transform: translate3d(1px, 0px, 0px);box-sizing: border-box;">
<section style="display: inline-block;width: 6px;height: 6px;vertical-align: top;overflow: hidden;background-color: rgb(45, 105, 156);box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 0 0 auto;min-width: 5%;max-width: 100%;height: auto;line-height: 0;box-sizing: border-box;">
<section style="text-align: left;margin: 0px; transform: translate3d(1px, 0px, 0px); -webkit-transform: translate3d(1px, 0px, 0px); -moz-transform: translate3d(1px, 0px, 0px); -o-transform: translate3d(1px, 0px, 0px);-webkit-transform: translate3d(1px, 0px, 0px);-moz-transform: translate3d(1px, 0px, 0px);-o-transform: translate3d(1px, 0px, 0px);box-sizing: border-box;">
<section style="display: inline-block;width: 6px;height: 6px;vertical-align: top;overflow: hidden;background-color: rgb(45, 105, 156);box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 0 0 auto;min-width: 5%;max-width: 100%;height: auto;line-height: 0;box-sizing: border-box;">
<section style="text-align: left;margin: 0px; transform: translate3d(1px, 0px, 0px); -webkit-transform: translate3d(1px, 0px, 0px); -moz-transform: translate3d(1px, 0px, 0px); -o-transform: translate3d(1px, 0px, 0px);-webkit-transform: translate3d(1px, 0px, 0px);-moz-transform: translate3d(1px, 0px, 0px);-o-transform: translate3d(1px, 0px, 0px);box-sizing: border-box;">
<section style="display: inline-block;width: 6px;height: 6px;vertical-align: top;overflow: hidden;background-color: rgb(45, 105, 156);box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 100 100 0%;height: auto;padding: 0px 10px;box-sizing: border-box;">
<section style="margin: 0.5em 0px;box-sizing: border-box;">
<section style="background-color: rgb(45, 105, 156);height: 1px;box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 0 0 auto;min-width: 5%;max-width: 100%;height: auto;line-height: 0;box-sizing: border-box;">
<section style="text-align: left;margin: 0px; transform: translate3d(1px, 0px, 0px); -webkit-transform: translate3d(1px, 0px, 0px); -moz-transform: translate3d(1px, 0px, 0px); -o-transform: translate3d(1px, 0px, 0px);-webkit-transform: translate3d(1px, 0px, 0px);-moz-transform: translate3d(1px, 0px, 0px);-o-transform: translate3d(1px, 0px, 0px);box-sizing: border-box;">
<section style="display: inline-block;width: 6px;height: 6px;vertical-align: top;overflow: hidden;background-color: rgb(45, 105, 156);box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 0 0 auto;min-width: 5%;max-width: 100%;height: auto;line-height: 0;box-sizing: border-box;">
<section style="text-align: left;margin: 0px; transform: translate3d(1px, 0px, 0px); -webkit-transform: translate3d(1px, 0px, 0px); -moz-transform: translate3d(1px, 0px, 0px); -o-transform: translate3d(1px, 0px, 0px);-webkit-transform: translate3d(1px, 0px, 0px);-moz-transform: translate3d(1px, 0px, 0px);-o-transform: translate3d(1px, 0px, 0px);box-sizing: border-box;">
<section style="display: inline-block;width: 6px;height: 6px;vertical-align: top;overflow: hidden;background-color: rgb(45, 105, 156);box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
<section style="display: inline-block;vertical-align: middle;width: auto;align-self: center;flex: 0 0 auto;min-width: 5%;max-width: 100%;height: auto;line-height: 0;box-sizing: border-box;">
<section style="text-align: left;margin: 0px; transform: translate3d(1px, 0px, 0px); -webkit-transform: translate3d(1px, 0px, 0px); -moz-transform: translate3d(1px, 0px, 0px); -o-transform: translate3d(1px, 0px, 0px);-webkit-transform: translate3d(1px, 0px, 0px);-moz-transform: translate3d(1px, 0px, 0px);-o-transform: translate3d(1px, 0px, 0px);box-sizing: border-box;">
<section style="display: inline-block;width: 6px;height: 6px;vertical-align: top;overflow: hidden;background-color: rgb(45, 105, 156);box-sizing: border-box;">
<svg viewbox="0 0 1 1" style="float: left; line-height: 0; width: 0px; box-sizing: border-box;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: center; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: center; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 95%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="display: inline-block; background-color: rgb(255, 255, 255); height: auto; padding: 15px; border-style: solid; border-width: 1px; border-color: rgb(108, 161, 195); border-top-left-radius: 20px; border-bottom-right-radius: 20px; overflow: hidden; box-sizing: border-box; width: 100%; position: static;">
<section style="overflow: hidden; box-sizing: border-box;">
<section style="max-width: 100%; margin: 0px 0px -15px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 35%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 100%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="background-image: linear-gradient(0deg, rgb(45, 105, 156) 13%, rgb(69, 100, 163) 88%); border-radius: 197px; overflow: hidden; padding: 4px 16px; box-sizing: border-box; width: 100%; position: static;">
<section style="overflow: hidden; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; color: rgb(255, 255, 255); box-sizing: border-box; max-width: 100%;">
<p style="text-align: center; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">结业形式</strong>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; box-sizing: border-box; max-width: 100%;">
<section style="display: inline-block;width: 0px;height: 0px;vertical-align: top;overflow: hidden;padding: 0px;border-style: solid;border-width: 9px 8px 0px;border-color: rgb(45, 105, 157) rgba(255, 255, 255, 0) rgb(251, 133, 129);box-sizing: border-box;">
<section style="text-align: justify;box-sizing: border-box;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; line-height: 2; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.两个专题的学生完成相应的课程任务后可获得结业证书。</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.表现优异的学生将获得组委会颁发的荣誉证书。</span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 20px 0px -15px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 35%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 100%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="background-image: linear-gradient(0deg, rgb(45, 105, 156) 13%, rgb(69, 100, 163) 88%); border-radius: 197px; overflow: hidden; padding: 4px 16px; box-sizing: border-box; width: 100%; position: static;">
<section style="overflow: hidden; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; color: rgb(255, 255, 255); box-sizing: border-box; max-width: 100%;">
<p style="text-align: center; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">联系方式</strong>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; box-sizing: border-box; max-width: 100%;">
<section style="display: inline-block;width: 0px;height: 0px;vertical-align: top;overflow: hidden;padding: 0px;border-style: solid;border-width: 9px 8px 0px;border-color: rgb(45, 105, 157) rgba(255, 255, 255, 0) rgb(251, 133, 129);box-sizing: border-box;">
<section style="text-align: justify;box-sizing: border-box;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">邮箱：AI4MathSJTU@163.com</span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 20px 0px -15px; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 35%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 100%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="background-image: linear-gradient(0deg, rgb(45, 105, 156) 13%, rgb(69, 100, 163) 88%); border-radius: 197px; overflow: hidden; padding: 4px 16px; box-sizing: border-box; width: 100%; position: static;">
<section style="overflow: hidden; box-sizing: border-box;">
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; color: rgb(255, 255, 255); box-sizing: border-box; max-width: 100%;">
<p style="text-align: center; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">课程大纲</strong>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: center; box-sizing: border-box; max-width: 100%;">
<section style="display: inline-block;width: 0px;height: 0px;vertical-align: top;overflow: hidden;padding: 0px;border-style: solid;border-width: 9px 8px 0px;border-color: rgb(45, 105, 157) rgba(255, 255, 255, 0) rgb(251, 133, 129);box-sizing: border-box;">
<section style="text-align: justify;box-sizing: border-box;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">课程时间：2025年7月14日 - 2025年8月3日</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">专题一： </strong><span leaf="" style="box-sizing: border-box;">2025年7月14日 - 2025年7月20日</span>
</p>
</section>
</section>
<section style="max-width: 100%; margin-top: 10px; margin-bottom: 10px; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.3849246" data-w="995" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814663930.png"/>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<strong style="box-sizing: border-box;">专题二： </strong><span leaf="" style="box-sizing: border-box;">2025年7月14日 - 2025年8月3日</span>
</p>
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">数值代数授课老师：罗涛，梁经纬</span>
</p>
</section>
</section>
<section style="max-width: 100%; margin-top: 10px; margin-bottom: 10px; box-sizing: border-box;">
<section style="line-height: 0; box-sizing: border-box; max-width: 100%; position: static;">
<section style="max-width: 100%; vertical-align: middle; display: inline-block; line-height: 0; box-sizing: border-box;">
<img class="raw-image" style="vertical-align: middle; max-width: 100%; width: 100%; box-sizing: border-box;" data-ratio="0.3695861" data-w="1039" _width="100%" data-s="300,640" crossorigin="anonymous" src="http://prebyrapitest.yunjijiaoyu.club/static/1747814664047.png"/>
</section>
</section>
</section>
<section style="display: contents; box-sizing: border-box;">
<section style="display: contents; position: static; box-sizing: border-box;">
<section style="display: contents; box-sizing: border-box;">
<section style="text-align: justify; box-sizing: border-box; max-width: 100%;">
<p style="text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-align: justify; font-size: 14px; box-sizing: border-box; max-width: 100%;">
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">参考资料：</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">1.Lean4安装上手指南:</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">http://faculty.bicmr.pku.edu.cn/~wenzw/formal/docs/#/zh-cn/</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">2.Matrixcookbook:</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">3.Mathematics in Lean:</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">https://leanprover-community.github.io/mathematics_in_lean/</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">4.Metaprogramming in Lean:</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">https://leanprover-community.github.io/lean4-metaprogramming-book/</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">5.Theorem proving in Lean4: </span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">https://leanprover.github.io/theorem_proving_in_lean4/</span>
</p>
<p style="word-break: break-all; text-wrap: wrap; margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;">6.ReasLab: https://alpha.reaslab.io/</span>
</p>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<section style="max-width: 100%; position: static; box-sizing: border-box;">
<section style="text-wrap: wrap; margin: 0px; padding: 0px; box-sizing: border-box; max-width: 100%;">
<p style="margin-top: 0px; margin-bottom: 0px; padding: 0px; box-sizing: border-box;">
<span leaf="" style="box-sizing: border-box;"><br style="box-sizing: border-box;"/></span>
</p>
</section>
</section>
<section style="max-width: 100%; margin: 54px 0% 10px; position: static; box-sizing: border-box;">
<section style="text-align: left; flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 100%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="border-style: solid; border-width: 2px; border-color: rgb(153, 26, 26); padding: 0px; box-sizing: border-box; width: 100%; position: static;">
<section style="box-sizing: border-box;">
<section style="max-width: 100%; margin: -44px 0% 0px; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box; position: static;">
<svg viewbox="0 0 1 1" style="float:left;line-height:0;width:0;vertical-align:top;"></svg>
</section>
</section>
<section style="max-width: 100%; width: 100%; margin: 0px 0%; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box; width: 100%; position: static;">
<section style="max-width: 100%; width: 100%; box-sizing: border-box;">
<section style="flex-flow: row; box-sizing: border-box; max-width: 100%; width: 100%; position: static;">
<section style="flex-direction: row; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box;">
<section style="flex-direction: row; max-width: 100%; box-sizing: border-box; width: 100%; position: static;">
<section style="display: flex; justify-content: flex-start; flex-direction: row; max-width: 100%; box-sizing: border-box;">
<section style="max-width: 100%; display: inline-block; width: 100%; flex: 0 0 auto; align-self: flex-start; vertical-align: top; box-sizing: border-box;">
<section style="max-width: 100%; box-sizing: border-box; width: 100%; position: static;">
<svg viewbox="0 0 1 1" style="float:left;line-height:0;width:0;vertical-align:top;"></svg>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
</section>
<p>
<br/>
</p>
页:
[1]
