![]() OpenAI, Lean ile doğrulanan 722 matematiksel kanıt yayınladıOpenAI publishes 722 math proofs verified by LeanOpenAI, 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. |
AiPulse — Sayı No. 82AiPulse — Issue No. 82
KAPAKCOVER
NabızPulse
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 modelsMakale, 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 intelligenceCarson 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
İ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. |
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. |
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. |
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. |
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. |
İ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
Ş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
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. |
Ş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 |








