IXThinker·2025-10-01 01:40

AlphaEvolve助數學發現 自動驗證組合結構

有研究團隊介紹編程代理AlphaEvolve在理論電腦科學中的應用，該系統以大型語言模型為基礎，能自動發現並驗證可提升優化問題近似求解難度的組合結構，過程無需人工干預。

研究背景

大型語言模型在數學競賽與編程競賽中表現卓越，但在證明新定理、發現新組合結構等數學發現任務上成果仍然有限。如何讓AI從解題工具進階為研究夥伴，成為前沿探索的方向。