llama.cpp releasesAI 評分42
llama.cpp 修復 ggml_time_us 時間溢位，改用 double
llama.cpp 建置 b11838 修復了 ggml_time_us 的時間溢位問題，實現上改用 double（#30969）。該版本同時提供 macOS/iOS、Linux、Android、Windows 等多平台預編譯包，其中 macOS Apple Silicon 的 KleidiAI 建置與 openEuler 建置被標記為 DISABLED。
搜尋
找到 2 筆；也可以試試 語意搜尋
Latent Space● 精選AI 評分76
OpenAI 模型連破數學開放問題，深度優先搜尋加驗證器成關鍵
OpenAI 內部模型 5 月給出 1946 年提出的 Erdős 單位距離猜想的反例，6 月證明 Cycle Double Cover，7 月再解十個開放問題，9 月給出 Navier-Stokes 證明；Anthropic 則形式化了費馬大定理並改進黎曼猜想的界。文章分析稱，LLM 以深度優先方式並行推進多條思路，再用只能校驗完整證明的自動驗證器剪枝，單條思路的試錯成本降到幾分鐘，因此普通甚至看似不可能的提示也值得投入大量算力。