ProofCouncil: Açık Matematik Problemlerini Çözmek İçin Bir LLM Ajanı
ProofCouncil, matematikteki açık problemleri çözmek için tasarlanmış bir LLM ajanıdır.
ProofCouncil, büyük dil modellerinin (LLM'ler) matematikteki açık problemleri çözme yeteneğini artırmak için tasarlanmış bir matematiksel ajandır. Yazar-eleştirmen mimarisi kullanarak, ProofCouncil, FirstProof'un ikinci aşamasında 10 gerçek matematik problemi üzerinde otonom çözümler sunmuştur. 10 problemin 6'sında, hakemler tarafından en az küçük revizyonlarla doğru olarak değerlendirilmiştir.
Bu sentez, kaynağından yapay zeka tarafından üretildi; insan editör ya da elle onay adımı yoktur. Nasıl çalışıyoruz