[Turkmath:7477] Genel Konuşma-Ken Ono (Axioms-University of Virgina)-Bilecik-4 Mayıs

[Ilker Inam]

Sayın Liste Üyeleri,

Kariyerine Silikon Vadisi’nde, matematikte yapay zekâ uygulamalarını
hedefleyen Axioms adlı start-up’ta devam eden

https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417

ve aynı zamanda University of Virginia öğretim üyesi olan

*Prof. Dr. Ken Ono,*


*4 Mayıs 2026 Pazartesi günü saat 09:00’da*
aşağıda bilgileri yer alan bir genel konuşma gerçekleştirecektir.

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 *Bilecik
Şeyh Edebali Üniversitesi resmî YouTube kanalı üzerinden canlı olarak
yayınlanacaktır:*

https://www.youtube.com/@bseuniversitesi

Katılımda dil engeli oluşmaması amacıyla simultane çeviri sağlanacaktır.
Etkinlik posteri ekte yer almaktadır.

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.

Saygılarımla,
Prof. Dr. İlker İnam


Konuşma adı:

The Architecture of Truth: Why AI Needs a Math Teacher



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 *absolute rigor*. 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 *provably correct*.


[image: image.png]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20260430/03c8cab4/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 434267 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20260430/03c8cab4/attachment-0001.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Ono-AI-poster.jpeg
Type: image/jpeg
Size: 394425 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20260430/03c8cab4/attachment-0001.jpeg>