Bu çözüm, "kapak kümesi bulmacası" olarak bilinen ve uzun süredir bir matematik gizemi olarak kabul edilen bir problemi içermektedir. Problemin temeli, bir sayfa üzerinde çizgiler çizerken üçü düz bir çizgi oluşturmadan kaç noktayı birleştirebileceğinizi belirlemeye dayanmaktadır.
FunSearch, büyük sınır kümeleri için en iyi bilinen çözümleri aşan yeni yapıları başarıyla keşfetmiştir. Bu, büyük dil modellerinin matematik problemlerini çözmede kullanılması açısından önemli bir adımı temsil etmektedir. Ancak, FunSearch'in tavan kümesi sorununu kesin olarak çözemediği belirtilmiştir.
Yapılan deneylerde, araştırmacılar daha önce eğitilmiş büyük dil modellerini kullanarak bilinen matematik problemlerini çözmeye çalışmışlardı. FunSearch, önceden eğitilmiş bir büyük dil modelini otomatik bir değerlendirici ile birleştirerek çalıştırılmıştır. Bu doğruluk denetleyicisi, yanlış bilgi üretimine karşı bir koruma sağlamıştır.
Nature dergisinde yayımlanan makalede araştırmacılar, "Bildiğimiz kadarıyla bu, büyük dil modellerini kullanan bir yapay zeka modeli tarafından yapılan ilk bilimsel keşfi göstermektedir" ifadesini kullanmışlardır.
Araştırmacılar, FunSearch'ün bilim insanlarına daha fazla içgörü kazandırmasını ve gelişim ve keşif döngüsüne katkıda bulunmasını umduklarını belirtmişlerdir. Bu başarı, yapay zekânın matematiksel problemlerin çözümünde potansiyel bir araç olarak daha fazla kullanılmasına yönelik umutları artırmaktadır.