➡️
继续阅读
-
姚班校友主导,Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明,生成约1300万行Lean代码和超3万个中间定理,规模超Mathlib五倍。通...
-
从25万Star到无人问津,OpenClaw的60天奇迹与陨落 - 蝈蝈俊
OpenClaw曾因套利模式爆火,但Anthropic封杀后迅速衰落。其依赖寄生、产品臃肿、治理缺失,最终失败。Pi和OpenCode因独立中立、极简设计...
-
早报|苹果将迎来史上最大产品发布潮/微信小微内测Agent间沟通/何庭波发布「韬定律」新论文
苹果将迎来史上最大产品发布潮,包括折叠屏iPhone和iPhone 18 Pro;GPT-6 Astra全量发布;Anthropic用Claude完成费马...
-
九问ScienceDiscovery实现树搜索驱动RSI,加速科学发现,小时级写出通用积分器,低成本找出物理科学规律
openJiuwen社区的ScienceDiscovery平台通过树搜索自动迭代科研代码,无需训练模型或调整参数。它成功解决了振荡积分计算、高斯超几何函数...
-
Minmax H3中英提示词效果差异测试 - 蝈蝈俊
对于MiniMax H3,使用中文和英文提示词时,能看到都在说,英文提示词通常能带来更好的生成效果。但是我实际测试下来,感觉差别不大。 我的测试是基于北京...
-
OpenAI admits to German wiki ‘incident’
OpenAI says it needs to overhaul how and when it reports instances of AI mode...