据新智元报道，近日热衷于用 GPT-4、Copilot 做研究的数学大神陶哲轩，在 AI 的帮助下发现了自己论文中的一处隐藏 bug。一些数学爱好者粉丝在此帖中惊呼：这太惊人了，很高兴看到 AI 证明助手的传播，为数学研究的未来奠定了更坚实的基础。 陶哲轩对此表示，“这是完全有可能的事。或许在不久的将来，我们就可以在 Lean 之上构建一个 AI 层。只要把证明中的各步描述给 AI，AI 就可以利用 Lean 来执行证明了，过程中还能各种调用计算机代数软件包。” 今年 6 月，陶哲轩就曾在 GPT-4 试用体验的博客中预言：2026 年，AI 将与搜索和符号数学工具相结合，成为数学研究中值得信赖的合著者。这期间，不断有人证明着这一点，比如加州理工、英伟达、MIT 等机构的学者，就构建出一个基于开源 LLM 的定理证明器。

🎤 为偶像应援 · Gate送你直达 Token of Love！ 🎶
家人们，现在在Gate广场为 打 Token of Love CALL，20 张音乐节门票等你来瓜分！🔥
泫雅 / SUECO / DJ KAKA / CLICK#15 —— 你最期待谁？快来一起应援吧！
📌 参与方式（任选，参与越多中奖几率越高！）
1️⃣ 本帖互动
点赞 & 转发本帖 + 投票你最爱的艺人
评论区打出 “我在 Gate 广场为 Token of Love 打 Call ！”
2️⃣ 广场发帖为 TA 打 Call
带上 #歌手名字# + #TokenOfLove#
发帖内容任选：
🎵 最想现场听到的歌 + 心情宣言
📣 应援口号（例：泫雅女王冲鸭！Gate广场全员打 Call！）
😎 自制表情包/海报/短视频（加分项，更容易中奖！）
3️⃣ 推特 / 小红书发帖打 Call
同样带上 #歌手名字# + #TokenOfLove#
内容同上，记得回链到表单 👉️ https://www.gate.com/questionnaire/7008
🎟️ 奖励安排
广场优质发帖用户：8张门票
广场幸运互动用户：2张门票
Twitter 优质发帖用户：5张门票
小红书优质发帖用户：5张门票
📌 优质帖文将根据文章丰富度、热度、创意度综合评分，禁止小号水贴，原创发帖更易获奖！
🕒 8

✈️ Gate 广场【Gate Travel 旅行分享官召集令】
广场家人们注意啦！Gate Travel 已经上线～ 机票+酒店一站式预订，还能用加密货币直接付款 💸
所以说，你的钱包和你的旅行梦终于可以谈恋爱了 😎 💕
现在广场开启 #GateTravel旅行分享官# 活动，邀你来秀旅行灵感 & 使用体验！💡
🌴 参与方式：
1️⃣ 在【广场】带话题 #Gate Travel 旅行分享官# 发帖
2️⃣ 你可以：
你最想用 Gate Travel 去的目的地（私藏小岛 or 网红打卡点都行）
讲讲用 Gate Travel 订票/订酒店的奇妙体验
放放省钱/使用攻略，让大家省到笑出声
或者直接写一篇轻松的 Gate Travel 旅行小故事
📦 奖励安排，走起：
🏆 优秀分享官（1 名）：Gate 旅行露营套装
🎖️ 热门分享官（3 名）：Gate 旅行速干套装
🎉 幸运参与奖（5 名）：Gate 国际米兰旅行小夜灯
*海外用户 旅行露营套装 以 $100 合约体验券，旅行速干套装 以 $50 合约体验券折算，国际米兰旅行小夜灯以 $30合约体验券折算。
📌 优质内容将有机会得到官方账号转发翻牌提升社区曝光！
📌 帖文将综合互动量、内容丰富度和创意评分。禁止小号刷贴，原创分享更容易脱颖而出！
🕒 8月20 18:00 - 8月28日 24:00 UTC+

📢 Gate广场独家活动： #PUBLIC创作大赛# 正式开启！
参与 Gate Launchpool 第 297 期 — PublicAI (PUBLIC)，并在 Gate广场发布你的原创内容，即有机会瓜分 4,000 枚 $PUBLIC 奖励池！
🎨 活动时间
2025年8月18日 10:00 – 2025年8月22日 16:00 (UTC)
📌 参与方式
在 Gate广场发布与 PublicAI (PUBLIC) 或当前 Launchpool 活动相关的原创内容
内容需不少于 100 字（可为分析、教程、创意图文、测评等）
添加话题： #PUBLIC创作大赛#
帖子需附带 Launchpool 参与截图（如质押记录、领取页面等）
🏆 奖励设置（总计 4,000 枚 $PUBLIC）
🥇 一等奖（1名）：1,500 $PUBLIC
🥈 二等奖（3名）：每人 500 $PUBLIC
🥉 三等奖（5名）：每人 200 $PUBLIC
📋 评选标准
内容质量（相关性、清晰度、创意性）
互动热度（点赞、评论）
含有 Launchpool 参与截图的帖子将优先考虑
📄 注意事项
所有内容须为原创，严禁抄袭或虚假互动
获奖用户需完成 Gate广场实名认证
Gate 保留本次活动的最终解释权