王与吴最近的一篇预印本论文证明了长期悬而未决的球形哈德维格猜想(Spherical Hadwiger Conjecture)。这一成就标志着数学界的一个重要里程碑:利用人工智能(OpenAI Codex)来完善证明细节并优化形式化研究。这一进展凸显了数学行业在人工智能冲击下的脆弱性,而此前的劳动力模型早已将数学家列为受影响最大的职业之一。 作者反思纯数学是否应转型为类似于古典音乐的“音乐学院”模式,即将其作为一种文化事业加以保留,而非经济产出的主要来源。鉴于人工智能可能很快在证明复杂定理方面超越人类,作者认为人类数学家的价值在于我们能够解读、传播并结合现实背景去理解这些抽象结构的能力。 归根结底,人工智能的崛起要求我们重新审视激励和支持数学研究的方式。随着人类劳动与机器劳动之间的界限日益模糊,社会必须决定:当计算机能够更高效地完成技术性工作时,我们是否仍愿资助并重视那些定义了纯数学的人类叙事与文化工作。
Liquid Network 在发生一起安全事件后已暂停运营,约 4000 枚 BTC(约 3.2 亿美元)从 Liquid 联盟钱包中被提取。Blockstream 表示,尽管资金是通过 SideSwap 挂钩输出授权密钥(PAK)转移的,但实际上并没有密钥遭到泄露。
作为安全预防措施,桥接节点已被禁用,实际上暂停了 Liquid 侧链。虽然各交易所的 LBTC 充值和提现均已暂停,但其他基于 Liquid 的资产(如 USDT、DePix 和 RWA)未受影响。
Blockstream 目前正尝试通过链上消息联系相关方(被认定为“所谓的白帽黑客”)。联盟成员正在积极努力解决问题并恢复网络功能。建议用户通过提供的内存池(mempool)跟踪链接持续关注事态进展。
Austin Z. Henley 记录了他将 Python 解释器实现限制在 1024 字节 C 代码内的技术挑战。Henley 摒弃了标准库和复杂工具,构建了一个递归下降解析器,能够处理算术运算、变量赋值、if/else 逻辑、while 和 for 循环以及函数定义等核心语言特性。
为了满足 1024 字节的严格限制,Henley 采用了大量的代码高尔夫(code-golfing)技巧。其中包括使用单字母变量名、利用全局变量、省略错误处理,以及使用 C89 特有的“技巧”,如隐式整数声明和基于 ASCII 的运算符。通过去除代码的可读格式,并用紧凑的位运算逻辑替代冗长的结构,他成功地将 4800 字节的逻辑压缩到了 1KB 以内。
最终的解释器支持基于缩进的代码块、递归,甚至基础的打印功能,足以执行 Python 风格的“FizzBuzz”程序。Henley 总结道,虽然这个项目在理解代码如何从硬件层面执行方面是一次迷人的实践,但“高尔夫”编程的繁琐过程令人疲惫,同时也让他对全功能语言实现中的抽象机制有了全新的认识。