<div dir="ltr">Sayın Liste Üyeleri,<br><br>Kariyerine Silikon Vadisi’nde, matematikte yapay zekâ uygulamalarını hedefleyen Axioms adlı start-up’ta devam eden <div><br><div><span style="color:rgb(0,0,0)"><a href="https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417">https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417</a></span></div><div><br></div><div>ve aynı zamanda University of Virginia öğretim üyesi olan <div><br></div><div><b>Prof. Dr. Ken Ono,</b></div><div><br><b>4 Mayıs 2026 Pazartesi günü saat 09:00’da<br></b><br>aşağıda bilgileri yer alan bir genel konuşma gerçekleştirecektir.<br><br>Konuşma Prof Ono'nun uzaktan katılımıyla hibrit olarak düzenlenecek olup, öğrenci ve akademisyenlerin katılımıyla Bilecik Şeyh Edebali Üniversitesi Fen Fakültesi Konferans Salonu’nda gerçekleştirilecektir. Etkinlik ayrıca <b>Bilecik Şeyh Edebali Üniversitesi resmî YouTube kanalı üzerinden canlı olarak yayınlanacaktır:</b><br><br><a href="https://www.youtube.com/@bseuniversitesi">https://www.youtube.com/@bseuniversitesi</a><br><br>Katılımda dil engeli oluşmaması amacıyla simultane çeviri sağlanacaktır. Etkinlik posteri ekte yer almaktadır.<br><br>Genel konuşmanın devamı niteliğindeki bir diğer etkinlik daha önce duyurulmuş olup, Imperial College London öğretim üyesi Prof. Dr. Kevin Buzzard, 5 Mayıs 2026 Salı günü saat 18:00’de Bilecik Cebir ve Sayılar Teorisi Seminer Serisi kapsamında yine yapay zeka ile matematik hakkında bu kez akademik bir konuşma verecektir.<br><br>Saygılarımla,<br>Prof. Dr. İlker İnam<br><div><div><br></div><div><br></div><div>Konuşma adı:</div><div><div><p class="MsoNormal" style="margin:0in;font-size:12pt;font-family:Aptos,sans-serif">The Architecture of Truth: Why AI Needs a Math Teacher<u></u><u></u></p></div><div><p class="MsoNormal" style="margin:0in;font-size:12pt;font-family:Aptos,sans-serif"><u></u> <u></u></p></div><div><p class="MsoNormal" style="margin:0in;font-size:12pt;font-family:Aptos,sans-serif">Abstract:  We are living through an AI revolution where "Librarians" have read everything but understand nothing. While today’s models can write poetry and code in seconds, they lack the fundamental rigor required for high-stakes decisions in medicine, engineering, and law. They are confidently wrong, prone to hallucinations, and rely on "vibes" rather than proof. In this talk, Ken Ono, Founding Mathematician at Axiom Math, reveals how we move beyond probabilistic guessing to <b>absolute rigor</b>. By anchoring AI in the timeless infrastructure of mathematics, we are building an “AI of Truth" that amplifies human potential, from helping Olympic swimmers shatter records to solving PhD-level research problems. Discover how formal verification and mathematical gatekeepers are creating a world where AI actions aren't just plausible, they are <b>provably correct</b>.</p><p class="MsoNormal" style="margin:0in;font-size:12pt;font-family:Aptos,sans-serif"><br></p><p class="MsoNormal" style="margin:0in;font-size:12pt;font-family:Aptos,sans-serif"></p><img src="cid:ii_mokc71580" alt="image.png" width="562" height="441"><p class="MsoNormal" style="margin:0in;font-size:12pt;font-family:Aptos,sans-serif"><br></p></div></div></div></div></div></div></div>