Математикийн бодлогод дараагийн ашигтай алхмыг олох нь хэцүү байж болно. Харин санал болгосон алхам дүрэмтэй нийцэж байгаа эсэхийг шалгах нь өөр төрлийн ажил.
AlphaGeometry энэ ялгааг ашигладаг: хэлний загвар шинэ геометрийн байгуулалт санал болгож, бэлгэдэлт систем логик дүрмээр үр дүнг нь гаргана. Санаа санал болгох ба шалгах хэсгүүд хамт ажилладаг.
Ийм систем тодорхой төрлийн бодлогод өндөр гүйцэтгэл үзүүллээ гээд математикийн бүх асуудлыг шийднэ гэсэн үг биш. Системийн хамрах хүрээ, тестийн нөхцөлийг хамт унших хэрэгтэй.
Практикт AI-ийн хариуг шууд үнэн гэж хүлээн авахын оронд шалгаж болох завсрын алхам, баталгаа шаардах нь илүү үр дүнтэй. Санааг хурдан гаргах ба зөвийг нь батлах хоёрын ялгаа энд ч хэвээр.
Эх сурвалж
Google DeepMind · AlphaGeometry ↗Схемүүд ойлголтыг тайлбарлана; туршилтын хэмжилтийг орлохгүй.