🔥 Trending today
An OpenAI model solved a famous math problem that stumped humans for 80 years
Ars Technica AI1d agoCommentaryArs Technica reports that an unspecified OpenAI model solved a famous math problem that had stumped humans for roughly 80 years. The article aims to explain the solution more clearly than OpenAI's own account. The provided excerpt does not identify the problem, model, proof steps, validation process, or degree of human involvement, so the scope of the reported breakthrough cannot be assessed from it alone.
DeepMath: A lightweight math reasoning Agent with smolagents★ 75
Hugging Face Blog180d agoReleaseHugging Face 介紹了與 Intel 合作的 DeepMath 專案，這是一個基於 smolagents 輕量級框架構建的數學推理 Agent。傳統 LLM 在數學計算上容易出錯，而 DeepMath 採用「Code Agent」機制，讓輕量級開源模型透過撰寫並執行 Python 程式碼來解答複雜數學題。此方案不僅降低了算力門檻，還能在 Intel 硬體上實現高效能的本地端推理。