[Turkmath:7484] HATIRLATMA-Seminer-Kevin Buzzard (Imperial College London)-Bilecik-5 Mayıs

[Ilker Inam]

Değerli Liste Üyeleri,



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ı* 5 Mayıs 2026 Salı günü* online
olarak zoom üzerinden düzenlenecektir.


Etkinliğin web sitesi: https://bilecikalgebranumbertheory.github.io/ dir.



Sıradaki konuşmacı Imperial College London'ın (İngiltere) değerli öğretim
üyesi* Kevin Buzzard* olacaktır ve konuşma bilgileri aşağıda yer
almaktadır.



*Konuşma Adı:*  *Formalizing Fermat*

*Özet:* 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.


*Tarih: 05/05/2026 *

*Saat: 18:00 İstanbul / 17:00 Berlin / 16:00 Londra / 00:00 Seoul/ 11:00
New York / 01:00 Sydney(+1)*



Katılım için linkte yer alan formun doldurulması yeterlidir,

Form linki: https://forms.gle/Cm2xU3216jm1HaKC8


Zoom linki formu doldurduktan sonra email ile paylaşılacaktır. Etkinlik
posteri ekte yer almaktadır.



Saygılarımla,

Prof.Dr. İlker İnam

Düzenleme komitesi adına.





—————————————————————



Dear list members,



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 *Tue,
May 05, 2026*. The event will be conducted online via Zoom.

The website for the event is:  https://bilecikalgebranumbertheory.github.io/
.



The inaugural speaker will be *Kevin Buzzard*, a faculty member at Imperial
College London. Details of the presentation are provided below.



*Title: **Formalizing Fermat*

*Abstract: * 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.



*Date: May 05, 2026, Tuesday*

*Time: **18:00 İstanbul / 17:00 Berlin / 16:00 Londra / 00:00 Seoul/ 11:00
New York / 01:00 Sydney(+1)*



To participate, simply fill out the form at the following link:

Form Link: https://forms.gle/Cm2xU3216jm1HaKC8



The Zoom link will be shared via email after filling out the form. The
event poster is attached.



Best regards,

Prof.Dr. Ilker Inam

On behalf of the organizing committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20260504/92e5923d/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Poster-Buzzard.jpeg
Type: image/jpeg
Size: 375289 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20260504/92e5923d/attachment-0001.jpeg>