面向AI的拉馬努金挑戰賽
拉馬努金挑戰賽旨在評估當前AI系統在數學常數公式方面的研究級問題解決能力。挑戰賽於2026年7月1日至8月1日開放提交，接受形式化證明、基於CAS的推導或可讀的人類證明。提交需包含可重現的程式碼，且不能依賴未公開的服務。
面向AI的拉馬努金挑戰賽
本文僅提供摘要
根據來源內容權限，本站僅提供編輯摘要、要點和原文連結。
拉馬努金挑戰賽旨在評估當前AI系統在數學常數公式方面的研究級問題解決能力。挑戰賽於2026年7月1日至8月1日開放提交，接受形式化證明、基於CAS的推導或可讀的人類證明。提交需包含可重現的程式碼，且不能依賴未公開的服務。
根據來源內容權限，本站僅提供編輯摘要、要點和原文連結。