Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal math...
Thomas Wolf(@Thom_Wolf)169 字 (约 1 分钟)
70
数学本质与AI发展关系引发思考，提出未来数学可能遭遇机器无法突破的自然边界。
入选理由：Kevin Buzzard认为数学不仅是人类理解，未来将出现机器无法突破的自然边界。
精选推文#数学#AI#形式化数学#Lean#自然边界中英混合