Yapay zekanın matematiksel kanıt doğrulamalarındaki çeviri açığı ortaya kondu
Araştırmacılar, yapay zeka modelleri tarafından üretilen matematiksel metinlerin Lean gibi biçimsel dillere otomatik çevrilmesi sürecinin güvenilirlik sorunları barındırdığını açıkladı. 6 Ekim 2026…