<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0"><channel><title><![CDATA[Formal Patterns: For students]]></title><description><![CDATA[Some advice]]></description><link>https://formalpatterns.substack.com/s/to-my-students</link><image><url>https://substackcdn.com/image/fetch/$s_!DbKj!,w_256,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F680a9d43-c83f-4a1d-823b-576d90418cc8_1280x1280.png</url><title>Formal Patterns: For students</title><link>https://formalpatterns.substack.com/s/to-my-students</link></image><generator>Substack</generator><lastBuildDate>Wed, 08 Jul 2026 11:00:52 GMT</lastBuildDate><atom:link href="https://formalpatterns.substack.com/feed" rel="self" type="application/rss+xml"/><copyright><![CDATA[Adrian Chu]]></copyright><language><![CDATA[en]]></language><webMaster><![CDATA[formalpatterns@substack.com]]></webMaster><itunes:owner><itunes:email><![CDATA[formalpatterns@substack.com]]></itunes:email><itunes:name><![CDATA[Adrian Chu]]></itunes:name></itunes:owner><itunes:author><![CDATA[Adrian Chu]]></itunes:author><googleplay:owner><![CDATA[formalpatterns@substack.com]]></googleplay:owner><googleplay:email><![CDATA[formalpatterns@substack.com]]></googleplay:email><googleplay:author><![CDATA[Adrian Chu]]></googleplay:author><itunes:block><![CDATA[Yes]]></itunes:block><item><title><![CDATA[Why not to over-rely on AI]]></title><description><![CDATA[To my dear students: I would like to give 4 reasons why not to over-rely on AI.]]></description><link>https://formalpatterns.substack.com/p/why-not-to-over-rely-on-ai</link><guid isPermaLink="false">https://formalpatterns.substack.com/p/why-not-to-over-rely-on-ai</guid><dc:creator><![CDATA[Adrian Chu]]></dc:creator><pubDate>Mon, 18 May 2026 05:10:33 GMT</pubDate><enclosure url="https://substackcdn.com/image/fetch/$s_!tIO-!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png" length="0" type="image/jpeg"/><content:encoded><![CDATA[<p>To my dear students: I would like to give 4 reasons why not to over-rely on AI.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!tIO-!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!tIO-!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 424w, https://substackcdn.com/image/fetch/$s_!tIO-!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 848w, https://substackcdn.com/image/fetch/$s_!tIO-!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 1272w, https://substackcdn.com/image/fetch/$s_!tIO-!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!tIO-!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png" width="632" height="355.5" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/ea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:819,&quot;width&quot;:1456,&quot;resizeWidth&quot;:632,&quot;bytes&quot;:1698412,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:false,&quot;topImage&quot;:true,&quot;internalRedirect&quot;:&quot;https://formalpatterns.substack.com/i/198195420?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!tIO-!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 424w, https://substackcdn.com/image/fetch/$s_!tIO-!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 848w, https://substackcdn.com/image/fetch/$s_!tIO-!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 1272w, https://substackcdn.com/image/fetch/$s_!tIO-!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fea69bd9c-6e40-4656-844a-524e7254f1a6_1672x941.png 1456w" sizes="100vw" fetchpriority="high"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h2>1.   In-class exams</h2><p>The quizzes and exams may be in-class. If one heavily uses AI do homework and try to &#8220;learn&#8221; by only reading the outputs, they will certainly suffer in exams. </p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://formalpatterns.substack.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Formal Patterns! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div><p><em>Math is not a spectator sport. </em>It is impossible to learn math well only by reading. One must get their hands dirty and <em>struggle</em> through deep thinking, in order to truly understand the concepts, and hence excel in exams. (This is not an opinion, but a general phenomenon: Every mathematician agrees on this.)</p><p>It is like going to the gym: If you are not suffering, you are not doing it right: <em>The  suffering is the whole point.</em> For math, the suffering <em>is the learning process</em>. If everything feels so easy, probably you are not learning it right.</p><p>So, if you care about GPA, then I think the above should be a pretty sufficient reason to not over-rely on AI when doing homework.</p><p>But you may ask: <em>If AI can already do all undergraduate math (which is quite true), what the hell is the point of in-class exam? Why do I need to know all these math by heart? After all, in real life, no company will ban their employee from using AI, if AI can increase productivity.</em></p><p>Good question. This brings us to:</p><h2>2.   Job prospects</h2><p>Everyone wants intelligent coworkers, who acquire clear and deep understanding of the tasks. No one likes a coworker that only have shallow understanding of everything, and is glued to an LLM all day. There are two reasons behind:</p><h3>2.1.   Practical</h3><p>If candidate A is better than everyone else in doing a certain task, then very likely candidate A will also be <em>better at using an AI</em> to do the task, just as experienced coders tend to be better at vibe-coding than inexperienced coders.</p><p>Learning how to use AI is easy, once you know what you are doing.</p><p>But it is not just about productivity.</p><h3>2.2.   Human nature</h3><p>People just <em>like</em> talking to smart people. Even if an LLM can answer all my questions, I would definitely still prefer chatting with other human: It&#8217;s just way more fun! </p><p><em>This is built into our psychology:</em> There exists natural affinity (sometimes repulsion) between human beings, which do not exist between a human and a robot.</p><p>Now, imagine yourself entering the job market. Through in-person interviews, it is <em>extremely easy</em> for employers to distinguish an intelligent and thoughtful candidate who set for themself high standards, from one who is hollow inside and survived 4 years of college via abusing ChatGPT. Trust me - <em>it is very easy to tell the difference</em>. This is also why oral exams (though time-consuming) are widely considered much better than written exams in judging students&#8217; ability.</p><p>We are not just tools: Employers do not only care about what we can do, but also <em>who we are</em>. </p><h2>3.   Healthy cognitive diets</h2><p>(I first heard this analogy with healthy diet and life style from Terence Tao.)</p><p>As you probably have heard: Universities are not merely training centers for industry jobs: They also, among other things, foster our intellectual growth. From this point of view, what are the effects of over-reliance on AI?</p><p>Returning to our math classes: Beyond securing good grades and good careers, <em>what are the benefits of devoting serious mental efforts to struggle through homework? </em></p><p>Let&#8217;s consider an analogous question: <em>What are the benefits of going to gyms? </em></p><h3>3.1. Gyms</h3><p>100 years ago, people did not go to gyms. That&#8217;s because <em>they did not need to</em>. Back then most jobs are hard labor anyway: There&#8217;s no need for extra workout. But then came the industrial revolution. From scarcity in labor, we have abundance in labor, by machines. With the rise of white collar jobs, more and more people just sat in office all day, and became obese. Gradually, people realized the importance of healthy life style. Going to gym then became <em>trendy</em>.</p><p>The point is: <em>With new technology comes new responsibility, in maintaining our own well-being.</em></p><h3>3.2.   Homework</h3><p>With the internet and AI, we are entering the age of abundance of information and intelligence. How would that impact our brain?</p><p>Well, what have Youtube, Instagram, and Tiktok done to our brains? Everybody knows: They feed on our impulse to fulfill momentary visual pleasure, and have thereby greatly <em>decreased our attention span. </em>Nowadays<em> </em>reading novels, or even <em>watching movies,</em> are considered demanding!  </p><p><em>With new technology comes new responsibility. </em>I argue that, the intentional act of doing mental hard work, e.g. homework, is an ideal way to defend and train ourselves.  </p><p>It is very tempting to use AI to solve all homework problems. In short term, this may appears to be an economical way to earn good grades. But in doing so, we are forfeiting the opportunity to develop careful and logical reasoning skills, the patience and persistence for solving difficult problems (not just in math), and<em> </em>even<em> the self-discipline required to succeed, in life</em>. </p><p>Homework should be viewed as a vital part of a <em>healthy cognitive diet</em>: It prepares us for other (more meaningful) tasks in the future.</p><p>One might naively reassure themself, &#8220;I will <em>just</em> use ChatGPT for homework. And I promise, later when it comes to things that &#8216;truly matters&#8217;, I will put in real effort.&#8221; </p><p>Regrettably, our brains do not function like that. We are all shaped by our habits. To be lazy for 4 years and then miraculously become self-disciplined overnight is simply psychologically (or even neurologically) <em>unfeasible</em>.</p><h2>4.   Knowledge as a path to happiness</h2><p>To me, this final reason is the most important one.</p><p>The great mathematician Dennis Sullivan once commented: &#8220;What&#8217;s the secret to happiness in life? Two words: <em>Be interested</em>.&#8221;</p><p>In other words, stay curious, like a child. And I believe, <em>learning</em> is the a very effective way to achieve that.</p><p>But this deserves another long discussion: See a <a href="https://formalpatterns.wordpress.com/2024/07/22/reflections-on-an-academic-journey-3-my-path-to-happiness/">previous post</a> of mine.</p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://formalpatterns.substack.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Formal Patterns! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div>]]></content:encoded></item></channel></rss>