Yapay zeka çağında matematik / Georgy Malinetsky

MATEMATİK NEHRİ

Matematiğin öncülerinden Pisagor (MÖ 570-490), tarihin en büyüleyici ve gizemli figürlerinden biridir. Örneğin, "Düşen hiçbir şeyi yerden almayın", "Bütün bir somun ekmeği ısırmayın", "Beyaz bir horoza dokunmayın" ve "Ateşin yanında aynaya bakmayın" gibi alışılmadık bir tüzüğe sahip bir dini tarikat kurdu. Öğrencilerinin tüm başarıları ona atfedildi. Efsaneye göre, Pisagor teoremini kanıtladığında, tanrılara 100 boğa kurban edildi. Açıkçası, Pisagor tarikatı yoksul değildi.

Bertrand Russell şöyle yazmıştı: "Matematiksel bilgi kesin, hassas ve gerçek dünyaya uygulanabilir görünüyordu; hatta gözleme başvurmadan, sadece düşünme yoluyla ediniliyor gibiydi... Matematikten, düşüncenin duygudan, sezginin gözlemden üstün olduğu varsayımı doğdu ."

MÖ 4. yüzyılda Platon, Tanrı'nın bir geometrist olduğuna inanırken, 20. yüzyılda fizikçi James Jeans de Yüce Varlığın aritmetikle meşgul olduğuna inanıyordu. Birçok kişi matematiksel nesneleri Tanrı'nın düşünceleri olarak yorumladı ve yorumlamaya devam ediyor.

Bilim ve Avrupa düşünce tarihinin önemli bir dönüm noktası olan Öklid'in Elemanları, MÖ üçüncü yüzyılda yazılmıştır. Yazarın, hukuk yapısından ilham aldığı anlaşılmaktadır. İlk olarak, başkaları tarafından tanımlanmayan temel kavramlar gelir, ardından aksiyomlar (Yunanca "kabul edilmiş önerme" anlamına gelir) gelir. Bunlara dayanarak kanıtlayabildiğimiz her şey bir teoremdir. Öklid'in Elemanları 465 teorem içermektedir.

Zaman geçti. Filozof, matematikçi ve diplomat Leibniz, Büyük Petro'ya Bilimler Akademisi'ni kurmasını tavsiye etti ve daha sonra kesin bilimler tarihinde bir döneme damgasını vuran Leonhard Euler burada çalışmaya başladı. Bu büyük bilim insanının derlenmiş eserleri 81 ciltten oluşmaktadır.

Euler, okul günlerimizden beri bildiğimiz, bir üçgenin üç yüksekliğinin tek bir noktada kesiştiği teoremini kanıtladı. π, i, cos, tan ve f(x) gösterimlerinin genel kabul görmesi ve tüm dünyada St. Petersburg sembolleri olarak bilinmesi onun sayesinde oldu.

Leibniz, sayıları bölme ve çarpma işlemlerini yapabilen bir cihaz icat etti ve geleceğin "hesap makinelerine" ait olduğuna inanıyordu. Bu makinelerin o kadar bilgili, tarafsız ve objektif olacağına inanıyordu ki, insanları yargılayacaklardı. Birçok yönden, bu ütopya (ya da daha doğrusu distopya) gözlerimizin önünde gerçeğe dönüşüyor. Woland'ın Margarita'ya, "Ne dilediğine dikkat et, dileklerin gerçekleşmeye meyillidir" dediğini hatırlıyorum.

Leibniz matematiği "olası dünyaların bilimi" olarak adlandırdı. Bu çok önemli bir nokta: fizik, kimya ve biyoloji, eşsiz ve harika dünyamızın bilimleridir. Elektronun yükü, ışık hızı, Planck sabiti ve aralarındaki ilişki farklı olsaydı, gerçeklik farklı olurdu ve muhtemelen bizim için o gerçeklikte bir yer olmazdı.

Matematik, diğer soyut varlıklarla ilgilenir. Bunların dünyamızı yansıtması iyidir, ancak yansıtmayabilirler. Örneğin, Öklid, asal sayıların (yalnızca bir ve kendilerine bölünebilen) sayısının sonsuz olduğunu kanıtlamıştır. Ancak dünyada sonsuzluk yoktur. Evrendeki atom sayısı çok büyüktür, ancak sonludur. Sonsuzluk, zihnimizin garip, harika ve çok ilginç bir oyunudur.

Leibniz'in doğruluğu, 1826'da İngiliz matematikçi William Clifford'ın "geometrinin Kopernik'i" olarak adlandırdığı seçkin matematikçi Nikolai İvanoviç Lobaçoviç tarafından kanıtlandı. Haklıydı! Kopernik, Dünya'nın Güneş etrafında dönen gezegenlerden biri olduğunu göstermişti. Lobaçoviç ise Öklid aksiyomlarına dayalı bir geometrinin yalnızca tek bir olası geometri olduğunu ortaya koydu. Başka geometriler de vardır. Öklid, bir doğru üzerinde bulunmayan bir noktadan, verilen doğruyu kesmeyen yalnızca bir doğrunun çizilebileceği "açık" aksiyomuna dayanıyordu. Lobaçoviç ise iki (ve dolayısıyla sonsuz sayıda) doğrunun olduğunu öne sürdü ve bu da geometrinin tüm alanının tamamen farklı, garip ve alışılmadık bir şekilde yorumlanmasına yol açtı.

Yüce Varlıklar, dünyamızı en iyi tanımlayan geometrinin hangisi olduğunu test etmeye başladılar ve Öklid yaratılış teorisinin, en azından en yakın yıldızlara kadar, uzayımız için mükemmel bir yaklaşım olduğu sonucuna vardılar.

Ve dahası da var. 20. yüzyılda, matematiğin kendisini titizlikle kurmak için muazzam çaba harcandı. Birkaç alternatif yaklaşım ortaya çıktı. Bunlar, farklı şekillerde ortaya çıkan ve birbirine indirgenemeyen paradoksları çözüyor. Bunların en basiti yalancı paradoksudur. Bir kişi "Ben bir yalancıyım" der. Gerçekten her zaman yalan söyleyen bir yalancı mı, yoksa doğruyu söyleyen biri mi? Her iki cevap da paradoksaldır.

Matematiğin engin, coşkun nehri ağzına ulaştı, deltada birçok kola ayrıldı ve…

TEORİK VE UYGULAMALI MATEMATİK

19. yüzyılda matematik alanı iki geniş dala ayrıldı: teorik ve uygulamalı. Popüler bir espri vardır: teorik matematik, yapılabilecek olanı olması gerektiği gibi yapar; uygulamalı matematik ise yapılması gerekeni, yapılabileceği şekilde yapar.

Galileo, "doğa kitabının matematik diliyle yazıldığına" ve "ölçülebilir olanın ölçülmesi, ölçülemeyenlerin ise ölçülebilir hale getirilmesi gerektiğine" inanıyordu. Ölçüm sonuçlarını işlemek, modellemek ve doğanın, toplumun ve insanlığın yeni özelliklerini keşfetmek için matematiksel araçlara ihtiyaç duyulmaktadır. Uygulamalı matematik, bu araçların oluşturulduğu alandır.

Her şey planlandığı gibi gitmez. Euler, Prusya Kralı Frederick'e Sanssouci yazlık sarayındaki çeşmelerin yapımı konusunda tavsiyelerde bulundu. İnşaat 1748'de başladı. Euler, akışkan akışı modelini (şimdi Euler denklemi olarak adlandırılıyor) önerdi, ancak çeşmeler hiçbir zaman çalışmadı. Sebepleri tartışmalı olsa da, akışkan hareketinin nasıl tanımlanacağı sorusu bilim insanlarını şaşırtmaya devam etti. 1822'de Fransız mühendis Claude-Louis Navier, Euler'in modelini genelleştirdi ve viskoziteyi tanımlayan terimleri ekledi. 1845'te İngiliz matematikçi Gabriel Stokes, incelenen akışkan için kütle ve momentumun korunumu dikkate alınarak modeli genişletti.

Uygulamalı matematikte çalışmak çok ilgi çekici. Bir yandan, neyin modellenmesi gerektiğini ve nedenini anlayan "konu uzmanlarına" ihtiyaç duyuyor. Diğer yandan, matematikçilere, diğer bilim insanlarıyla etkileşimlerine ve işbirlikçi yaratıcı çalışmalara ihtiyaç duyuyor.

Uygulamalı matematiği ve genel olarak dünyayı değiştiren en önemli icat, başlangıçta askeri amaçlarla yaratılan bilgisayarlar oldu. Britanya'da düşman mesajlarını deşifre etmek için, ABD'de nükleer ve termonükleer saldırıları simüle etmek için ve SSCB'de kıtalararası balistik füzeleri ve uzay araçlarını çalıştırmak için kullanıldılar.

Yeni silah geliştirmek karmaşık ve pahalı bir süreçtir. Mühendisler, tasarımcılar ve şirketler işe koyulmadan önce, neyin işe yaraması gerektiği, nasıl çalışması gerektiği ve neyi başarmak istediğimiz konusunda çok net bir fikre sahip olmaları gerekir. Çalışmaktan onur duyduğum Uygulamalı Matematik Enstitüsü, Sovyet nükleer ve uzay projelerinin uygulanmasında çok önemli bir rol oynamıştır.

Biyosferi birinci doğa, teknosferi ise ikinci doğa olarak kabul edersek, gözlerimizin önünde üçüncü bir doğa oluşmuş olur: bilgi ve telekomünikasyon alanı.

Teknolojinin gelişiminde bir mantık vardır: Bilgisayar endüstrisi kadar hızlı gelişen başka bir teknoloji yoktur; bu endüstriye doğru bir şekilde matematiğin bir dalı denebilir. Son 70 yılda, bilgisayarların işlem gücü ilk bilgisayarlara kıyasla 10¹⁸ kat arttı. Dünyada şu anda 6,2 milyardan fazla bilgisayar var ve bunlar posta, gazete, dergi, sinema, telefon, daktilo, plak çalar, kitap, otobüs, birçok konuda ders ve çok daha fazlasının yerini aldı.

Haziran 2026 itibarıyla, piyasa değeri bakımından dünyanın en büyük beş şirketi matematik endüstrisindedir. Bunlar: Envidia - 4,8 trilyon dolar; Apple - 4,3 trilyon dolar; Alphabet - 4,2 trilyon dolar; Microsoft - 2,8 trilyon dolar; Broadcom - 1,8 trilyon dolar.

Bilgisayarlar da dolandırıcıların dikkatinden kaçamadı. Mevcut tahminler, siber suçluların gelirlerinin 2026 yılına kadar 12 trilyon dolara ulaşacağını gösteriyor. Bu, Amerika Birleşik Devletleri ve Çin hariç tüm ülkelerin toplam gayri safi milli hasılasından daha fazla. Uygulamalı matematik ise farklı bir gerçeklik yarattı.

Ancak bu alan birleşiktir ve bu da onun cazibesidir. Birçok nesil araştırmacı, sonuçlarının herhangi bir uygulamasını düşünmeden sorunları çözmeye veya çözümlerinin olmadığını kanıtlamaya hazırdır. Örneğin, okulda bize bir açıyı pergel ve cetvel kullanarak iki eşit parçaya nasıl böleceğimiz öğretilir. Peki ya üç? Matematikçiler bu "22. yüzyılın sorusuna" cevap vermeye çalıştılar ve sonunda sorunun çözülemez olduğunu keşfettiler. Ancak bu cevaba giden yolda birçok cebir kavramı geliştirildi. Ve bir asırdan fazla bir süre sonra, bu sonuçlar sayısız uygulama alanı buldu. Özellikle, bunlar olmadan cep telefonlarımız çalışmazdı.

İşte şaşırtıcı derecede basit görünen başka bir problem. Bu problem, 1742 yılında Alman matematikçi Christian Goldbach tarafından Leonhard Euler'e yazdığı bir mektupta ortaya atıldı. Doğrulanması veya çürütülmesi gereken varsayım şudur: 2'den büyük herhangi bir çift sayı, iki asal sayının toplamı olarak ifade edilebilir. Bir bilgisayar, işleyebildiği tüm sayılar için bu varsayımı doğruluyor. Ancak, Euler gibi, biz de hala bir kanıt bulamadık.

BİLİNÇ UNSURLARININ MODELLENMESİ

1950'de, ünlü İngiliz matematikçi ve kriptograf Alan Turing, "Hesaplama Makineleri ve Zeka" adlı makaleyi yazdı. Çok sayıda argümanı inceledikten ve hiçbirini ikna edici bulamadıktan sonra, bir makinenin "Taklit" oyununda insanları yenebilmesi durumunda sorunun olumlu yanıtlanabileceği sonucuna vardı.

O zamanlar bile insanlar makinelerin resim yapmasını, müzik bestelemesini, yüzlerce dil konuşmasını, iyi sohbetçi ve mükemmel kütüphaneci olmasını, on milyonlarca kitabı "bilmesini" ve teşhis koymaya yardımcı olmasını istiyorlardı. Başka bir deyişle, bugün yapay zekâ ile ilişkilendirdiğimiz her şeyi yapmalarını istiyorlardı.

Bu terim ilk olarak 1956'da Dartmouth Koleji'nde düzenlenen bir konferansta John McCarthy'nin bir makalesinde ortaya çıktı. Çok iyi bir terim değil. "Zeka" kelimesi Latince "intellectus" kelimesinden gelir ve "anlama, akıl yürütme, biliş" anlamına gelir. Bu, bir makine için çok yüksek bir çıta. "Yapay" kelimesi de doğru değil: bir bilgisayar dil ile çalışır; milyarlarca insanın iletişimi ve düşüncesi sonucunda evrimleşen ve gelişen karmaşık, kendi kendini organize eden bir sistem. Yapay zeka bağımsız bir varlık değil, kültürümüzün bir uzantısı, insan tarafından yaratılan gerçekliğin bir tür aynasıdır. Yerli versiyonunda bu faaliyetin tamamına "bilincin unsurlarını modelleme" deniyordu. Ancak "yapay zeka" reklam sloganı yaygınlaştığı için, kesin olmamasına rağmen onu kullanacağız.

Özünde, yapay zekâ, insan ile bilgisayar arasındaki etkileşimi daha kolay, daha hızlı, daha pratik ve ideal olarak hatasız hale getirme fikrinden doğmuştur. Yapay zekânın iki türü vardır: mantıksal ve üretken. Bunlar, yapay zekânın başarı elde ettiği oyunlar kullanılarak açıklanabilir.

Mantıksal yapay zekâda, bilim insanları insanların nasıl çalıştığını anlamaya, problem çözme algoritmalarını belirlemeye ve ardından makinenin temel avantajlarından -muazzam hafıza ve hız- yararlanmaya çalışarak bunları programlamaya çalışırlar. Burada iki zorluk vardır: birincisi, programlar çok büyüktür ve ikincisi, bir programcı ortalama olarak 1000 komutta bir hata yapar, bu nedenle yazdıklarını hata ayıklamak -veya gençlerin bugünlerde dediği gibi, "hata ayıklamak"- kolay değildir. Büyük ustalar on binlerce oyunu ve elbette hatırlamaya değer tüm açılışları hatırlarlar. Satrançtaki olası pozisyon sayısı 4,8×10⁴⁴'tür - hepsini hatırlamak imkansızdır. Amaç, makineye tahtadaki pozisyonu değerlendirmeyi ve çıkmaza götüren hamleleri reddetmeyi öğretmektir. Kolay değildi, ancak bilim insanları görevi başardılar. 11 Mayıs 1997'de, IBM tarafından geliştirilen satranç süper bilgisayarı Deep Blue, dünya satranç şampiyonunu 3,5'e 2,5'lik skorla yendi.

2500 yıl önce Çin'de icat edilen eski Go oyununda aynı şeyi denemek başarısız oldu. Oyunda 10¹⁷⁰ pozisyon bulunuyor (unutmayın ki, mevcut tahminlere göre evrende yaklaşık 10⁸⁰ atom var). Üretken yapay zeka bilim insanlarının imdadına yetişti. Fikri basit: Nörobiyologların önerdiği gibi, sinir hücrelerinin (nöronların) analoglarını ve aralarındaki bağlantı mekanizmalarını bir bilgisayarda simüle etmek. Bu bağlantılar temeldir; biyolojimiz, öğrendiklerimiz ve yaşam süreçlerimiz tarafından şekillendirilirler. Hafızamız, irademiz, hayal gücümüz ve yaratıcılığımızla bağlantılıdırlar.

Bu durumda bilgisayarın programlanmasına gerek yoktur: eğitim örneğini alır ve deneme yanılma yöntemiyle çalışır, başarısızlık durumunda bağlantıları değiştirir.

Süper bilgisayar iki parçaya ayrıldı, her birine Go oyununun kuralları verildi, insanlar tarafından oynanan hiçbir oyun gösterilmedi ve birbirlerine karşı oynayarak stratejilerini geliştirme fırsatı tanındı.

Çin'in Wuzhen kentinde düzenlenen Geleceğin Go Zirvesi'nde AlphaGo programı, dünya şampiyonu Ke Jie ile karşılaştı. Yüz milyonlarca Çinli maçı canlı izledi. Programa üç oyun kaybettikten sonra Ke Jie, "Geçen yıl AlphaGo'nun oyun tarzının bir insanınkine yakın olduğunu düşünmüştüm. Ama bugün, bir Go tanrısı gibi oynadığını fark ettim." dedi. Program, küresel geleneğe aykırı yeni bir oyun tarzı sergiledi.

2025 yılında, Kaliforniya Üniversitesi, San Diego'dan araştırmacılar, OpenAI GPTI 4.5'in %73 oranında insan taklidi yapabildiği bir deneyin sonuçlarını yayınladılar. Turing Testi geçilmişti. Artık düşünme zamanı gelmişti.

Bir keresinde dünya şampiyonu ve seçkin antrenör Mikhail Botvinnik enstitümüzü ziyaret etti. Bize bir makineye satranç oynamayı öğretme konusunda meydan okudu ve yardım sözü verdi.

Bence bu yapılmamalıydı. "İnsan için insan olan, makine için makine olan." Büyük usta maçları eskiden bilge adamların savaşlarıydı, ama şimdi entelektüel striptiz gösterilerine dönüştüler; salondaki izleyiciler akıllı telefonlarına bakıp oyuncunun yapay zekanın önerdiği hamleyi tahmin edip edemeyeceği üzerine spekülasyon yapıyorlar. Şimdi aynı durum Go oyununda da var…

Günümüzde kültür çok ciddi bir zorlukla karşı karşıya. Yapay zekâ gibi çizim yapmak için beş ila altı yıl eğitim gerekiyor. Ancak programlar, çeşitli sanatçıların tarzlarında anında görüntüler oluşturuyor ve ortaya çıkan görüntüleri müşterinin isteklerine göre özelleştiriyor. Tanıdığım sanatçılar Avrupa'dan aldıkları siparişlerin üçte ikisini kaybettiler; yerlerini yapay zekâ aldı. Programlar, örneğin %30 Mozart, %30 Beethoven ve %40 Gershwin'i karıştırarak "müzikal kokteyller" oluşturmanıza olanak tanıyor.

Yapay zekâ, yüzün üzerinde dilde kolayca konuşma metinleri yazabiliyor ve verilen bir tezi savunabiliyor veya çürütebiliyor. Hollywood oyuncuları, kendilerinin yerini çeşitli derecelerde alan yapay zekâya karşı protesto gösterileri düzenliyor. Gerçekçi yapay zekâ modeli Tilly Norwood, gerçek bir oyuncu olarak pazarlanıyor. Yedi dilde 7/24 iletişim kuran ve iki yüz binden fazla abonesi bulunan "Miss AI 2024" Kenza Leili etkileyici. "Gerçek" veya "protein" oyuncular olarak adlandırılan oyuncuların çağı kısa sürebilir.

Sanatsal kültürle ilgilenen kişilerin bu ciddi zorluğu fark etmeleri ve gerekli adımları atmaları gerektiğini düşünüyorum.

FELSEFİ ADIMLAR

Matematik bir okyanusa benzetilebilir. Okyanusta yol alırken, hangi sorunların önce çözülmesi gerektiğini anlamak çok önemlidir. 1900 yılında David Hilbert, 20. yüzyılda matematiğin gelişimini şekillendirecek 23 sorundan oluşan bir liste sundu; bunlardan 16'sı çözülmüş kabul ediliyor. Bu sorunlar üzerinde yapılan çalışmalar, birçok derin ve özgün modele yol açtı.

2000 yılında Clay Enstitüsü, en zor yedi matematik problemini belirledi: Milenyum Problemleri. Her birini çözene 1 milyon dolarlık ödül teklif edildi.

Yedi problemden biri, 2002-2003 yıllarında Grigori Perelman tarafından çözüldü: Poincaré varsayımı. Altıncı problem, viskoz bir sıvının veya gazın hareketini tanımlayan Navier-Stokes denklemleriyle ilgilidir. Milenyum Ödülü problemi, üç boyutta türbülansın varlığını ve düzgünlüğünü kanıtlamak (veya bir karşı örnek sunmak)tır. Bu problemin çözülmesi, türbülans hakkındaki anlayışımızı büyük ölçüde ilerletecektir. Kaliforniya Üniversitesi profesörü Terence Tao şöyle yazıyor: "Bu problemler deniz fenerleri gibidir. Bilim insanlarının çabalarını çeken önemli işaretler görevi görürler."

Bir dizi seçkin matematikçinin yıllar boyunca bir çözümün varlığını ve tekliğini kanıtlayamaması, daha önce hayal bile edilemeyen yeni olgularla karşı karşıya olduğumuzun açık bir işaretidir. Hocam, Rusya Bilimler Akademisi Keldysh Uygulamalı Matematik Enstitüsü müdürü S.P. Kurdyumov, bu denklemlerin üç boyutlu formülasyonunda bir tepe noktası rejimi sergilediğine inanıyordu; yani, çözümü karakterize eden niceliklerden birinin sınırlı bir süre içinde sonsuza dek arttığı bir rejim. Elbette, bu tür modeller büyük bir dikkatle kullanılmalıdır.

İlk bakışta, yapay zekanın teorik matematikle, insanların yüzlerce yıldır başa çıkamadığı titiz ispatlarla hiçbir ilgisi yok gibi görünüyor.

Ancak bunun yanlış olduğu ortaya çıktı. Bir yapay zeka sistemi, koşullardan sonuçlara giden yolları arar (tıpkı satrançta başlangıç ​​pozisyonundan kazanmaya giden yol gibi). Diğeri ise bir ispatta biçimsel geçişlerin doğruluğunu kontrol eder. Gibbs, "Matematik bir dildir," dedi. Kabul edilen dilbilgisinin tüm kurallarına kesinlikle uyulması önemlidir.

OpenAI'deki araştırmacılar, yapay zekanın Navier-Stokes denklemiyle ilgili Milenyum Ödülü problemini çözdüğünü duyurdu. Ve öğretmenimin hipotezi doğrulandı: Gerçekten de bir girdap oluşuyor ve sonlu bir sürede sonsuza doğru büyüyor. Şirket henüz kanıtı yayınlamadı, ancak doğruysa, bu yapay zekanın insanların asla ulaşamadığı çok yüksek bir zirveyi fethettiği anlamına geliyor. Doğal olarak, matematik camiası bu habere tepki gösterdi.

1936'dan beri Fields Ödülü, 40 yaşın altındaki seçkin matematikçilere dört yılda bir veriliyor. 11 Eylül 2026'da, bu ödülü kazanan 25 kişi, matematikte yapay zekanın kullanımını reddeden bir mektup yayınladı. Mektupta şu ifadeler yer aldı: "Yapay zeka şirketlerinin matematiksel problem çözmeyi bir ölçüt olarak kullanma telaşı, matematik bilimine ve matematik topluluğuna zarar veriyor... Mesleğimizin en değerli kaynakları öğrencilerimiz ve büyük bir özenle geliştirdiğimiz fikirlerdir... Kavramlarımızı konuşmalar, özel görüşmeler ve özenle hazırlanmış makaleler aracılığıyla yayıyor, bunları başkalarının önceki çalışmalarıyla ilişkilendiriyoruz... Problem çözme, nihai hedef olan kavramsal anlayış ve içgörüye ulaşmak için sadece bir araç ve bir vasıtadır."

İnanılmaz bir şey bu; sorunsuz matematik, ama aynı zamanda topluluğun da korunmasını sağlıyor. Tıpkı Hesse'nin romanındaki gibi, Cam Boncuk Çalanlar için Castalia adında bir bölge vardı.

Bence bu, farklı medeniyetlerin mantığıyla ilgili bir durum. Amerikalı meslektaşlarımı 350 yıldan fazla süredir aranan Fermat teoremini kanıtladıkları için tebrik ettiğimde beni anlamadılar. Bu bilim insanları "yas tutuyorlardı"—sonuçta, teoremi kanıtlamışlardı ve başka bir Fermat teoremi yoktu…

Ama mantık tersine çevrilmeli! Bilim bir spor ya da sanatsal bir uğraş değildir. Yapay zeka tarafından bulunmuş olsa bile yeni kanıtlar, yeni yollar, fikirler ve ufuklar açan ortak bir başarıdır. Birinin gökyüzünden bir yıldız koparıp etrafımızda neyi aydınlattığını görmesi kutlanmaya değer bir şeydir.

"Bilimi kendinizde sevmelisiniz, kendinizi bilimde değil," derdi öğretmenim sık sık. Sanırım haklıydı.

Kaynak: zavtra.ru

Georgy Malinetsky

Gercekedebiyat.com