BTC $81,185.82 -0.27%
ETH $2,390.87 +0.30%
BNB $740.83 +1.34%
XRP $1.30 -0.40%
SOL $103.61 +0.04%
TRX $0.3298 +0.58%
DOGE $0.0790 +0.46%
ADA $0.2131 +0.39%
BCH $283.27 +3.37%
LINK $11.91 -0.61%
HYPE $77.17 -0.60%
AAVE $146.24 -0.45%
SUI $0.9715 -0.55%
XLM $0.1746 -0.91%
ZEC $1,224.85 +0.77%
AAPL $347.82 -0.24%
AMZN $248.26 -1.06%
GOOGL $320.80 -1.17%
MSFT $524.71 +0.47%
META $643.39 -0.90%
NVDA $211.31 -0.66%
TSLA $372.55 -0.84%
SNDK $1,240.08 -1.95%
INTC $87.05 +1.79%
SPCX $147.66 +2.32%
MU $878.23 +2.25%
AMD $517.24 +1.48%
BTC $81,185.82 -0.27%
ETH $2,390.87 +0.30%
BNB $740.83 +1.34%
XRP $1.30 -0.40%
SOL $103.61 +0.04%
TRX $0.3298 +0.58%
DOGE $0.0790 +0.46%
ADA $0.2131 +0.39%
BCH $283.27 +3.37%
LINK $11.91 -0.61%
HYPE $77.17 -0.60%
AAVE $146.24 -0.45%
SUI $0.9715 -0.55%
XLM $0.1746 -0.91%
ZEC $1,224.85 +0.77%
AAPL $347.82 -0.24%
AMZN $248.26 -1.06%
GOOGL $320.80 -1.17%
MSFT $524.71 +0.47%
META $643.39 -0.90%
NVDA $211.31 -0.66%
TSLA $372.55 -0.84%
SNDK $1,240.08 -1.95%
INTC $87.05 +1.79%
SPCX $147.66 +2.32%
MU $878.23 +2.25%
AMD $517.24 +1.48%

la

全部
文章
快讯

YZi Labs 启动首期 Atlas Scout 计划,助力新一代大学生创业者获得早期支持

ChainCatcher 消息,据官方消息,YZi Labs 宣布启动首期 Atlas Scout 计划,招募来自斯坦福大学、耶鲁大学、加州大学伯克利分校和加州大学洛杉矶分校的四名学生,参与 Web3、人工智能(AI)和生物科技领域的早期投资项目。 该计划旨在让优秀大学生提前接触风险投资,参与项目发掘、初步研究、尽职调查及投资判断,并鼓励他们在校园内组织创业社群、探索投资机会。YZi Labs 将为该计划相关投资机会提供最高 100 万美元的意向性投资额度,并开放其 300 余家投资组合企业构成的生态网络。 YZi Labs 表示,许多具有潜力的创业者往往在尚未进入传统融资渠道之前,就已在实验室、开源项目、校园创业组织及技术社群中开展探索,而与他们共同学习和工作的同龄人,通常更早发现其潜力。Atlas Scout 计划希望借助学生自身的校园网络,帮助这些早期创业者获得资本、导师指导及行业资源。符合条件的创业团队还有机会对接 YZi Labs 的 EASY Residency 项目,或进一步与其探讨投资合作。 Atlas Scout 计划不仅为早期创业者拓展融资和资源渠道,也让参与学生通过实际项目积累风险投资经验,提升项目评估、创始人沟通及投资判断能力。 YZi Labs 表示,Scout 可根据自身兴趣自主开展校园活动,例如组织技术交流、聚集创业团队或发掘潜在投资项目,并在过程中获得 YZi Labs 的指导与生态资源支持。该计划希望在创业项目尚未获得广泛关注时建立联系,让校园中的初步构想有机会发展为实际项目,同时培养能够更早识别技术趋势和创业潜力的新一代投资者。

first_img Anthropic:Claude 已大规模形式化验证开源库

ChainCatcher 消息,人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究,称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作,使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质,并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格:在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下,对小于 64 MB 的任意输入,程序应正常退出且不触发内存安全错误或断言失败。数周内,Claude 在修补所发现问题后,对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令,约 1.8 亿行 Rocq,并由 Rocq 内核检查。页面称,这并不等于这些库没有漏洞,剩余问题可能位于受信任组件或证明范围之外。页面还称,团队让 Claude 形式化 RFC 1950,并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格;用 Rust 编写覆盖 Python 大子集的解释器,对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上,Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出,证明针对单线程、静态链接的 RISC-V 二进制,且证明检查器不能判断规格是否符合现实。
app_icon
ChainCatcher 与创新者共建Web3世界