ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters

Hugging Face CEO：开源AI比以往任何时候都重要

GPT-5.6 Sol Ultra 证明循环双覆盖猜想：AI 数学推理的新里程碑

SK海力士创纪录融资265亿美元，美国商务部长敦促在美建厂

SpaceX 申请再发射 10 万颗星链卫星，带宽提升 100 倍