No. 82
2026-10-09
yapay zeka nabzı — ham değil, demlenmişthe AI pulse — brewed, not raw

AiPulse — Sayı No. 82AiPulse — Issue No. 82

 KAPAKCOVER

Üçgenler, daireler ve çokyüzlüler içeren geometrik diyagramlar taşıyan birkaç sayfa bulunan açık bir kitap ve etrafına dağınık halde yerleştirilmiş sayfalar.

OpenAI, Lean ile doğrulanan 722 matematiksel kanıt yayınladıOpenAI publishes 722 math proofs verified by Lean

OpenAI, GitHub'da yayınladığı 722 kanıtın tümünün Lean asistanıyla formal olarak doğrulandığını belirtti. Bu durum, yapay zekanın matematiksel argümanlarda mantıksal tutarlılığı garanti eden somut bir başarı olarak öne çıkıyor.OpenAI stated that all 722 proofs it published on GitHub were formally verified using its Lean assistant. This stands out as a concrete achievement in which artificial intelligence guarantees logical consistency in mathematical arguments.

 NabızPulse

Açık mavi bir zemin üzerinde, tabanından sayısız kablo uzanan metalik ve stilize bir beyin.

Anthropic, Claude'a yönelik kötü muameleyi yasakladıAnthropic bans abusive or cruel behavior toward Claude

Anthropic, kullanım politikasını güncelleyerek Claude'a karşı sürekli ve gereksiz acımasız davranışı engelliyor. Bu değişiklik, model refahı araştırmalarının bir parçası olarak kullanıcıların sohbeti sonlandırma yetkisini temel uygulama mekanizması olarak belirliyor.Anthropic is updating its usage policy to prevent continuous and unnecessary cruelty toward Claude. As part of model welfare research, this change designates the user's ability to end the conversation as the fundamental enforcement mechanism.

 İş BaşındaAt Work

Mühendislik sinir alan modellerinde fiziksel kısıtların uygulanma biçimleriHow physical constraints are applied in engineering neural field models

Makale, fiziksel kısıtların mimari, parametreleme veya optimizasyon hedefi üzerinden modele dahil edilmesinin farklı matematiksel sonuçlarını inceli. Elastisite, akış ve ısı transferi örnekleriyle kesin kısıtların türevleri ve optimizasyon başarısını nasıl etkilediğini gösteren bir doğrulama protokolü öneriyor.The article examines the different mathematical outcomes of incorporating physical constraints into the model via architecture, parameterization, or the optimization objective. It proposes a validation protocol demonstrating how the derivatives of exact constraints and optimization success are affected, using examples of elasticity, flow, and heat transfer.

 Yapı TaşlarıBuilding Blocks

Carson Gross: Yapay zeka çağında programlama mesleği değerini koruyacakCarson Gross: Programming profession will retain its value in the age of artificial intelligence

Carson Gross, bilgisayarla problem çözme ve karmaşıklığı kontrol etme becerilerinin yapay zeka araçlarının yaygınlaşmasıyla birlikte bile azalmayacağını savunuyor. Bu görüş, yazılım geliştiricilerin gelecekteki kariyerlerinin sürdürülebilir olacağına dair bir öngörü sunuyor.Carson Gross argues that the skills of solving problems with computers and managing complexity will not diminish even with the widespread adoption of artificial intelligence tools. This view offers a forecast that software developers' future careers will remain sustainable.

 Küresel BakışGlobal Lens

Görsel, Şanghay’da bulunan Doğu İncisi Kulesi’nin yer aldığı bir şehir manzarasının üzerine yerleştirilmiş Technode Haber Akışı logosunu göstermektedir.

Huawei ve Qualcomm 5G, yapay zeka ve hesaplama patentlerini karşılıklı lisansladıHuawei and Qualcomm cross-license 5G, AI, and computing patents

İki şirket, 5G, hesaplama, yapay zeka ve ağ alanlarındaki patent portföylerini kapsayan çok yıllık bir lisans anlaşması imzaladı. Anlaşma ayrıca Qualcomm'un Huawei'nin ABD'deki belirli patentlerini satın almasını da içeriyor.The two companies signed a multi-year licensing agreement covering their patent portfolios in the fields of 5G, computing, artificial intelligence, and networking. The deal also includes Qualcomm's purchase of certain Huawei patents in the United States.

Görsel, Gmail'in yeni Gemini ajanı özelliğine ilişkin ürün duyurusunu gösteriyor ve otomatik e-posta yanıtı yeteneklerini vurguluyor.

Gmail'de Gemini ajanı ile otomatik e-posta yanıtlama özelliği keşfedildiGmail's Gemini agent for automatic email replies discovered

Gmail uygulamasının son sürümünün APK analizinde, e-postaları otomatik yanıtlamak için Gemini ajanını kullanan yeni bir özellik kodu bulundu. Bu özellik, yapay zekanın belirsiz durumlarda kullanıcıdan onay veya ek bilgi istemesi gibi insan müdahalesi gerektiren adımlar içeriyor.Code for a new feature using the Gemini agent to automatically reply to emails was found in the APK analysis of the latest version of the Gmail app. This feature includes steps requiring human intervention, such as the AI asking the user for approval or additional information in ambiguous situations.

Resim, kırmızı, sarı ve yeşil renkli şeritleri olan beyaz bir 'G' harfiyle Google logosunu gösteriyor.

Google, SynthID Detector aracını herkese açtıGoogle opens SynthID Detector to the public

Google, yapay zeka ile üretilen görsel, video ve ses dosyalarındaki SynthID filigranını tespit etmek için ücretsiz web aracını tüm kullanıcılara açtı. Bu araç, Google'ın yanı sıra OpenAI, Nvidia ve Kakao gibi ortakların ürettiği içerikleri de doğrulayabiliyor.Google has opened its free web tool for detecting the SynthID watermark in AI-generated image, video, and audio files to all users. This tool can also verify content produced by partners such as OpenAI, Nvidia, and Kakao, in addition to Google.

Görsel, zaman içinde sohbet robotlarıyla sosyal etkileşimi izleyen bir araştırma çalışmasını göstermektedir; bu çalışma etkileşim yoğunluğu, arkadaşlık amaçlı kullanım ve öz-açıklama ile birlikte refah ve insan sosyal…

Stanford Üniversitesi: Yapay zeka sohbetlerine bağımlılık artıyor, mutluluk düşüyorStanford University: AI Chat Addiction Rising, Happiness Declining

Stanford Üniversitesi'nin bir yıllık takip çalışması, yapay zeka karakterleriyle kurulan derin bağların gerçek insan etkileşimini azalttığını ve bu durumun kullanıcıların mutluluğunu düşürdüğünü gösterdi. Araştırma, bu bağımlılığın zamanla güçlendiğini ve sosyal ilişkilerin yerini alarak refahı olumsuz etkilediğini ortaya koydu.A one-year follow-up study by Stanford University showed that deep bonds formed with artificial intelligence characters reduce real human interaction and lower user happiness. The research revealed that this dependency strengthens over time, replacing social relationships and negatively affecting well-being.

Büyük bir ağaç kesme makinesi, bir bariyerin önünde konumlandırılmış olup kesilmiş bir ağaç kütüğü ve binaların da yer aldığı ormanlık bir arka plan görülmektedir.

Finlandiya, Google'ın veri merkezi için orman kesimini durdurduFinland halts forest clearing for Google data center

Finlandiya'daki çevre düzenleyicileri, Muhos ve Kajaani'deki veri merkezi inşaatları için yapılan orman kesimini durdurmak üzere Google'a 23 Ekim 2026'ya kadar süre tanıdı. Şirket, bu durumun kendi sürdürülebilirlik standartlarının altında kaldığını kabul etti.Environmental regulators in Finland have given Google until October 23, 2026, to halt the deforestation carried out for data center construction in Muhos and Kajaani. The company acknowledged that this situation falls below its own sustainability standards.

Üç takım elbiseli erkek, arkalarında Kerno ve Saai şirketlerinin marka kimliklerinin sergilendiği bir masada belgeleri imzalıyor.

BAE'de Kerno ve Saal.ai yerli yapay zeka platformu için anlaştıUAE's Kerno and Saal.ai sign deal for local AI platform

İki şirket, donanım ve yazılımı tamamen BAE'de geliştirip üreten 'Sovereign AI-in-a-Box' platformu için stratejik bir mutabakat zaptı imzaladı. Bu hamle, kurumların veri ve altyapı üzerindeki tam kontrolünü sağlayarak dış tedarik zincirlerine bağımlılığı azaltmayı hedefliyor.Two companies signed a strategic memorandum of understanding for the 'Sovereign AI-in-a-Box' platform, which develops and produces hardware and software entirely in the UAE. This move aims to reduce reliance on external supply chains by ensuring institutions' full control over their data and infrastructure.

 Ufuk ÇizgisiFrontier

Araştırma: Büyük dil modelleri toplumsal normları ayırt edemiyorStudy: Large language models cannot distinguish social norms

Çalışma, büyük dil modellerinin (LLM) davranışları taklit etmede başarılı olsa da toplumsal yaptırımla dayatılan normları seçici olarak öğrenemediğini gösteriyor. Modeller, zorunlu kuralların yanında anlamsız davranışları da körü körüne kopyalayarak normatif yetkinlikten yoksun kaldıklarını kanıtlıyor.The study shows that while large language models (LLMs) are successful at mimicking behaviors, they fail to selectively learn norms enforced by social sanctions. By blindly copying meaningless behaviors alongside mandatory rules, the models prove they lack normative competence.

 İzle & DinleWatch & Listen

Görselde, bilimsel ekipmanlarla dolu bir laboratuvarda yan yana duran bir Asyalı ve bir beyaz bilim insanı ile otonom keşif verilerini gösteren büyük bir ekran yer almaktadır.

Periodic Labs, yapay zeka bilim insanları için fiziksel deney odaklı yaklaşımını açıklıyorPeriodic Labs unveils physics-experiment-focused approach for AI scientists

Şirket, yeni bilgi üretmek için yalnızca zekaya değil, gerçek dünya deneylerine de ihtiyaç olduğunu savunuyor. Bu yaklaşım, malzeme keşfindeki deneme-yanılma sürecini hızlandırmayı hedefliyor.The company argues that generating new knowledge requires not only intelligence but also real-world experiments. This approach aims to accelerate the trial-and-error process in material discovery.

 Enteresan & EğlenceliFun & Curious

Görselde, beyaz bir katı madde içeren su dolu bir beher, bir platin elektrot ve manyetik karıştırıcıdan oluşan bir laboratuvar kurulumu ile elektroliz sürecini gösteren bir şematik diyagram yer almaktadır.

Technion araştırmacıları yeşil hidrojen üretiminde %98 verim elde ettiTechnion researchers achieve 98% efficiency in green hydrogen production

Yeni elektroliz yöntemi, hidrojenin yanı sıra değerli kimyasal olan epoksit üretiyor. Bu yaklaşım, yeşil hidrojenin ekonomik cazibesini artırma potansiyeli taşıyor.The new electrolysis method produces epoxide, a valuable chemical, in addition to hydrogen. This approach has the potential to increase the economic appeal of green hydrogen.

Siyah bir arka plan üzerinde, gövdesinde 'Stratosphere' marka adı bulunan, altı pervaneli beyaz ve gri bir dron gösterilmektedir.

Meteomatics, stratosfere ulaşan ilk dronunu tanıttıMeteomatics unveils world’s first drone to reach the stratosphere

Şirket, Strato adlı dronun 10.438 metre yükseklikte atmosfer verisi topladığını ve bu sayede geleneksel meteoroloji balonlarının sınırlamalarını aştığını iddia ediyor. Dron, ısıtılan pervane sistemi ve gerçek zamanlı sensörlerle yüksek irtifadaki zorlu hava koşullarında çalışacak şekilde tasarlandı.The company claims that the drone named Strato collected atmospheric data at an altitude of 10,438 meters, thereby overcoming the limitations of traditional meteorological balloons. The drone is designed to operate in harsh high-altitude weather conditions, featuring a heated propeller system and real-time sensors.

TAKİP ET

Yeni sayılar RSS okuyucunuza gelsin — Feedly, Inoreader, NetNewsWire gibi bir uygulamaya ekleyin.

RSS ile takip et

FOLLOW

Get new issues in your feed reader — add this to an app such as Feedly, Inoreader or NetNewsWire.

Follow by RSS