➡️
继续阅读
-
姚班校友主导,Claude攻克费马大定理首个完整形式化证明
Anthropic宣布Claude用11天完成费马大定理的端到端形式化证明,生成约1300万行Lean代码和超3万个中间定理,规模超Mathlib五倍。通...
-
张益唐之后最大突破:GPT-6 Astra证明素数间距最多186
GPT-6 Astra将素数间隙上界从240推进至186,并附Lean 4形式化证明,但依赖三个未验证公理,包括数值积分上界。此前人类十二年未突破246,...
-
苹果提前「揭晓」触屏 MacBook Pro,我终于能戳同事电脑了
苹果正在研发首款OLED触屏MacBook,预计2025年10月发布,搭载M5芯片并采用灵动岛设计。macOS 27将加入触控支持,区分直接与间接触控,并...
-
Redefining GIS: Declarative Symbology and Collaborative Workflows in JupyterGIS
JupyterGIS is a GIS-focused extension for Jupyter notebooks. The recent 0.16 ...
-
2001,电脑进了家门
2001年的房间里,年轻人坐在电脑前
-
Go Concurrency — Goroutines, Channels and Sync
Go was designed with concurrency as a first-class feature. Rather than relyin...