Bilim insanları, malzeme karakterizasyonunda kullanılan kritik hesaplamaları matematiksel olarak doğrulamak için yapay zeka destekli yeni bir sistem geliştirdi. Brunauer-Emmett-Teller (BET) yöntemi, gözenekli malzemelerin yüzey alanlarını hesaplamada altın standart olmasına rağmen, pratik uygulamalarda hata yapılması kolay karmaşık adımlar içeriyor.
Lean 4 teorem ispatlama sistemi kullanılarak geliştirilen bu yenilikçi yaklaşım, BET analizinin tüm aşamalarını - pencere numaralandırması, monotoniklik kontrolleri, diz noktası seçimi ve doğrusal regresyon - kapsıyor. Sistem, floating-point aritmetik ile hesaplama yaparken aynı zamanda gerçek sayılar üzerinde doğruluk ispatları geliştiriyor.
Araştırmacılar, regresyon katsayılarının matematiksel tanımlarla uyumlu olduğunu ve belirtilen varsayımlar altında en küçük kareler hatasını minimize ettiğini matematiksel olarak ispatlıyor. Bu çalışma, bilimsel hesaplamalarda güvenilirlik ve tekrarlanabilirlik sorunlarına çözüm getiriyor.
Bu gelişme, sadece malzeme bilimi için değil, bilimsel hesaplamalarda yapay zeka destekli doğrulama sistemlerinin kullanımı açısından da önemli bir adım teşkil ediyor. Gelecekte benzer yaklaşımların diğer bilimsel alanlarda da yaygınlaşması bekleniyor.