新未名空间

欧洲日本印度，为啥连蒸馏的能力都没有？

bam 写了： 2026年 9月 10日 11:05

办公楼晚上不关灯难道不是跟你弟学的？

好多办公楼在加班
唱衰上海，只能是自娱自乐了

现在上海人满为患，游客多到离谱

能抄美国作业的，为啥只剩下中国了？

女强人也是喜欢被征服的

特朗普：若共和党胜选每个美国成年人将获5000美元

选票就应该这样红果果的直接靠钱收买

\(\)“我现在是庄家，想对赌尽管来” 贝森特警告市场不要跟他对着干去做空日元

谁能治治他的这种嚣张？

有人用AI工具，就能替换他的同事，有人只能被替换，这就是差距！

不是工具不够好，而是人不行！为啥我没法用Claude ChatGPT 攻克数学难题，因为我不行，而王虹行

地球人穿越来穿越去，很烦

还是动物和机器人和地球人，跨物种的穿越更好玩

The end of oak street概念很不错，情节有点弱

在10后眼里，她是中古老登

AGI已经出现在美国，但ASI将会出现在中国

只有中国的AI基建效率

撑得起ASI的能耗

谁付的钱？

赚了这么多钱，可以给穷人多发点龙虾券吗？

要么断电
要么系统故障

老态龙钟

这个教授水平太臭了

日本和中国毫无可比性

张旺教授 写了： 2026年 9月 9日 09:17

王虹和邓煜做出菲尔兹奖的成果时，AI还只能争谁做奥数题做对的百分比高，他们怎么可能用AI.

不要以己心度他人。

AI工具启发了灵感
另外他们能接触到的AI工具可能更厉害，并且最大化利用了AI工具

同一个工具，不同的人使用，能达到的效果相差很大

Anthropic Claude完成了 Fermat’s Last Theorem 首个端到端、可由计算机完整检查的形式化证明，整个过程仅用了11天

Claude在此期间写下约1300万行Lean代码，一共产出了约30300个可由计算机验证的定理，其中29500个中间定理进入最终证明。最终代码量已经达到Lean核心数学库Mathlib的5倍以上，也是迄今规模最大的Lean证明项目。

这项工作的发起者，是Anthropic研究员Tianyi Peng，本科毕业于清华大学姚班，博士毕业于麻省理工学院

这两位肯定用了ai工具

Livermore1930 写了： 2026年 9月 8日 23:42

阿发狗当年先约架柯洁的，他自己怕输，结果让李世石成为历史上最后一个击败阿发狗的人类！

看来柯洁低估了 alphago的升级
以为alphago的水平不过如此，轻敌了

南门吹牛 写了： 2026年 9月 8日 23:33

博尔特跑不过汽车，该怎么办？

等汽车没有轮子了，再来比

未来机器人用双腿跑步，肯定能赢博尔特，到时候，我肯定只看机器人的奥运会

kenok 写了： 2026年 9月 8日 23:32

导游是说自己吗

是的，我很惭愧，只能赚外国人的钱，但我不出卖中国利益，反而是霸占外国资源，支持祖国内循环，我是伟大的爱国主义，哈哈

quovadis 写了： 2026年 9月 9日 02:57

导游这次回国到临港你也不来见个面。不过回去一个月再回美国还是觉得纽约好。满地铁满街的丰满翘臀。上海迪斯尼游行都是一帮矮小干瘦的小黄人，看着都觉得可笑。积木里面的健身教练都是薄肌，屁股都小小的，一点不肥美。

人，肯定纽约的更有趣更好玩

生存硬件，服务品质，纽约太差了，除非收入超过50万美刀，我做不到，只配沦落到东京上海