Model Bahasa Generatif untuk Pembuktian Teorem Automatik
OpenAI menerbitkan penyelidikan tentang penggunaan model bahasa generatif untuk pembuktian teorem automatik. Butiran teknikal, prestasi dan had kaedah perlu dirujuk terus kepada laporan OpenAI.