深度分析 「實證計算」:以大型語言模型 (LLM) 驅動的全新程式設計範式與實驗結果 隨著大型語言模型生成程式碼的普及,研究者提出「實證計算」概念,透過自然語言提示直接求解問題,結果以最可能正確為依據。實驗顯示在排序與子集和等任務上可達近乎正確,相較於傳統程式化流程,實證計算免除格式合約,提供更彈性但亦帶來正確性不確定性,預計將推動AI工具安全基礎設施的重新設計。