標簽：不等式

WPS接入DeepSeek，秒變辦公神器！

WPS 大家經常用來日常寫作，雖然本身提供了AI功能，但可惜需要會員，本文教你三分鐘接入最火的DeepSeek，讓WPS秒變辦公神器。 DeepSeek API申請地址：http:/...
閱讀原文

AI賺錢副業~AI生成影視解說，半個月漲粉變現3.5W+！

這兩年大家都在感嘆生活不易，然而我想說的是，機會還是有的，但問題不在于有沒有，而在于你是否能夠認準機會，然后抓住它。 接觸過很多咨詢項目的人，發現...

陶哲軒論文漏洞竟被AI發現，26年預言要成真！看定理名猜出研究方向，大神直呼AI能力驚人

新智元報道編輯：Aeneas 好困【新智元導讀】瘋狂入坑AI工具的數學大神陶哲軒，最近又被Lean4和Copilot震驚了——它們竟然幫他發現了自己論文中的一處錯誤！2026...
閱讀原文

陶哲軒上手Copilot：不可思議，它能從定理名字猜出我想要的方向

機器之心報道編輯: 蛋醬、小舟嘗鮮 GPT-4 之后，陶哲軒又用上了 Github Copilot。這一次，他的試用場景是學習 Lean 語言并利用其形式化數學定理。對于大模型...
閱讀原文

陶哲軒瘋狂安利Copilot：它幫我完成了一頁紙證明，甚至能猜出我后面的過程

克雷西 發自 凹非寺量子位 | 公眾號 QbitAI繼給GPT-4“代言”之后，Copilot也被陶哲軒瘋狂安利。他直言，在編程時，Copilot能直接預測出他下一步要做什么。有了...
閱讀原文

GPT-4野生代言人陶哲軒：搞論文學新工具沒它得崩潰！11頁“超簡短”新作已上線

豐色 發自 凹非寺量子位 | 公眾號 QbitAI陶哲軒有多愛GPT-4？這回，不止寫論文做研究，學新工具時他也離不開它了。就在今天，他的又一篇成果上線，關于麥克勞...
閱讀原文

陶哲軒：我用GPT-4輔助證明不等式定理，論文還會上傳arXiv

機器之心報道編輯：杜偉陶哲軒可太喜歡 GPT 系列大語言模型了！近幾個月來，著名數學家陶哲軒熱衷于用 ChatGPT、GPT-4 等 AI 工具輔助解決數學問題。我們也一...
閱讀原文