清华姚班发起，Claude用11天完成费马大定理首个完整的形式化证明
9 月 4 日，Anthropic 公布了这项由其研究员彭天翼发起的成果:Claude 在人类少量指导下，用 11 天完成费马大定理的完整形式化证明。
为什么数论越学越像研究整数宇宙？
很多人第一次接触数论，会觉得它研究的东西特别简单。整数、整除、余数、素数。这些不都是小学和中学就见过的吗？但真正学进去以后，你会发现，数论恰恰是数学里最深、最奇妙的领域之一。它从最简单的整数出发，却一路连接到代数、几何、分析、密码学，甚至现代数学最前沿的问题。
生物的时间之箭：缠结的层级结构、自指与跃迁（下）
论文题目:Biological arrow of time: emergence of tangled information hierarchies and self-modelling dynamics。
生物的时间之箭：缠结的层级结构、自指与跃迁（上）
论文题目:Biological arrow of time: emergence of tangled information hierarchies and self-modelling dynamics。
重大突破，四位数学家，扩展了“费马大定理”，向数学大一统迈进
通过扩展原本用于解决费马大定理的核心思想，四位数学家在构建“数学大统一理论”的征途上迈出关键一步。他们证明了两个看似遥远的数学世界之间，存在深刻一致性。1994年，安德鲁·怀尔斯震撼了整个数学界。他解决了困扰数论三百余年的费马大定理，并登上《纽约时报》头版。
数论（Number Theory）的学习脉络。
高斯曾言：“数学是科学的皇后，而数论是数学的皇后。” 数论的研究对象看似最简单（整数），但其发展却催生并深刻融合了现代数学中最深邃的工具（代数、分析、几何）。
Anthropic：Claude用11天完成费马大定理首个完整计算机验证证明
IT之家 9 月 5 日消息，Anthropic 于当地时间 9 月 4 日宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。
数学界的诺贝尔奖：阿贝尔奖曾经历一个世纪的等待
阿贝尔奖阿贝尔奖（Abel Prize，挪威语：Abelprisen）是数学界最高荣誉之一，由挪威国王每年颁发给在数学领域做出杰出贡献的学者。