gen AI做不出来的证明，常人也做不出来
常人做不出来的教科书习题证明，gen AI基本都行
很多人对gen AI的理解还停留在普通的机器证明层面
Gen AI 做数学证明很行
此博文来自论坛版块：军事天地（Military）
matlab的博客简介
Matlab是我的is，无关那个overpriced的产品
博主最新文章
- 张雪峰隐退声明全文，字字精妙，甩锅装无辜，卖惨求放过，有关部门别让他跑了
- 蒋雨融事件最大的implication是：现今美华别出名，不管好事坏事，一出名都是坏事，左右不是人，百口难辩
- 芒果台的中国通史很好看，远超古装电视剧
- 完了，我们美国宣布不再向哈佛学生发放签证啦
- 叔主张纪念一六血案，本届政府有望昭告天下，拨乱反正，平反昭雪
- 叔六四时读中学，一位（反动）老教师的话记忆犹新
- Gen AI 做数学证明很行
- 叔吃完早饭，等着平息暴乱，爽啊，这才是人生啊
- 将军们应该写一部小说记录帝国衰微，文学比历史更能记载历史
- 做题：在[1895,1945]区间上，哪个(些)时间段入籍日本不算汉奸？
- 路透社版在美中国学生驱逐标准（叔未核实）
- 每代人都有自己的狂热，时代局限性是难免的
- 这些反华政策，就算民主党回来也不可能取消
- 叔发现聪明人都是去年溜回国的
- 朱令活到50岁，她如果在咱们美国，5周保险公司就催命了吧