陶哲

点击直达在当今数字化的世界里，网络自由是无价的，但有时也受到了地理和政治界限的限制。有一种方法，一种隐藏的方式，让我们能够穿越这些数字边界，实现网络自由。这个方法有点像背后的秘密通道，允许您访问被封锁或限制的网站，享...

目前俄罗斯ozon在国内正处于超级红利期，平台自然流量很大，基本能做到上架即出单的地步，ozon官方计划在2024年要招商满10万卖家入入驻，乾坤未定，你我皆是黑马！平台现在跟13年的淘宝一样正在蓄力爆发，跨境电商时...

想进军俄罗斯电商市场，却担心门槛高、操作难？Ozon无货源模式让你0囤货、0风险、轻松赚钱！只需每天2小时，就能在俄罗斯开店！第一步：了解Ozon平台——轻松上手，0门槛副业Ozon平台支持无货源玩法，只需出一单发一...

大模型持续震惊科学家！以往一小时才能完成的代码，现在十分钟就能实现「生成、测试到得出结果」。“大模型推广大神”陶哲轩又来分享他的亲测体验了。这一次o3-mini一眼识破并且纠正了他的一个错误，然后在它的帮助下快速完成...

刚刚，著名数学家陶哲轩在个人社交平台更新的几篇帖子，引起大家广泛的共鸣。陶哲轩用浅显易懂的语言表达了自己对数学的理解与思考心得。 文中谈到了一个关于「度」的问题，陶哲轩表示在设计系统时，缺乏或者过度的数学分...

陶哲轩发起的「众包」数学研究项目终于快要迎来胜利时刻！大约在三周前，陶哲轩提出了一个众包项目，结合专业和业余数学家、自动定理证明器、AI 工具和证明辅助语言 Lean， 来描述与 4694 条 magma（原群） 方...

陶哲轩和赵宇飞的学生联手，给数学界整了个新惊喜：让组合数学领域最大难题之一——从无序中证明有序，取得了23年来的重大突破。这个问题有多难？用知名华裔数学家、MIT副教授赵宇飞本人的话说，是“我不会建议任何学生去做这个...

使用ChatGPT一年半了，陶哲轩的感想如何？最近，一直冲锋在探索AI辅助研究功能前线的数学大神陶哲轩，总结了ChatGPT对自己数学研究过程的帮助。有趣的是，他发现AI辅助在数学方面的用处倒是有限，但它大大提升的，...

 「AI 数学奥林匹克竞赛（AIMO 进步奖）的初步成绩已公布。根据排行榜的数据，目前看来，获胜的程序在私人测试中正确回答了 29/50 道题，这一成绩比预期的要高。」刚刚，陶哲轩在个人博客中公布了这一消息...

陶哲轩点赞转发，《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。这些文章读起来很有趣，尽管使我自己即将发表的一篇文章显得多余……这个领域发展太快了！作者阵容非常豪华，包括菲尔兹奖得主Akshay Venk...

「由 Alex Kontorovich 和我领导的一个新的 Lean 形式化项目刚刚正式宣布，该项目旨在形式化素数定理（prime number theorem，PNT）的证明，以及伴随而来的复分析和解析数论的支持机...

12 月 5 日，著名数学家、菲尔兹奖获得者陶哲轩在社交网络宣布：对多项式 Freiman-Ruzsa 猜想（PFR）的证明进行形式化的 Lean4 项目成功完成，并且耗时仅三周时间，其依赖图的全部节点都带上了「可爱...

最近，热衷于用GPT-4、Copilot做研究的数学大神陶哲轩，又在AI的帮助下发现了自己论文中的一处隐藏bug！陶哲轩表示，自己在用Lean4形式化第6页论点的过程中发现，表达式在n=3,k=2时，实际上是发散的。...