跳转至主要内容
行情
扫链
追踪
信号
牛人榜
兑换
资产
邀请计划
更多
产品
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.41%
USELESS
-7.41%
IKUN
-12.81%
gib
-10.06%
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
Bonk
-5.95%
ALON
-2.58%
LAUNCHCOIN
+2.52%
GOONC
-4.49%
KLED
-16.21%
#
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(专业版): 制作一个插图信息图表,其中每个假设及其证明与一个特定指标相关联,指向最终结论(主要定理的证明)。你可以参考以下Lean代码: <Lean code> 祝你好运!
24.32K
122
热门
排行
收藏