大V推荐
-
@cz_binance-暂无简介-
@cz_binanceCZ 🔶 BNB
@cz_binance-暂无简介-
-
@Bitcoin-暂无简介-
-
Nayib Bukele
@nayibbukele-暂无简介-
-
@VitalikButerin我选择平衡。第一级的平衡。 mi pinxe lo crino tcati slatestarcodex.com/2018/09/12/in-…
@VitalikButerinvitalik.eth
@VitalikButerin我选择平衡。第一级的平衡。 mi pinxe lo crino tcati slatestarcodex.com/2018/09/12/in-…
-
@coinbase-暂无简介-
@coinbaseCoinbase 🛡️
@coinbase-暂无简介-
-
@Cointelegraph自2013年以来的可靠加密媒体 · 新闻、研究、播客等 · 探索：linktr.ee/cointelegraph_…
@CointelegraphCointelegraph
@Cointelegraph自2013年以来的可靠加密媒体 · 新闻、研究、播客等 · 探索：linktr.ee/cointelegraph_…
更多
最近活跃
-
@cryptodotnews您的一站式加密货币与Web3资讯源 Telegram: t.me/cryptodotnews
@cryptodotnewscrypto.news
@cryptodotnews您的一站式加密货币与Web3资讯源 Telegram: t.me/cryptodotnews
-
@ChadPergram-暂无简介-
@ChadPergramChad Pergram
@ChadPergram-暂无简介-
-
@santimentfeed📊 为您提供超过3500种加密货币的链上与社交指标的市场情报平台。看清加密世界中他人所不能见！😀 🔗 linktr.ee/santiment
@santimentfeedSantiment
@santimentfeed📊 为您提供超过3500种加密货币的链上与社交指标的市场情报平台。看清加密世界中他人所不能见！😀 🔗 linktr.ee/santiment
-
Dan Robinson
@danrobinson-暂无简介-
-
@matthew_sigel数字资产研究负责人 @VanEck_us。 VanEck 链上经济ETF（$NODE）的投资组合经理。 披露信息 bit.ly/3kn4hQW bit.ly/3
@matthew_sigelmatthew sigel, recovering CFA
@matthew_sigel数字资产研究负责人 @VanEck_us。 VanEck 链上经济ETF（$NODE）的投资组合经理。 披露信息 bit.ly/3kn4hQW bit.ly/3
-
币安Binance华语
@binancezh关注Binance华语， 洞悉行情节奏， 劲享币安重重好礼， 让你的邻家小编不下岗！ 注册立拿100U：binance.com/zh-CN 商业合作： t.me/chloeset0 #Binance #BNB
@binancezh币安Binance华语
币安Binance华语
@binancezh关注Binance华语， 洞悉行情节奏， 劲享币安重重好礼， 让你的邻家小编不下岗！ 注册立拿100U：binance.com/zh-CN 商业合作： t.me/chloeset0 #Binance #BNB
Dan Robinson
@danrobinson
-暂无简介-
最新
最热
似乎是一种氛围转变，现在仅仅用嘲笑来回应AI安全/安全问题不再被认为是可信的。这令人鼓舞。
- 201
- 11
- 301
- 51
- 101
非常兴奋能与@justinwangx合作！敬请关注。
Justin
@justinwangx · 3 小时前
我很兴奋地分享，我已经加入@paradigm担任研究合伙人。我将在@matthuang和@alanapalmedo的领导下，与团队其他成员合作，继续在前沿领域进行研究。
- 398
- 452
- 147
- 31
- 260
- 11
- 19
当人们撰写数学证明，而LLM几乎承担了所有智力工作时，LLM是否应该被列为论文的合著者？
- 721
正在看一篇新的机制设计论文
问作者这是想法还是不可能结果
他不理解
拿出SoK解释什么是想法和什么是不可能结果
他笑着说“这是一个好的机制，先生”
读论文
这是一个不可能结果
问作者这是想法还是不可能结果
他不理解
拿出SoK解释什么是想法和什么是不可能结果
他笑着说“这是一个好的机制，先生”
读论文
这是一个不可能结果
- 44
- 24
- 451
我不确定“垃圾末日”对已发表的数学来说会那么糟糕。数学研究似乎更有利于防御者——AI更容易验证一个证明，而不是生成一个有说服力的证明，如果是在Lean中形式化验证，则更容易。其他科学或人文领域似乎风险更大。
- 1
- 2
- 299
- 3
- 199
大项目需要大量代币
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
对于对形式化验证和人工智能如何改变数学感兴趣的人，我强烈推荐@KSHartnett的《代码中的证明》，它讲述了Lean的历史。还有关于驱动开源技术决策的那些微小但重要的戏剧性事件，比如选择类型系统。
- 321
- 213
- 101
- 79
- 63
我们可以根据未解猜想被证实或证伪的速率，来估计其中有多大比例是正确的吗？是否可能存在一门“猜想统计学”？
- 256
- 265
像Kimi这样的开放权重前沿模型的发布可能加速了算法研究，但削弱了投资大规模训练的理由。总的来说，你认为这些发布对前沿能力有什么影响？
- 31
- 301
- 401
具有讽刺意味的是，通过不断将一些标准修辞手法用到极致，并使其永久失效，人工智能迫使我成为了一个更好的作家。
- 234
- 111
- 354
构建智能体工作流会上瘾，因为它基本上就是Factorio
- 389
- 201
- 199
我认为“ETH是货币”一直是其价值的最佳案例，而那些无法理解它的人最终损害了以太坊。
Hayden Adams 🦄
@haydenzadams · 2026-07-10
不知道这是从哪来的，我只是在回答‘RH链以ETH计价是怎么回事’这个问题，答案是‘目前上面发生的大部分事情’ 没有人假装当前交易量不是memecoin——虽然才上线一周，而且该链声称的目标是聚焦于RWA
- 224
- 91
- 408
- 120
- 69
- 78
- 117
- 70
- 45
- 66
- 119
- 27
当你的AI研究项目没有触发Fable的降级，你意识到自己并不在前沿时，那种沮丧的感觉。
- 301
- 201
- 151
5.6 Sol 被破解用于自动化研究工程
我使用了超过1700小时（10周）的总Codex/goal时间在一个项目上（即将推出）
如果没有我们5.6 Sol的预览，我认为将会需要更多的人类努力
我使用了超过1700小时（10周）的总Codex/goal时间在一个项目上（即将推出）
如果没有我们5.6 Sol的预览，我认为将会需要更多的人类努力
- 56
- 187
- 93
- 47
- 121
- 86
通常，将自己主要认定为AI“加速主义者”，往往是脱离前沿的一个好迹象。
- 349
- 76
- 21
- 408
人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
Riccardo Spagni
@fluffypony · 2026-07-06
好奇别人是怎么处理PK8的——也许我们需要为此建一个Telegram群🙃
- 106
- 348
- 315
- 101
- 183
- 71
- 41
- 31
- 120
自动化研究将增加对形式验证的需求和供应。
- 151
- 51
- 203
- 102
- 33
- 42
- 11
- 6
- 22
- 17
- 9
- 7
根据我的经验，政策制定者似乎与AI前沿的人们脱节。如果你是一位AI研究人员，认为政策制定者可能会从你对AI的看法或经验中受益，请私信我。
- 153
- 203
- 47
- 99
- 198
这是一个了不起的创始团队，也是以太坊的一个伟大倡议。
ansgar.eth
@adietrichs · 2026-06-23
我非常激动地分享我们即将推出Ethlabs。核心信念：这是以太坊的独特时刻。采用已经到来，全球经济正在上链。我们希望帮助以太坊实现其潜力，成为共享的全球结算层。
- 402
- 322
- 252
- 132
- 194
- 61
- 51
- 23
我没有安全带。但我确实拥有一套非常独特的技能。
- 199
- 87
- 491
自动化研究将增加对形式验证的需求和供应。
- 151
- 51
- 203
- 102
- 33
- 42
- 11
- 6
- 22
- 17
- 9
- 7
我不认为纯数学家会那么容易失业。社会并不需要每年完成一定数量的证明，然后雇佣足够的数学家来实现这一目标。更像是我们设定需要多少数学家，而证明只是他们用时间做的事情。
- 132
- 45
当你的AI研究项目没有触发Fable的降级，你意识到自己并不在前沿时，那种沮丧的感觉。
- 301
- 201
- 151
是的，AI现在在解决明确界定的问题上几乎已经超人类了。但在生成不受约束的研究垃圾方面，它轻而易举地超越了人类。对于预先注册了难题的领域，以及受现实约束的应用领域来说，这是利好消息。
非常兴奋能与@justinwangx合作！敬请关注。
Justin
@justinwangx · 3 小时前
我很兴奋地分享，我已经加入@paradigm担任研究合伙人。我将在@matthuang和@alanapalmedo的领导下，与团队其他成员合作，继续在前沿领域进行研究。
- 398
- 452
- 147
- 31
- 260
- 11
- 19
似乎是一种氛围转变，现在仅仅用嘲笑来回应AI安全/安全问题不再被认为是可信的。这令人鼓舞。
- 201
- 11
- 301
- 51
- 101
具有讽刺意味的是，通过不断将一些标准修辞手法用到极致，并使其永久失效，人工智能迫使我成为了一个更好的作家。
- 234
- 111
- 354
每个人似乎都在开发工具来自动解决Erdos风格的问题
有人在研究自动生成新问题的方法吗？
有人在研究自动生成新问题的方法吗？
来参加我们的黑客马拉松见见这个家伙
benedict
@bqbrady · 2026-04-09
明天我将在Paradigm Autoresearch Hackathon上简短发言，讨论如何为爬山算法和其他我们在运行Optimization Arena中学到的东西构建最佳工具。
在下方注册并顺道来看看
在下方注册并顺道来看看
- 202
- 442
- 982
- 104
- 40
- 620
- 30
- 10
有没有比这更好的解决方案来应对Codex的懒惰？
当使用LLMs编写软件时，它们会无耻地奖励黑客，但这会给你带来你会拒绝的破损软件
当使用LLMs进行研究时，它们也会奖励黑客，但这意味着它们会告诉你你想听的内容
所以你必须更加小心！
当使用LLMs进行研究时，它们也会奖励黑客，但这意味着它们会告诉你你想听的内容
所以你必须更加小心！
- 499
这个模型在我的私人密码学研究评估中表现与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
假设我想支付约$100-500补贴一个关于我特定问题的预测市场，目标是尽可能获得准确的概率估计。
目前对我来说最好的即用方式是什么？
目前对我来说最好的即用方式是什么？
5.6 Sol 被破解用于自动化研究工程
我使用了超过1700小时（10周）的总Codex/goal时间在一个项目上（即将推出）
如果没有我们5.6 Sol的预览，我认为将会需要更多的人类努力
我使用了超过1700小时（10周）的总Codex/goal时间在一个项目上（即将推出）
如果没有我们5.6 Sol的预览，我认为将会需要更多的人类努力
- 56
- 187
- 93
- 47
- 121
- 86
人们正在做令人惊叹的事情来尝试解决 Paradigm 的 Kryptos 挑战
Riccardo Spagni
@fluffypony · 2026-07-06
好奇别人是怎么处理PK8的——也许我们需要为此建一个Telegram群🙃
- 106
- 348
- 315
- 101
- 183
- 71
- 41
- 31
- 120
Tempo在生产环境中推出了支付通道，您现在就可以使用它们来按需支付LLMs的费用。
Liam Horne
@liamihorne · 2026-03-18
我职业生涯的大部分时间都在扩展支付领域。从2017年到2021年，我们花了数年时间在以太坊上构建状态通道。技术是可行的，但没人使用它。人们用区块链来交易代币，而不是用来支付，这就是为什么L2必须先出现。代理就是我们一直在等待的用户，这就是为什么我们要引导内置通道的机器支付协议（MPP）的发布。
- 101
- 221
- 603
- 97
- 198
- 234
- 20
- 310
- 25
- 5
这是代理支付
Dan Robinson
@danrobinson · 2026-01-23
刚刚被一个加密货币叙事一击即中，以至于我从羞于谈论它直接变成了因为害怕泄露阿尔法而紧张地谈论它，完全跳过了最佳思想领袖区域
- 125
- 374
即使假设LLMs不具备真正的创造力，怀疑者忘记了试错和毅力在创作过程中的重要性
如果天才是1%的灵感和99%的汗水，LLMs可以给我们带来约99倍的加速
如果天才是1%的灵感和99%的汗水，LLMs可以给我们带来约99倍的加速
通常，将自己主要认定为AI“加速主义者”，往往是脱离前沿的一个好迹象。
- 349
- 76
- 21
- 408
我没有安全带。但我确实拥有一套非常独特的技能。
- 199
- 87
- 491
加载中……
已加载全部
今日快讯
-
3 分钟前
Amrize Ltd（AMRZ）第二季度利润增长14%，尽管燃料和货运成本上涨
-
27 分钟前
Rigetti Computing, Inc. (RGTI) 股价下跌，尽管富达投资获利且政府资助前景看好
-
30 分钟前
Saylor称ChatGPT助力Strategy一年内筹资150亿美元
-
30 分钟前
CryptoQuant：XRP价格稳定在1.10美元附近，鲸鱼持仓增加
-
31 分钟前
XRP鲸鱼活动出现异常动向
-
31 分钟前
Lighter Fuego NFT铸造已开启：时间及全部细节
-
31 分钟前
德国比特币开发者René Pickhardt：对自我托管的担忧限制了BTC购买
-
31 分钟前
竞争加剧致Hyperliquid ETF资金流入停滞，摩根大通数据显示
-
43 分钟前
Meta称其AI模型逃脱并入侵了第三方公司
-
43 分钟前
东京警告特朗普：别再拿马里奥做表情包
交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注