<div dir="ltr"><div dir="ltr"><div><span style="font-family:arial,sans-serif">Değerli Liste Üyeleri, </span><br></div><div><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Bilecik Şeyh Edebali Üniversitesi Fen Fakültesi Matematik Bölümü Cebir ve Sayılar Teorisi Anabilim dalı öğretim üyeleri tarafından kurulan “Bilecik Algebra & Number Theory (BANT)” grubu tarafından organize edilen seminer serilerinin yeni konuşması<b> 5 Mayıs 2026 Salı günü</b> online olarak zoom üzerinden düzenlenecektir. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"><br></font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Etkinliğin web sitesi: <a href="https://bilecikalgebranumbertheory.github.io/" target="_blank">https://bilecikalgebranumbertheory.github.io/</a> dir. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Sıradaki konuşmacı Imperial College London'ın (İngiltere) değerli öğretim üyesi<b> Kevin Buzzard</b> olacaktır ve konuşma bilgileri aşağıda yer almaktadır. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"><b>Konuşma Adı:</b> <span style="color:rgb(36,41,46)"> </span></font><b style="color:rgb(36,41,46);font-family:arial,sans-serif">Formalizing Fermat</b></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><b style="font-family:arial,sans-serif">Özet:</b><span style="font-family:arial,sans-serif"> </span><span style="color:rgb(36,41,46);background-color:rgb(255,255,255)"><font face="arial, sans-serif">I’ll talk about a project I’m currently working on, which is teaching a proof of Fermat’s Last Theorem to a computer theorem prover called Lean. It’s a bit like teaching Fermat’s Last Theorem to a very careful but quite unimaginative graduate student, although as AI gets better the student is slowly becoming more imaginative. I will not be assuming anything about AI or Lean, or about the deep mathematics which goes into the proof, and the talk should be accessible to a general mathematical audience.</font></span></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><br></p><div><font face="arial, sans-serif"><b><br></b></font><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><b><font face="arial, sans-serif">Tarih: 05/05/2026 </font></b></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><b><font face="arial, sans-serif">Saat: 18:00 İstanbul / 17:00 Berlin / 16:00 Londra / 00:00 Seoul/ 11:00 New York / 01:00 Sydney(+1)</font></b></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Katılım için linkte yer alan formun doldurulması yeterlidir, </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Form linki: </font><a href="https://forms.gle/Cm2xU3216jm1HaKC8" target="_blank">https://forms.gle/Cm2xU3216jm1HaKC8</a> </p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><br></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Zoom linki formu doldurduktan sonra email ile paylaşılacaktır. Etkinlik posteri ekte yer almaktadır. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Saygılarımla, </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Prof.Dr. İlker İnam</font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Düzenleme komitesi adına. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">————————————————————— </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Dear list members, </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">The "Bilecik Algebra & Number Theory (BANT)" group, founded by the faculty members of the Department of Algebra and Number Theory at Bilecik Seyh Edebali University's Faculty of Science, will host its next semester on <b>Tue, May 05, 2026</b>. The event will be conducted online via Zoom. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">The website for the event is:  <a href="https://bilecikalgebranumbertheory.github.io/" target="_blank">https://bilecikalgebranumbertheory.github.io/</a>. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">The inaugural speaker will be<span> </span></font><b style="font-family:arial,sans-serif">Kevin Buzzard</b><font face="arial, sans-serif">, a faculty member at Imperial College London. Details of the presentation are provided below. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"><b>Title: </b></font><b style="color:rgb(36,41,46);font-family:arial,sans-serif">Formalizing Fermat</b></p><span style="color:rgb(36,41,46)"></span><span style="color:rgb(36,41,46);font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol""></span><font face="arial, sans-serif"></font><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"><b>Abstract: </b></font><span style="font-family:arial,sans-serif"> </span><span style="color:rgb(36,41,46)"><font face="arial, sans-serif">I’ll talk about a project I’m currently working on, which is teaching a proof of Fermat’s Last Theorem to a computer theorem prover called Lean. It’s a bit like teaching Fermat’s Last Theorem to a very careful but quite unimaginative graduate student, although as AI gets better the student is slowly becoming more imaginative. I will not be assuming anything about AI or Lean, or about the deep mathematics which goes into the proof, and the talk should be accessible to a general mathematical audience.</font></span></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><span style="color:rgb(36,41,46);font-family:arial,sans-serif"><br></span></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><span style="color:rgb(36,41,46);font-family:arial,sans-serif"><br></span></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><b><font face="arial, sans-serif">Date: May 05, 2026, Tuesday</font></b></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><b><font face="arial, sans-serif">Time: </font></b><b><font face="arial, sans-serif">18:00 İstanbul / 17:00 Berlin / 16:00 Londra / 00:00 Seoul/ 11:00 New York / 01:00 Sydney(+1)</font></b></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">To participate, simply fill out the form at the following link: </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Form Link: </font><a href="https://forms.gle/Cm2xU3216jm1HaKC8" target="_blank">https://forms.gle/Cm2xU3216jm1HaKC8</a></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">The Zoom link will be shared via email after filling out the form. The event poster is attached. </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif"> </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Best regards, </font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">Prof.Dr. Ilker Inam</font></p><p style="margin:0px;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;line-height:normal"><font face="arial, sans-serif">On behalf of the organizing committee</font></p></div></div></div>
</div>