跳转至主要内容
行情
扫链
追踪
信号
牛人榜
兑换
资产
邀请计划
更多
产品
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
-21.08%
USELESS
-7.62%
IKUN
-7.53%
gib
+0.14%
#
有消息称 Pump.fun 计划 40 亿估值发币,引发市场猜测
Bonk
-3.38%
ALON
-1.01%
LAUNCHCOIN
+1.08%
GOONC
-0.42%
KLED
-3.58%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
-0.35%
Boopa
-2.97%
PORK
-4.12%
主页
Logical Intelligence
AI推理,百分之百正确,百分之百正确,没有任何幻觉。现在,你第一次可以信任并验证。
查看原文
Logical Intelligence
12月3日 04:12
🚀 Aleph prover 刚刚进入了野兽模式 20 多年来未解决的 4 个数学问题。使用 Lean 4 进行正式证明。不到 48 小时。总费用低于 5000 美元。 ✅ 二项尾界猜想(Telgarsky,2009) ✅ 量子门格子近似(Greene & Damelin,2015)* ✅ Erdős 124 ✅ Erdős 481 ✅ PutnamBench 排行榜第 1 名 人工智能数学的时代来了。 特别感谢 @BorisHanin 和 @ylecun 帮助实现这一目标 🙏 并向 @LeanFRO 团队致以巨大的赞誉——没有你们建立的卓越基础,这一切都不可能实现。 Aleph 将很快向公众开放,敬请期待! *取决于 Sardari(2015)的结果,正式化待定
104.08K
357
Logical Intelligence
12月2日 00:11
我们的 Aleph 证明代理刚刚在 PutnamBench 上获得了第一名,这是一个基于 Putnam 问题构建的基准测试——Putnam 问题是最难的大学级数学奥林匹克之一——完全通过机器检查的证明形式化,没有人类参与。Putnam 问题通常被认为比 IMO 问题更难,涵盖了广泛的主题,包括微积分、数论、群论和其他核心数学领域。 这强有力地证明了 AI 可以处理深度的多步骤推理,并提供正确性保证——我们正在使用的同种技术来验证需要形式逻辑的真实软件、硬件和科学发现。
34.33K
169
热门
排行
收藏