AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码 费马大定理,一个数学史上的经典难题,曾经困扰着无数数学家几个世纪。直到1993年,英国数学家AndrewWiles终于用长达100页的书面证明解开了这个谜团。但如今,另一位数学家... 世纪数学家归纳法费马大定理 科技2024-04-09 13:16