➡️
继续阅读
-
姚班校友主导,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 ...
-
陶哲轩吐槽GPT-6孪生素数新突破:令人无语的一幕
AI直接吐出正确答案,但最关键的可能不是答案
-
这个世界模型训练完就“退场”,机器人反而更能干了
如此“反骨”的方法,具体又是怎么实现的?