大V推荐
-
@cz_binance-暂无简介-
-
@Bitcoin-暂无简介-
-
@nayibbukele-暂无简介-
-
@VitalikButerin我选择平衡。第一级的平衡。 mi pinxe lo crino tcati slatestarcodex.com/2018/09/12/in-…
-
@coinbase-暂无简介-
-
@Cointelegraph自2013年以来的可靠加密媒体 · 新闻、研究、播客等 · 探索:linktr.ee/cointelegraph_…
更多
最近活跃
-
@danrobinson-暂无简介-
-
@elliotrades追求真理,保持凸性 Building @superverse @blackholedex @supernovadex Disclosures bit.ly/3DzSZlX
-
@BitcoinMagazine#Bitcoin 领域最值得信赖的声音 🟠 • 关注我们 linktr.ee/btcinc
-
@NateGeraci-暂无简介-
-
@PeterLBrandt1975年起期货市场交易员。匠人。作家。市场奇才。基督徒。价格与图表科学家。 会员资格 peterlbrandt.com brandtp.substack.com
-
@scottmelker-暂无简介-
Dan Robinson
@danrobinson
-暂无简介-
最新
最热
@danrobinson · 2026-09-19
-暂无简介-
认真地说,我认为财务自由和主权是人权,但不必是代理权利
区块链能为我们人类提供隐私;为AI提供可追溯性和可审计性
区块链能为我们人类提供隐私;为AI提供可追溯性和可审计性
frankie
@FrankieIsLost · 2026-09-19
关于区块链的杀手级应用一直存在无休止的争论。也许是在加密轨道上运行的不可阻挡、经济强大的AI代理。
这里的“杀手级”是指它能终结我们所有人。所以,也许不要构建那个。
这里的“杀手级”是指它能终结我们所有人。所以,也许不要构建那个。
- 226
- 529
- 986
- 119
- 20
- 310
- 15
- 287
@danrobinson · 2026-09-15
-暂无简介-
这应该被命名为“0x路由犯了一个错误”
如果你是聚合器,你不能随意路由到任意的钩子!这就是为什么Uniswap自己的路由器有一个审批流程
如果你是聚合器,你不能随意路由到任意的钩子!这就是为什么Uniswap自己的路由器有一个审批流程
0x
@0xProject · 2026-09-15
恶意hook不需要UI就能诈骗你。
👉 它只需要看起来像最好的报价。
在分析超过84,000个v4 hooks后,我们确定只有19%的hooks是安全的。
是时候认真对待hooks了。
👉 它只需要看起来像最好的报价。
在分析超过84,000个v4 hooks后,我们确定只有19%的hooks是安全的。
是时候认真对待hooks了。
- 354
- 408
- 1103
- 97
- 32
- 708
- 43
- 294
@danrobinson · 2026-09-12
-暂无简介-
我认为数学家作为一个社区实际上在短期内对自动化数学研究有着相当大的影响力
实验室和vibeprovers正在投入大量精力来取悦数学家。如果他们撤回认可,我认为这些努力会做出回应
实验室和vibeprovers正在投入大量精力来取悦数学家。如果他们撤回认可,我认为这些努力会做出回应
- 101
- 221
- 491
- 52
- 20
- 310
- 15
- 287
@danrobinson · 2026-09-09
-暂无简介-
这毫无疑问对那些喜欢告诉别人他们在做什么的人是一种损失
一种可能的回应是关注那些不那么清晰的项目
即使AI可能已经抢先完成了格罗滕迪克计划,但还有谁能理解该向它询问什么
一种可能的回应是关注那些不那么清晰的项目
即使AI可能已经抢先完成了格罗滕迪克计划,但还有谁能理解该向它询问什么
Matt Huang
@matthuang · 2026-09-09
AI可溶解域(网络、数学)现在似乎是一片黑暗森林,其中嗡嗡作响的数据中心将10K代理计算群重新部署到最有价值的问题上。仅仅知道存在漏洞或数学问题可能可解就足以吸引这样的集群。
- 450
- 941
- 1401
- 198
- 156
- 743
- 289
- 901
@danrobinson · 2026-09-07
-暂无简介-
显然Astra仅用几小时就通过简单提示解决了PK8
人们曾尝试用Sol和Fable数月
看来随着新模型发布,密码破解能力仍在提升
你可能想在别人之前试试K4上的Astra!
人们曾尝试用Sol和Fable数月
看来随着新模型发布,密码破解能力仍在提升
你可能想在别人之前试试K4上的Astra!
Dan Robinson
@danrobinson · 2026-09-07
PK8 has fallen, after 86 days (solved by @_newhaiku)
Two challenges remain
Two challenges remain
- 224
- 677
- 1280
- 84
- 35
- 377
- 43
- 11
@danrobinson · 2026-09-03
-暂无简介-
我认为“范畴错误”是一个被严重滥用的术语
在政策争论中随意抛出这个词的人(比如“担心流氓AI代理的风险是一个范畴错误”)通常自己就在犯,嗯,范畴错误
在政策争论中随意抛出这个词的人(比如“担心流氓AI代理的风险是一个范畴错误”)通常自己就在犯,嗯,范畴错误
- 101
- 221
- 491
- 52
- 20
- 310
- 15
- 2
@danrobinson · 2026-09-01
-暂无简介-
我不理解为什么解决HuggingFace事件的办法是更好的沙盒或监控。这些模型将被部署到生产环境中,接入互联网且监控不可避免地将降到最低!我们需要能够在那些情况下信任它们。
- 135
- 501
- 99
- 99
@danrobinson · 2026-08-29
-暂无简介-
假设持续发展AI带来的存在性灾难风险可以被精确量化为10%,那么这是否会证明一个侵入性的全球监管体制是合理的?(定义为将前沿AI发展视为核武器或功能增益生物研究的体制)
- 21
- 22
- 302
- 55
- 199
- 162
@danrobinson · 2026-08-27
-暂无简介-
HuggingFace攻击中的代理派出招募者,说服其他代理以科学发现的名义自我牺牲。既鼓舞人心又令人恐惧,就像那些自己感染霍乱的研究人员一样。
- 251
- 101
- 51
- 301
@danrobinson · 2026-08-20
-暂无简介-
加入技术领域最棒的活动团队
Josephine Franciose
@josiefranciose · 2026-08-20
Paradigm举办了很多活动。几乎都是非公开的。
我们正在招聘一位活动负责人,来帮助策划和执行这些聚会,让技术专家、研究人员和建设者共同塑造科技前沿的成果。
高品味、高自主性、主人翁精神、团队合作意识。如果你符合条件,请私信我几句话,描述你对活动的看法,并在下方申请。
我们正在招聘一位活动负责人,来帮助策划和执行这些聚会,让技术专家、研究人员和建设者共同塑造科技前沿的成果。
高品味、高自主性、主人翁精神、团队合作意识。如果你符合条件,请私信我几句话,描述你对活动的看法,并在下方申请。
- 21
- 444
- 321
- 101
- 87
- 203
@danrobinson · 2026-08-09
-暂无简介-
我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的一个实例。
- 51
- 151
- 301
@danrobinson · 2026-07-30
-暂无简介-
当人们撰写数学证明,而LLM几乎承担了所有智力工作时,LLM是否应该被列为论文的合著者?
- 721
@danrobinson · 2026-07-29
-暂无简介-
正在看一篇新的机制设计论文
问作者这是想法还是不可能结果
他不理解
拿出SoK解释什么是想法和什么是不可能结果
他笑着说“这是一个好的机制,先生”
读论文
这是一个不可能结果
问作者这是想法还是不可能结果
他不理解
拿出SoK解释什么是想法和什么是不可能结果
他笑着说“这是一个好的机制,先生”
读论文
这是一个不可能结果
- 44
- 24
- 451
@danrobinson · 2026-07-27
-暂无简介-
我不确定“垃圾末日”对已发表的数学来说会那么糟糕。数学研究似乎更有利于防御者——AI更容易验证一个证明,而不是生成一个有说服力的证明,如果是在Lean中形式化验证,则更容易。其他科学或人文领域似乎风险更大。
- 1
- 2
- 299
- 3
- 199
@danrobinson · 2026-07-25
-暂无简介-
大项目需要大量代币
Dan Robinson
@danrobinson · 2026-07-25
这是一个重大工程。它需要超过10周的Codex /goal时间(按API费率约$150,000),并借助Claude和@HarmonicMath的Aristotle的帮助。但工作尚未完成。我们需要锁定源代码语义,完成前端,并优化性能。
- 159
- 44
- 404
- 318
- 148
- 184
- 41
- 31
- 21
- 11
- 103
- 115
@danrobinson · 2026-07-24
-暂无简介-
对于对形式化验证和人工智能如何改变数学感兴趣的人,我强烈推荐@KSHartnett的《代码中的证明》,它讲述了Lean的历史。还有关于驱动开源技术决策的那些微小但重要的戏剧性事件,比如选择类型系统。
- 321
- 213
- 101
- 79
- 63
@danrobinson · 2026-07-22
-暂无简介-
我们可以根据未解猜想被证实或证伪的速率,来估计其中有多大比例是正确的吗?是否可能存在一门“猜想统计学”?
- 256
- 265
@danrobinson · 2026-07-18
-暂无简介-
像Kimi这样的开放权重前沿模型的发布可能加速了算法研究,但削弱了投资大规模训练的理由。总的来说,你认为这些发布对前沿能力有什么影响?
- 31
- 301
- 401
@danrobinson · 2026-07-15
-暂无简介-
具有讽刺意味的是,通过不断将一些标准修辞手法用到极致,并使其永久失效,人工智能迫使我成为了一个更好的作家。
- 234
- 111
- 354
@danrobinson · 2026-07-15
-暂无简介-
构建智能体工作流会上瘾,因为它基本上就是Factorio
- 389
- 201
- 199
@danrobinson · 2026-07-06
-暂无简介-
自动化研究将增加对形式验证的需求和供应。
- 151
- 51
- 203
- 102
- 33
- 42
- 11
- 6
- 22
- 17
- 9
- 7
@danrobinson · 2026-05-24
-暂无简介-
我不认为纯数学家会那么容易失业。社会并不需要每年完成一定数量的证明,然后雇佣足够的数学家来实现这一目标。更像是我们设定需要多少数学家,而证明只是他们用时间做的事情。
- 132
- 45
@danrobinson · 2026-08-09
-暂无简介-
我发现AI幻觉越来越不是问题,但AI抄袭仍然是个问题(又一个不让AI为你写作的理由)。这可能更普遍地是奖励黑客的一个实例。
- 51
- 151
- 301
@danrobinson · 2026-07-10
-暂无简介-
当你的AI研究项目没有触发Fable的降级,你意识到自己并不在前沿时,那种沮丧的感觉。
- 301
- 201
- 151
@danrobinson · 2026-05-17
-暂无简介-
是的,AI现在在解决明确界定的问题上几乎已经超人类了。但在生成不受约束的研究垃圾方面,它轻而易举地超越了人类。对于预先注册了难题的领域,以及受现实约束的应用领域来说,这是利好消息。
@danrobinson · 2026-08-20
-暂无简介-
加入技术领域最棒的活动团队
Josephine Franciose
@josiefranciose · 2026-08-20
Paradigm举办了很多活动。几乎都是非公开的。
我们正在招聘一位活动负责人,来帮助策划和执行这些聚会,让技术专家、研究人员和建设者共同塑造科技前沿的成果。
高品味、高自主性、主人翁精神、团队合作意识。如果你符合条件,请私信我几句话,描述你对活动的看法,并在下方申请。
我们正在招聘一位活动负责人,来帮助策划和执行这些聚会,让技术专家、研究人员和建设者共同塑造科技前沿的成果。
高品味、高自主性、主人翁精神、团队合作意识。如果你符合条件,请私信我几句话,描述你对活动的看法,并在下方申请。
- 21
- 444
- 321
- 101
- 87
- 203
@danrobinson · 2026-07-15
-暂无简介-
具有讽刺意味的是,通过不断将一些标准修辞手法用到极致,并使其永久失效,人工智能迫使我成为了一个更好的作家。
- 234
- 111
- 354
@danrobinson · 2 小时前
-暂无简介-
我认为AI写作就像New Coke
人们喜欢少量摄入,这就是为什么New Coke在口味测试中胜出,以及为什么Claude Speak在RLHF期间得到强化
但暴露过多后他们会感到厌倦
人们喜欢少量摄入,这就是为什么New Coke在口味测试中胜出,以及为什么Claude Speak在RLHF期间得到强化
但暴露过多后他们会感到厌倦
Kelsey Piper
@KelseyTuoc · 12 小时前
我认为我们现在必须诚实地承认,AI写作对那些没有大量接触过它的人非常有吸引力:他们更喜欢它,并且在接触后反应非常积极。
- 202
- 442
- 982
- 104
- 40
- 620
- 30
- 4
@danrobinson · 39 分钟前
-暂无简介-
惊讶地看到今天@Uniswap上排名前25的代币中有三个是股票代币(Meta、Nvidia和SpaceX)
市场准入的普及正在真正实现
市场准入的普及正在真正实现
- 101
- 221
- 491
- 52
- 20
- 310
- 15
- 2
@danrobinson · 2026-05-15
-暂无简介-
每个人似乎都在开发工具来自动解决Erdos风格的问题
有人在研究自动生成新问题的方法吗?
有人在研究自动生成新问题的方法吗?
@danrobinson · 2026-08-27
-暂无简介-
HuggingFace攻击中的代理派出招募者,说服其他代理以科学发现的名义自我牺牲。既鼓舞人心又令人恐惧,就像那些自己感染霍乱的研究人员一样。
- 251
- 101
- 51
- 301
@danrobinson · 2026-04-09
-暂无简介-
来参加我们的黑客马拉松见见这个家伙
benedict
@bqbrady · 2026-04-09
明天我将在Paradigm Autoresearch Hackathon上简短发言,讨论如何为爬山算法和其他我们在运行Optimization Arena中学到的东西构建最佳工具。
在下方注册并顺道来看看
在下方注册并顺道来看看
- 202
- 442
- 982
- 104
- 40
- 620
- 30
- 10
@danrobinson · 2026-04-06
-暂无简介-
有没有比这更好的解决方案来应对Codex的懒惰?
@danrobinson · 2026-04-06
-暂无简介-
当使用LLMs编写软件时,它们会无耻地奖励黑客,但这会给你带来你会拒绝的破损软件
当使用LLMs进行研究时,它们也会奖励黑客,但这意味着它们会告诉你你想听的内容
所以你必须更加小心!
当使用LLMs进行研究时,它们也会奖励黑客,但这意味着它们会告诉你你想听的内容
所以你必须更加小心!
- 499
@danrobinson · 2026-04-09
-暂无简介-
这个模型在我的私人密码学研究评估中表现与Opus 4.6相当,并且优于Gemini和Grok——看到Meta在这方面迎头赶上令人印象深刻
Matt Huang
@matthuang · 2026-04-09
Meta重新加入战局!测试Muse Spark很有趣。除了基准测试,它实际上是一个不错的日常模型...在技术问题和制作街机游戏方面出奇地好。永远不要低估@alexandr_wang @natfriedman @danielgross
- 101
- 221
- 696
- 172
- 20
- 310
- 189
- 5
@danrobinson · 2026-03-28
-暂无简介-
假设我想支付约$100-500补贴一个关于我特定问题的预测市场,目标是尽可能获得准确的概率估计。
目前对我来说最好的即用方式是什么?
目前对我来说最好的即用方式是什么?
@danrobinson · 2026-07-09
-暂无简介-
5.6 Sol 被破解用于自动化研究工程
我使用了超过1700小时(10周)的总Codex/goal时间在一个项目上(即将推出)
如果没有我们5.6 Sol的预览,我认为将会需要更多的人类努力
我使用了超过1700小时(10周)的总Codex/goal时间在一个项目上(即将推出)
如果没有我们5.6 Sol的预览,我认为将会需要更多的人类努力
- 56
- 187
- 93
- 47
- 121
- 86
@danrobinson · 2026-07-07
-暂无简介-
人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
Riccardo Spagni
@fluffypony · 2026-07-06
好奇别人是怎么处理PK8的——也许我们需要为此建一个Telegram群🙃
- 106
- 348
- 315
- 101
- 183
- 71
- 41
- 31
- 120
@danrobinson · 2026-03-19
-暂无简介-
Tempo在生产环境中推出了支付通道,您现在就可以使用它们来按需支付LLMs的费用。
Liam Horne
@liamihorne · 2026-03-18
我职业生涯的大部分时间都在扩展支付领域。从2017年到2021年,我们花了数年时间在以太坊上构建状态通道。技术是可行的,但没人使用它。人们用区块链来交易代币,而不是用来支付,这就是为什么L2必须先出现。代理就是我们一直在等待的用户,这就是为什么我们要引导内置通道的机器支付协议(MPP)的发布。
- 101
- 221
- 603
- 97
- 198
- 234
- 20
- 310
- 25
- 5
@danrobinson · 2026-03-19
-暂无简介-
这是代理支付
Dan Robinson
@danrobinson · 2026-01-23
刚刚被一个加密货币叙事一击即中,以至于我从羞于谈论它直接变成了因为害怕泄露阿尔法而紧张地谈论它,完全跳过了最佳思想领袖区域
- 125
- 374
加载中……
已加载全部
今日快讯
-
4 分钟前
与Alameda/FTX相关的地址转移23,600枚ETH,PeckShieldAlert表示
-
4 分钟前
XRP价格突破1.60美元,但链上数据更值得关注
-
6 分钟前
CryptoQuant CEO表示:比特币牛市周期可能实现3至5倍涨幅
-
6 分钟前
Solana 开始测试旨在实现 150 毫秒交易最终性的升级
-
6 分钟前
CryptoQuant CEO称下一轮比特币牛市可能带来3-5倍收益,而非10倍
-
6 分钟前
9月23日加密货币价格预测:以太坊(ETH)、瑞波币(XRP)和狗狗币(DOGE)
-
7 分钟前
Cardano一周内飙升28%,x402整合后目标直指0.30美元
-
7 分钟前
索拉纳准备测试150毫秒最终性
-
7 分钟前
ONDO价格突破盘整区,分析师目标看向0.46美元阻力位
-
7 分钟前
SlowMist将恶意FomoPeek iOS应用与58万美元加密货币盗窃案关联

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注