跳轉至主要內容
行情
掃鏈
追蹤
信號
牛人榜
兌換
資產
邀請計劃
更多
產品
DeFi
市場
洞察中心
Eco Hub
安全中心
開發者中心
X Layer
探索 X Layer
X Layer 瀏覽器
跨鏈橋
開發者文檔
測試網水龍頭
GitHub
Wallet API
探索 Wallet API
API 文檔
API Key 管理
區塊鏈瀏覽器
DApp 連接錢包
Boost
X Launch
參與 X Launch,搶先賺新幣
Giveaway
完成指定任務,領取空投好禮
交易賽
交易熱門代幣,衝榜贏大獎
獎勵中心
領取獎勵和空投
預警
語言
貨幣
顏色設置
下載 OKX Wallet
Web3 指南
公告
返回
繁體中文
简体中文
English
Tiếng Việt
Русский
Español (Latinoamérica)
Bahasa Indonesia
Français
Deutsch
Italiano
Polski
Čeština
Română
Português (Portugal)
Português (Brasil)
Українська
Español (España)
Nederlands
العربية
日本語
Norsk (bokmål)
Suomi
Svenska
Türkçe
返回
返回
學院
幫助中心
發現功能使用指南
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
-11.53%
USELESS
-8.3%
IKUN
-12.81%
gib
-10.06%
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
Bonk
-6.13%
ALON
-2.58%
LAUNCHCOIN
+1.85%
GOONC
-4.49%
KLED
-15.54%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
-0.35%
Boopa
-8.47%
PORK
0.00%
主頁
Bartosz Naskręcki
數學家 |副院長 @ 波茲南亞當密茨凱維奇大學|將嚴謹的數學與程式設計與機器學習聯繫起來|對人工智慧真正理解的內容充滿熱情
查看原文
Bartosz Naskręcki
12月2日 17:45
對年輕學徒們:在2025年學習數學值得嗎?絕對值得。 人類思考者的創造性、探索性和策略優勢將會成倍增長。我們正進入一個數學洞察力和人類想像力將以前所未有的方式相互增強的時代。奇蹟在等待著我們,這種奇蹟是過去幾代人甚至無法想像的。繼續學習,繼續探索——未來是光明的。
14.68K
256
Bartosz Naskręcki
12月2日 16:59
我們正進入數學的豐盛時代,這感覺真是太棒了。數學家們就像指揮家一樣,協調、引導並塑造願景。活在這樣的時代真是太好了。
25.21K
358
Bartosz Naskręcki
2025年11月30日
我喜歡在研究中結合 AI 工具,這裡有一個有趣的想法,可能沒有人嘗試過。 首先,您可以使用 @HarmonicMath 生成一個亞里士多德的正式證明。 接下來,您可以用以下提示指導 @NanoBanana (Pro): 製作一個插圖信息圖表,其中每個假設及其證明都與一個特定指標相關聯,該指標導向最終結論(主要定理的證明)。您可以參考以下 Lean 代碼: <Lean code> 祝您研磨愉快!
24.32K
122
熱門
排行
收藏