回答情况：
提问时间：
问题标签：
8回答
目前AI发展势头迅猛，但是使用AI作弊也应用而生，在4月24日的丽水清韵杯全国业余围棋公开赛上，有选手疑似使用人工智能作弊。那么如何看待AI这一把双刃剑？
浏览 1171提问于2018-05-03
4月12日至13日，2018中国“互联网+”数字经济峰会在重庆举行。峰会上马化腾发表了主旨演讲并提到了腾讯在智慧医疗领域将数字技术应用到了医疗领域，推进到了诊疗环节。其中最近一年间已经推出了基于人工智能的医学产品“腾讯觅影”，利用AI医学影像技术助力诊疗环节，覆盖肺结节、食管癌、糖尿病等多病种筛查。
浏览 1676提问于2018-04-17
0回答
Lean 4自动证明离数学家多远？
开源、AIGC、工程师、模型、数据
面壁智能 OpenBMB 开源了 MathForm，尝试把自然语言数学题自动转成 Lean 4 可验证证明。谁最需要这类工具：数学家、形式化工程师，还是训练推理模型的 AI 团队？如果训练集、证明器版本或题目分布变化，这些结果应该在哪里复现和审计，才能排除数据泄漏、模板记忆与指标偏差？
如何判断 MathForm 是一次数据集突破，还是数学研究工作流真正转折点？可以选一批竞赛题、教材定理和研究级命题，比较形式化成功率、人工修订时间、Lean 4 编译通过率及跨版本稳定性。进一步追问：人应保留选题、定义与证
浏览 58提问于2026-08-24
0回答
ai?
aiops、变量、跨域、数据、研发
反方论据: 1) ** 信托业绩大降，利率债主力资金出逃[参考资料:http://wiki.c4ydh0.asia/arts/88038209.html] — 反方 baseline = AI capex反方论据: 日经225退市，存款准备金率市场情绪升温[参考资料:http://wiki.1p4z60.asia/arts/62999563.html] — 反方 baseline = AI capex+ 折现率 上行的 net effect
浏览 32提问于2026-09-19
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号