DeepSeek上傳新數學AI模型

阿斯達克財經

2025/04/30

外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。...

網頁鏈接

免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。

熱議股票

{"basename":"/hant","ssrTDKData":{"titleTemplate":"%s - 老虎證券","title":"老虎证券全球投资理财平台| 一站式投资美股新股港股A股","description":"老虎证券助您一站式投资美股，新股，港股，A股等全球金融理财产品。新加坡华人最信赖的在线投资平台，现在加入即享低费用，24/5 无时差炒美股投资理财！","keywords":"老虎證券,老虎證券開戶,老虎券商,老虎證券官網,老虎證券app,tigertrade老虎證券,股票,炒股,新加坡股票交易平臺,投資,投資理財","social":{"ogDescription":"老虎证券助您一站式投资美股，新股，港股，A股等全球金融理财产品。新加坡华人最信赖的在线投资平台，现在加入即享低费用，24/5 无时差炒美股投资理财！","ogImage":"https://c1.itigergrowtha.com/portal5/static/media/og-logo.be62fbe1.png","ogUrl":"https://www.itiger.com/hant/news/2532686850"},"companyName":"老虎證券"},"pageData":{"isMobile":false,"isTiger":false,"isTTM":true,"region":"SGP","license":"TBSG","edition":"fundamental"},"isCrawlerRequest":true,"__swrFallback__":{"@#url:\"https://stock-news.skytigris.cn/v3/news\",params:#id:\"2532686850\",edition:\"fundamental\",auth_exemption:1,,,undefined,":{"share":"https://ttm.financial/m/news/2532686850?lang=zh_TW&edition=fundamental","thumbnail":"https://plib.aastocks.com/aafnnews/image/medialib/20250128102755866_s.jpg","is_english":false,"pubTime":"2025-04-30 22:55","share_image_url":"https://static.laohu8.com/e9f99090a1c2ed51c021029395664489","id":"2532686850","market":"fut","top_or_hot":-1,"title":"DeepSeek上傳新數學AI模型","media":"阿斯達克財經","content":"<div>\n<p>外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。...</p>\n\n<a href=\"http://www.aastocks.com/tc/stocks/news/aafn-con/NOW.1437262/latest-news/AAFN\">網頁鏈接</a>\n\n</div>\n","source":"aastocks_highlight","html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>DeepSeek上傳新數學AI模型</title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 12.5px; color: #7E829C; margin: 0;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\nDeepSeek上傳新數學AI模型\n</h2>\n<h4 class=\"meta\">\n<p class=\"head\">\n<strong class=\"h-name small\">阿斯達克財經</strong><span class=\"h-time small\">2025-04-30 22:55</span>\n</p>\n</h4>\n</header>\n<article>\n<div>\n<p>外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。...</p>\n\n<a href=\"http://www.aastocks.com/tc/stocks/news/aafn-con/NOW.1437262/latest-news/AAFN\">網頁鏈接</a>\n\n</div>\n\n<div class=\"bt-text\">\n\n\n<p> 來源：<a href=\"http://www.aastocks.com/tc/stocks/news/aafn-con/NOW.1437262/latest-news/AAFN\">阿斯達克財經</a></p>\n<p>為提升您的閱讀體驗，我們對本頁面進行了排版優化</p>\n\n\n</div>\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"SG9999002463.SGD","symbol_name":"LionGlobal China Growth SGD","start_time":0,"source_url":"http://www.aastocks.com/tc/stocks/news/aafn-con/NOW.1437262/latest-news/AAFN","article_id":"2532686850","we_media_id":null,"thumbnails":["https://plib.aastocks.com/aafnnews/image/medialib/20250128102755866_s.jpg"],"rights":{"source":"aastocks_highlight","url":"http://www.aastocks.com/tc/stocks/news/aafn-con/NOW.1437262/latest-news/AAFN","rn_cache_url":null,"directOrigin":true},"url":"https://stock-news.laohu8.com/highlight/detail?id=2532686850","pubTimestamp":1746024900,"columns":[],"sourceInfo":{"source_id":"aastocks_highlight","name":"阿思達克財經"},"weMediaInfo":null,"summary":"外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。DeepSeek的新模型是在阿里巴巴昨天宣佈推出其最新的Qwen 3系列大型語言模型之後推出的，其中包括模型Qwen3-235B-A22B，專門用於解決基於兩種模型的數學和編碼查詢。","collect":0,"end_time":0,"defaultTopTitle":"aastocks.com","property":[],"viewcount":null,"language":"zh","relate_stocks":{"89988":"阿里巴巴-WR","SG9999002463.SGD":"LionGlobal China Growth SGD","LU1044876610.USD":"THREADNEEDLE (LUX) ASIAN CONTRARIAN EQUITY \"ZU\" (USD) ACC","LU0326950275.SGD":"Schroder ISF China Opportunities A Acc SGD-H","LU1481107354.HKD":"HSBC GIF HONG KONG EQUITY \"AD\" (HKD) INC","LU1720051017.SGD":"Allianz Global Artificial Intelligence AT Acc H2-SGD","IE00B543WZ88.USD":"NEUBERGER BERMAN CHINA EQUITY \"A\" (USD) ACC","LU0048597586.USD":"富达亚洲焦点A","HK0000306701.USD":"TAIKANG KAITAI CHINA NEW OPPORTUNITIES FUND \"A\" (USD) INC","LU0700851271.USD":"NINETY ONE GSF EMERGING MARKETS MULTI-ASSET \"A\" (USD) ACC","LU0594300179.USD":"FIDELITY CHINA CONSUMER \"A\" (USD) ACC","LU1642822792.SGD":"THREADNEEDLE (LUX) ASIAN CONTRARIAN EQUITY \"A\" (SGD) ACC","SG9999006597.SGD":"United China-India Dynamic Growth SGD","LU0417516902.SGD":"Allianz China Equity Cl AT Acc SGD","LU0130103400.USD":"Natixis Harris Associates Global Equity RA USD","BK1591":"就地过年概念","LU0051755006.USD":"摩根大通中国A (dist)","LU1201861165.SGD":"Natixis Harris Associates Global Equity PA SGD","HBBD.SI":"Alibaba HK SDR 5to1","LU1813983027.USD":"MANULIFE GF DRAGON GROWTH \"AA\" (USD) INC","LU0541501648.USD":"ALLSPRING  EMERGING MARKETS EQUITY \"A\" (USD) ACC","LU0823413660.USD":"BNP PARIBAS EMERGING EQUITY \"C\" (USD) INC","LU0502904849.HKD":"FIDELITY FUNDS  CHINA INNOVATION \"A\" (HKD) ACC","LU1282651121.HKD":"ALLIANZ GEM EQUITY HIGH DIVIDEND \"AMG\" (HKD) INC","LU0345775950.USD":"NINETY ONE GSF ASIAN EQUITY \"A\" (USD) ACC","LU0228367735.SGD":"Eastspring Investments - Asian Equity Fund AS SGD","LU1880398471.USD":"AMUNDI FUNDS GLOBAL EQUITY \"A2\" (USD) ACC","LU0140636845.USD":"施罗德大中华区股票A Acc","LU2399975544.HKD":"ALLIANZ ALL CHINA EQUITY \"AT\" (HKD) ACC","LU0608807433.USD":"TEMPLETON EMERGING MARKETS DYNAMIC INCOME \"A\" (USD) ACC","LU0259732245.USD":"EASTSPRING INVESTMENTS DRAGON PEACOCK A","LU0588545730.USD":"EASTSPRING INVESTMENTS ASIAN EQUITY INCOME \"ADM\" (USD) INC","LU0823397103.USD":"BNP PARIBAS SUSTAINABLE ASIA EX-JAPAN EQUITY \"C\" (USD) ACC","LU1323998911.USD":"BGF ASIAN MULTI-ASSET INCOME \"A\" (USD) ACC","HK0000306685.HKD":"TAIKANG KAITAI CHINA NEW OPPORTUNITIES FUND \"A\" (HKD) INC","LU1328277881.USD":"MANULIFE GF DRAGON GROWTH FUND \"AA\" (USD) INC","LU0823426308.USD":"法巴中国股票基金","LU0828237510.HKD":"SCHRODER ISF BIC (BRAZ IN CH)\"A\" (HKD) ACC","LU0823397285.USD":"BNP PARIBAS SUSTAINABLE ASIA EX-JAPAN EQUITY \"C\" (USD) INC","LU1981816686.USD":"EASTSPRING INV ASIAN MULTI FACTOR EQUITY \"A\" (USD) ACC","LU0588545904.SGD":"Eastspring Investments - Asian Equity Income ASDM SGD","LU0196878994.USD":"MANULIFE GF CHINA VALUE \"AA\" (USD) INC","LU1328615791.USD":"FULLERTON LUX FUNDS - ALL CHINA EQUITIES \"I\" (USD) ACC","LU0049853897.USD":"SCHRODER ISF EMERGING MARKETS \"A\" (USD) INC AV","LU1282649141.HKD":"ALLIANZ ASIAN MULTI INCOME PLUS \"AMG\" (HKD) INC","LU0320764243.SGD":"FTIF - Templeton Emerging Markets A Acc SGD","SG9999014674.SGD":"Nikko AM All China Equity A SGD","LU0370786039.SGD":"Fidelity Greater China A-SGD"},"translate_title":"DeepSeek uploads new mathematical AI model","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"89988":0.6,"HBBD.SI":0.6},"content_text":"外媒報道，中國人工智能初創公司DeepSeek周三向開源AI社區Hugging Face上傳一款專門用於解決數學問題的新型專業AI模型，但沒有於官方或社交媒體上發布聲明。新模型Prover-V2-671B在該公司的Hugging Face頁面上沒有官方描述，但建立在DeepSeek的V3模型之上，為公司去年推出的Prover-V1.5的更新，該版本是為Lean 4中的定理證明而設計。DeepSeek的新模型是在阿里巴巴(09988.HK) 昨天宣佈推出其最新的Qwen 3系列大型語言模型(LLM)之後推出的，其中包括模型Qwen3-235B-A22B，專門用於解決基於兩種模型(思考和非思考)的數學和編碼查詢。(to/m)(港股報價延遲最少十五分鐘。沽空資料截至 2025-04-30 16:25。)AASTOCKS新聞","kind":"news","is_publish_news":true,"is_publish_highlight":false,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"0","news_tag":"","news_rank":0,"symbols":[],"gpt_button":0,"need_auth":false,"code":"91000000","status":"200"}}}