imo陶哲轩
-
发布了文章 2个月前
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关 陶哲轩YouTube视频第二弹震撼来袭!这一次,他让AI挑战在Lean中形式化代数蕴含证明,结果Claude约20分通关,o4-mini太过谨慎...
-
发布了文章 2个月前
陶哲轩:GPT-4神助攻,写Python代码轻松省半小时
陶哲轩:GPT-4神助攻,写Python代码轻松省半小时 刚刚,陶哲轩大赞:用ChatGPT写Python代码,效果真是太好了,它直接为我节省了数学研究中半小时的工作量!...
没有更多内容













