Formale Verifikation trifft KI: Anthropics ambitionierter Beweis-Marathon – oder nur eleganter Zirkelschluss?
Anthropic argumentiert in einer neuen Forschungsveröffentlichung, dass große Sprachmodelle die formale Softwareverifikation – also den mathematisch strengen Nachweis, dass ein Programm bestimmte Eigenschaften erfüllt – erstmals in großem Maßstab praktikabel machen könnten. Der…