个人评价，不喜可喷，欢迎来辩： 1.本人也参加了本次阿里巴巴数学竞赛，客观来讲，难度并没有大家吹嘘的那么高，个人判断在本科二三年级左右，除了那一道凸几何确实比较困难。考试的内容跨度其实比较大，第一题是一道无聊的几何，2和6是概率论，6我是用母函数做的，我感觉学过组合的应该都能做出来，7是一道经典的分析题目，感觉并没有起到压轴的作用（不过我貌似漏写了分母，第二问直接全错）3,4两题都是代数问题（sl_2表示万恶），每道题其实都不是很难，但很遗憾我没有学过相关的内容，所以……。但怎么说呢，加起来这份卷子就比较靠广度取胜了。 2.按上面分析，这次考试分析的比例是非常少的，只有最后一道题，那么4如果她自己也做出来了就有些恐怖了。按她自己说的学过数学分析和evans pde肯定是不准确的，如果为真，她还应该学习了很多代数相关的内容。5题吧，她要是会查就当我没说。那现在最合理的就是做了123567,其中第4题没写，再要么就是123467，当然本人倾向于前一种。 3.再就是板书的问题，这个事情吧，感觉有点抽象了，板书里面最大的问题其实不是sigma，求和符号我其实也经常那么写，但目前看好像大家都更倾向于就这个问题进行讨论（可能有人在诱导？），主要问题我觉得是余元公式，把pi*z写成piz 这个是没办法洗的，可以看原采访视频，不存在书写习惯的问题，她的z确确实实写在了pi的右上角，如果这真的是她自己写的话，那这件事就真的一锤定音了（存疑），当然第二个点就是，把谢惠民的数学分析说成数学方面（视频当然也存疑，但是两视频对比个人倾向于就是原视频，但是也不能当做证据）而且如此糟糕的书写习惯是如何取得如此高的分数的。 还有一个最抽象的问题，凸几何题作图太复杂，这也没法洗吧？ 除非官方作秀，故意卖破绽，…… 4.关于复旦大学教授yyj（当年被yyj几何害惨了）的发言，姜同学的答案上传是使用LaTeX，同行认为LaTeX使用熟练，90%以上的本科生写不出来 这样的答卷。此处疑点很多，首先是姜学习数学时间不过两年，再加上她学习自己的服装设计，那么为什么会额外练习LaTeX使用，结合她家境困难来说，这样说她实际应该是有私人电脑的（网吧机房之类不成立，没有网吧会装LaTeX吧，中专机房装这玩意，我只能说涟水中专>南七大专了），那总不可能王老师天天把自己的电脑借给她吧。还有一个比较扯淡的，就是视频里面说她自己写了两天题，低头写题很累（和打LaTeX相悖）（存疑） 5.关于作弊的可能性，这次预赛是没有任何防作弊措施的，甚至无法保证是本人参加考试，我在考试两天内电脑打开的时间不超过10个小时，而且我的电脑是没有开启摄像头的，但是最终我是进入决赛了。同时总共满分120分，最高分不超过100，801个进决赛的人里面最低分45，也就是说55分中间分布800个人，所以平均来说一个分数是有大约14个人左右，所以实际排名差距很大其实分数差并不多，她与她的老师分数线差大约只有20，但名次差距100.所以实际两人提交的答卷相差最多是一道题左右。 6.大佬预选赛其实都没发力，预赛排名不等于数学水平，哪怕这个成绩是真的，刘奔只是拿了13，怎么什么硕士>博士都出来了？ 7.从各大平台来看，这件事情掺杂了过多的zzzq和标签，甚至有大量发言挑拨性别对立，学历对立。以及疑似达摩院出面撇清关系，还有人民日报昨日站队，整件事情超出了它所该有的热度。知乎友军貌似已经开始集体反串，充斥着情绪和阴阳怪气。还有之前b站up主“数学竞赛飞哥”发了最后一期视频，押上了自己的所有流量和名誉，为数学正名。还有赵斌貌似已经被网民集体网暴。目前来看，只要参与此事件讨论，甚至不用质疑，只需要说一些真话就会被打上标签，之前本人因为发文在知乎说明赛事规则和比赛过程而被网民质疑，质疑理由也非常抽象，如下 举证者是我，我甚至发表了我自己邮箱中的信件（当然没有自爆身份），同时我也没有对姜萍 同学的成绩做出质疑，在本评论下反驳了他人关于考试赛制的错误观点（有人认为阿里预赛有摄像头监考，滑天下之大稽），我没有进行任何的诽谤，而反驳者却反复诽谤我，只能说支持者已经失去了理性。对于支持者，只需要对质疑者扣上一顶帽子就万事大吉了。 目前来看，各大平台已经将数学专业者的观点拒之门外，对数学专业者的观点群起而攻之，数学专业者已失去对此事件合理的评论权利，一切反驳者都被打上了流量至上的标签，同时这批人也在反复攻击我国教育选拔机制，甚至有不良媒体大量制造不实信息（已被多方辟谣）。 以下来自转发：“数学是浪漫的学科，是个人英雄主义的高峰，是流量时代被少数孤勇者的理智守护的最后一片净土。不愿意听真话，固守在自己的信息茧房里，搔首弄姿地鼓吹，对质疑的人乱扣帽子，我已经分不清面目狰狞的是数学还是为了流量不择手段的自媒体。到底是不出世的天才还是欺骗全国的骗贼，已经不重要了，这一次，国人丑态百出！丢人！丢人！”
再附刘奔发言：“出人头地要真本事”
已经明白了，新闻学>数学，舆论>数学，新闻学至上的时代我们难道就不会自己反思吗？
这也是我第一次发现新闻学可以对数学评头论足。
（有疑问可以直接提出，我会回答）
58BH-TZL 我以前一直不能理解为什么会发生十年wg这种明显错误的事情，现在好像有点理解了，群众的情绪比我想象的还要容易被煽动
58BH-TZL 新闻学>数学，舆论>数学，新闻学至上的时代我们难道就不会自己反思吗？
“（高考）理科590（分），报新闻？我跟你说，你会毁崩溃的。如果我是家长的话，这孩子非要报新闻学，我一定会干一个事，就是把他打晕。”——张雪峰
58BH-TZL 有一说一，现在已经进入精神胜利阶段了，谁也不听谁的，举证没有全是情绪。然后就是支持的人给质疑的人扣帽子，质疑的人给支持者扣“扣帽子”的帽子
Fox 这个，wenge原因其实挺深的，不是简单错能概括起来的。根源也不是意识形态问题，而是jieji关系问题，尤其是dang内jieji问题。
小青年们，我建议你们少看这种逆天炒作新闻，或者等你们再大点应该就明白了，新闻就是新闻，只是图个热闹，让大家开心一下
另外，我发现你们有些人就非常乐意去judging人家。这个事情跟我们有啥关系呢？就算人家作弊了，你以为其他考生没“开卷有益”吗？而latex的打字，写个小代码，事实上latex就是小学生稍微训练一下都会，latex不就是专科可以学的专业技能吗。我个人对她的成绩取得是认可的，只是同yonh那样不认可新闻媒体的捧杀，她应该无心决赛了。
再说余元公式，哪个题要用这个公式？这公式我也早没印象了，关余元公式什么关系捏？
Carl 余元公式是阿里的宣传视频上的，确实不是预赛里的题目
Carl 我个人对她的成绩取得是认可的
偶然首页推荐的，考古顶贴。
58BH-TZL 有一说一，这件事本来是极其简单的事情。但是阿里和央媒的不负责任才是造成这次社会撕裂的核心点。 回顾这场事件，最开始来自阿里达摩院社区的发布，阿里达摩院本来就招募了一批大佬，这导致大伙普遍相信此事，因此普遍没有怀疑。接着就是央媒和人民日报分别发表两篇短视频，我始终认为没有央视和日报的报道，这件事会很快过去。但是央媒下场后，整个事件就发生的转变，自媒体开始疯了一样的报道，而央视呢？始终也没有去真正求证，实在是不知道一个国家级的媒体怎么会连求证都没有？反倒是生怕自己错过了大新闻，随后各大平台开始纷纷下场。 我认为求证其实是非常简单，只需要派个学过大学数学且不挂科随便一问的结果就可以水落石出，但是目前看来结果可能永远都不会出现，无论这个事的结果是怎么样，受伤的都是这个社会。目前看来达摩院已经开始去撇清关系，不过这反映了阿里作为一个大企业，实在是毫无大企业的样子，你都没有求证还发视频，不知道卡23所的意义何在。央视和官媒也可能希望此事的热度慢慢消失，顺便说一下，涟水的地方官媒也似乎生怕错过了一场流量。
hi阿昆达 是的，作为国家态度的表达者，应该不要急着表态才对。本来就不用争什么流量，央媒的地位来自于它的公信力
特别是最近这几年，虽然短视频、互联网还有直播的兴起确实改变传统的电视媒体时代，但是这并无意味着央媒没有竞争力，央媒在报道的深度还是广度方面以及能够调动的社会资源方面仍然其他平台不具备的。像焦点访谈、新闻调查等等，这种兼具深度和广度地分析中国，仍然是现在很多自媒体不具备，但是我从18年，央媒下场各大app后，我发现央媒的报道就已经开始有点变样，以前的央媒虽然也喜欢去批判别国，但是有些记者是真的会站在一线进行现场调查，而不是像现在去各大英文网站转载一下就完了，甚至连unacceptable这样的错误都会出现。 我记得12年十八大召开前夕，我还记得新闻联播报道过一个长沙流动小贩一家在城市生活和经营的现状问题。还有当时的焦点访谈，经常会报道各个市县的社会问题。央媒虽然做不到面向全球，但是最起码可以做到分析中国。 说的不好听一点，现在官媒连个集体上访报道都要畏畏缩缩。
hi阿昆达 说是喉舌都抬举了
jiaozigeq
他的意思应该是: 民智低到某个特定程度是wenge这样的事件发生的一个必要条件, 而他以前认为国内的民智不可能低到这个程度; 但这次姜萍时间后发现民智确实可以足够低, 因此不能再据此简单判断 wenge不可能发生 了.
Eastwind 那确实。 我觉得吧，一小部分民众由于快节奏的环境懒得思考也挺容易被误导，有好多人仅凭书写习惯就开始挖苦讽刺姜萍了，虽然这事儿全过程确实疑点重重，但现状恐怕会酿成悲剧，即便不是假的搞不好也会因为网络暴力影响到她的决赛考试。 wenge确实也是红卫bing们太过狂热激进了，一些不当分子的利用也是一大原因。
AI解题这事感觉没啥可看待的，感觉虽然已经搞出对欧氏平面几何的有效解题工具了，但离通用的推理还比较远。北大有团队搞AI for math，代数方向的团队好像已经比较失败了。 姜萍这事感觉纯粹是阿里巴巴想下场炒作一手他这个比赛，然后没控制好（或者效果过于好了（？））。这事媒体传播是存在很大问题的，感觉大部分民众甚至包括媒体人可能都不知道阿里巴巴竞赛，尤其是初赛这东西大家基本都是考着玩的，从来也没啥含金量。
zdlsxsOvO 看往年阿里也有炒作的，不过效果不好，今年找到版本答案了
zdlsxsOvO 确实，代数方向的团队感觉确实比较失败，我在暑假参加了北大的一个夏令营，他们应该已经完成了抽象代数的形式化，不过据说没有什么有效的新东西，之前开会说是9月上旬左右就会开始交换代数的形式化，目前未知。感觉做ai for math就是形式化一些数学对象和定理，然后用算力遍历定理库生成结论，大模型生成idea之类的组合，过于复杂的东西跑起来运算量增长太快了，实用性目前来说还是不太行。
58BH-TZL 前一阵子今年的IMO（高中数学竞赛，国际版），ai耗时9小时做出来4个题，总共6个题，获得银牌怎么说？已经比我们在座的都强了
Carl 还是差距蛮大的，严格来说ai做出来的是两道代数，一道数论和一道几何。首先来讲，ai做几何已经比较成熟了，alphageometry在此之前就能够解决绝大多数比较容易的几何问题以及一些逻辑链相对比较短（差不多9-10步左右）的问题。然后12两道题目相对于解答较为简练，同时不涉及模糊的操作（比如不等式），所以通过llm和lean交互就能够快速解决，第六题也是一样，不过据说第6题跑了好几天时间。
大概讲一下ai做数学题的基本过程，首先是将一些数学对象转换成lean代码，然后再建立lean的定理库，之后将问题转换成形式化语言，然后判断当前可以当前的条件可以使用怎样的定理或者策略（tactic），然后就用定理库生成一个结论的库，然后查重，删去重复生成的结论，这样就得到了问题通过一步转换可以生成的闭包，然后反复跑，直到做出问题，但这样有一个问题，就是比如说平面几何，需要构造辅助线（也就是说题目中原本的一些条件被删去了），这个时候就需要他自己补全，但是这件事情显然不是跑定理库能解决的问题，所以有人就想到一个办法，用llm生成一些idea，然后加上这些idea的条件再去跑。 但这件事情就更不靠谱了，llm生成思路本来就是一个玄学的事情，平面几何的辅助线从道理上来讲还是有限的那些（指竞赛题），llm跑几遍试错就好了，但是其他的数学问题靠这个东西就不大靠谱了。而且另一个问题就是耗时，步骤增加后，生成的结论和原来的条件共同构成了下一次运行的初始条件，再加上llm要生成idea，所以有的步骤甚至要反复做。第三个问题是，构造性的问题ai目前几乎束手无策，不等式的问题也只能做一些线性的东西。
OOOO OOOO, you are right, I have made a wrong judgement about Jiangping.
I have tried to focus on AI, but that is not possible......
Anyway, now (we) learn a lesson, be afraid of news!
