OpenAI公開AI數學證明，AGMAI說明後續評議原則
（媒角抵加／林承志綜合報導）OpenAI於2026年10月6日公開內部AI模型產生的數學手稿與證明程式。數學與人工智慧諮詢小組AGMAI同日說明，成果公開後，仍由數學社群評估其影響並建立人類理解；它的諮詢不代表認可取得成果的過程。這批資料讓台灣研究者能閱讀手稿、檢查形式化證明與追蹤修訂，使用的模型則
搜尋結果
AI 數學能力大爆發：OpenAI 釋出數百論文，Mistral 兆級模型問世
商傳媒｜何映辰／台北報導本週人工智慧（AI）領域接連傳出重大進展，其中，OpenAI和法國新創MistralAI分別在數學研究與模型開發上展現驚人實力。OpenAI公布了數百篇由AI模型生成的數學論文，挑戰了多項長期未解的數學難題，而MistralAI則推出旗下規模最龐大
前 OpenAI 研究員創 TypeSafe AI 推 Jev 模型專攻結構化回應
商傳媒｜責任編輯／綜合外電報導前OpenAI研究員DiogoAlmeida近期創立新公司TypeSafeAI，並推出旗下首款人工智慧（AI）模型Jev。這款模型不同於傳統生成式AI聊天機器人，專注於提供結構化回應，例如「是/否」判斷、數值分數或從預設選項中選擇，目標是讓