IXThinker·2025-05-12 21:10

陶哲軒不等式證明工具數日升級2.0版

菲爾茲獎得主陶哲軒持續探索AI輔助數學：他與ChatGPT合作打造的開源不等式證明工具，數天內迭代至2.0版，從自動化驗證框架蛻變為靈活的證明助手，最新影片更示範33分鐘「盲做」形式化一頁證明。

數天升級2.0

這款概念驗證工具專攻任意正參數的不等式證明，2.0版不僅能全自動證明，還支持半自動交互式證明，從單純的驗證框架進化為靈活的證明助手。