Google DeepMind'ın güçlü yapay zekâ destekli matematikçisi



Özet


Yapay zeka teknolojileri, karmaşık matematiksel problemlerin çözümünden günlük iş akışlarının optimize edilmesine kadar pek çok alanda insan kapasitesini artıran önemli başarılara imza atmaktadır. Sistemlerin sadece birer araç değil, uzmanların çalışmalarını hızlandıran stratejik iş ortaklarına dönüşmesi, matematiksel keşiflerden kişisel seyahat planlamasına kadar geniş bir yelpazede verimliliği artırmaktadır. Gelecekte, daha gelişmiş modellerin kullanımıyla bilimsel verilerin işlenmesi ve uzay araştırmaları gibi alanlarda devrim niteliğinde yeni bilgiler ortaya çıkarılması beklenmektedir.




Şirketin yapay zeka yardımcı matematikçisi, onlarca yıldır yapay zekayı zorlamak için oluşturulmuş bir kıyaslama testinde yeni bir rekora imza attı; hatta bir profesör, sistemin kendi hakemlerinin reddettiği bir ispatın içine gömülü bir stratejiyi kullanarak çözülememiş bir problemi çözdü.

Neden önemli: Yapay zeka, sınır modellerindeki gelişmelerle matematiksel keşiflerde halihazırda bir artışa yol açtı ve kodlamaya benzer şekilde, ajan tabanlı iş akışları artık yapay zeka sistemlerinin çok daha ileri gitmesini sağlıyor. Ancak Lackenby'nin keşfinin gösterdiği gibi, en iyi zihinlerin çalışmalarını hızlandırmalarını sağlayan, onların yerini almayan yapay zeka için gelecek hala parlak.

Jason, Geliştirici: Kardeşimle FaceTime üzerinden arama yapmaya veya zahmetli bir şekilde oynamaya gerek kalmadan asenkron olarak oynayabilmemiz için OpenAI'ın Codex'indeki /goal komutunu kullanarak bir Magic: The Gathering uygulaması geliştirdim.

Fikrimiz, ikimizin de vakti olduğunda sırasını alması, tahta durumunu temiz bir şekilde takip etmesi ve programlarımızı denk getirmeye çalışmak yerine oyunu günler boyunca devam ettirmesiydi. Bu komut, Codex'in her şey tamamlanana kadar çalışmaya devam etmesini sağladı ve temel olarak hiçbir müdahaleye gerek kalmadan tam olarak aradığım şeyi tek seferde gerçekleştirdi.

Joey, Ortaklıklar: Daha önce hiç Yunanistan'a gitmemiştim, bu yüzden yaklaşan seyahatim için tüm planı Claude'a emanet ettim. Uçuşlar rezerve edildi, ulaşım süreleri ayarlandı, restoran listeleri şehir şehir düzenlendi.

Şu an çoğu seyahat acentesinin hazırlayabileceğinden daha sağlam bir planla yola çıkıyorum!

Neden önemli: İnsanlar şu ana kadar sadece birkaç bin ötegezegen doğrulayabildi, ancak trilyonlarca olduğu tahmin ediliyor. Yapay zeka ve teknolojik gelişmeler bu sayının hızla yeniden yazılmasına yardımcı olacak; RAVEN'dan yola çıkarsak, elimizdeki verilerde halihazırda saklı olan uzay bilgisini ortaya çıkarmak için gereken tek şey yükseltilmiş modeller ve yapay zeka entegrasyonları olacak.

"ChatGPT'yi profesyonel anlamda çeşitli işler için kullanıyorum ve bu şaşırtıcı derecede yardımcı ve tazeleyici oldu. Ancak şimdiye kadar bulduğum en büyük faydası, 4 köpeğimi eğitmeme yardımcı olması.

İşler o kadar karışıktı ki profesyonel bir eğitmene binlerce dolar harcamaya hazırdım, ancak ChatGPT belirli davranışların temel nedenlerini belirlememe ve bireysel köpeklerime özel teknikler kullanarak onları başarılı bir şekilde eğitmemi ve ötesine geçmemi sağladı.

Bana kazandırdığı özgüven ve olumlu pekiştirmeler evdeki tüm dinamikleri değiştirdi; keşke daha önce başlasaydım."