#25位菲尔兹奖得主联合警告# it圈砸数学长老饭碗了,绷不住了。开始不讲客观讲玄学了,洞见大于结果,ai做题不算,数学需要数学家定义。哈哈,有传武和古法编程的味了,以后来个古法数学。 ai证明真假也不影响他们继续洞见,简化,各玩各的,激动啥。所以就是ai解决了猜想lean验证并抢了数学家地位流
#25位菲尔兹奖得主联合警告# it圈砸数学长老饭碗了,绷不住了。开始不讲客观讲玄学了,洞见大于结果,ai做题不算,数学需要数学家定义。哈哈,有传武和古法编程的味了,以后来个古法数学。
ai证明真假也不影响他们继续洞见,简化,各玩各的,激动啥。所以就是ai解决了猜想lean验证并抢了数学家地位流