Figure AI 让旗下的 Figure 02 人形机器人自己跳进芬兰一家铸造厂的钢水里，以此让这一代机器人退役。熔出来的金属会被加工成限量纪念品。 Figure 02 是 Figure 的第二代人形机器人，公司很多第一次都由它完成：第一次进 BMW 工厂上岗，第一次运行 Helix（Figure 自研的机器人 AI 模型，负责看画面、理解指令并控制动作），第一次做家务，第一次做物流工作。现在第三代 F.03 的数量越来越多，Figure 说继续维护 F.02 已经不划算。 退役的麻烦在于保护技术。机器人里有大量自研的执行器（可以理解为驱动关节的电机）等核心硬件，Figure 不想让它们流出去；但一台台拆解又太占工程师的时间，会推迟第四代 F.04 的发布。 Figure 于是在网上征求处理办法，施瓦辛格回复说"熔了它们"。他主演的《终结者2》结尾，T-800 机器人就是沉进钢水里的。Figure 联系了施瓦辛格，他表示想参与，项目随后启动。 找场地并不顺利。美国和墨西哥的铸造厂都不愿意让装着锂电池的机器人跳进自家昂贵的设备，Figure 还请《流言终结者》的前主持人帮忙找过。最后只有芬兰伊马特拉的一家铸造厂同意。 训练在 Figure 位于加州圣何塞的园区进行。团队铺了大气垫，让机器人从二楼往下跳。他们参考特技演员的动作，在仿真环境里训练了一个新的 AI 模型，让机器人在一个从没去过的铸造厂里，准确跳进盛钢水的容器。 铸造厂用的是一座 75 吨的电弧炉，靠三根石墨电极通电熔化废钢。团队只有 24 小时、6 炉的机会，每炉钢水只有 20 分钟可用，之后表面就会冷却结壳。Figure 称，现场的高温和强电磁场让摄像器材等电子设备出了故障，机器人则一直正常运行自己的 AI 控制程序。 熔出的金属锭已运回美国，正在加工成一批纪念 F.02 的限量藏品，数量很少，面向个人出售，博文没有公布价格和购买方式。大部分 F.02 已被熔掉，只有几台留在总部仓库。 Figure 在文末特意说明，视频不是 AI 生成的：机器人确实是自主起跳，被运到芬兰，跳进了钢水。

《三国演义》第一回出现的这两个豪商，一个叫张世平，一个叫苏双，给刚出场的刘备一批马匹，一大笔钱和锻造军器的镔铁，实属创业团队梦寐以求的天使投资人，但奇怪的是后来再也没有登场，深藏功与名……

We are releasing HLE-Diamond, a refined subset of Humanity’s Last Exam (HLE), following a year-long process of cleaning and refinement with input from various research communities. w/ @ScaleAILabs

来自AI宏观研究标杆机构 @EpochAIResearch 的重磅报告：AI使用成本正以每年约13倍的速度下降，这一速度在技术史上绝无仅有，没有任何其他通用技术（电力、计算）曾以如此之快的速度变得如此便宜。

中国学生的一大臭毛病，就是相信这些老牌体制内研究所和大学内部有真本事、黑科技， 新建的深圳、杭州、上海这些新型研究院，里面都是垃圾，都是根基浅薄。 比如长春光机所，里面人均自娱自乐的骗经费老登，毁了一代又一代孩子，就这种研究所还有人吹。 反而这些新兴lab都是年轻力壮的rising star， 这些学生们一个个看不起，觉得不如50~70岁这些老骗子院士长江前任们水平高。

#学英语# 有理数这个词竟然是翻译错误. rational number的词根不是ration理性, 而是ratio比例. 有理数就是可以化为两数之比(分数)的数, 无理数就是不能表达为两数之比(分数)的数. 正确翻译是可比数和不可比数. 一个数字如何能有理无理? 这个翻译错误让包括我一内的很多学生困惑很久.

在国外拿奖，回国夸大宣传， 最早也是流传最广的应该是「茅台拿到 1915 年巴拿马博览会金奖」，到现在还有所谓「怒摔酒瓶酒香四溢震惊评委临时补奖」这样灵机一动类型民间智慧的传说，可谓深入人心。 得没得奖？得了，银牌。这个银牌在当时六级奖励体系里大致属于第五级。 当时参展名称是「贵州公署酒」，也不是现代意义上的「贵州茅台」商标。 当然，这个巴拿马万国博览会，其实是在旧金山举办的。😂

Top 100 unsolved math problems by their estimated public recognition. The rankings differ quite a bit from the importance rankings! 1. Riemann Hypothesis ↑ 1 2. P versus NP ↓ 1 3. Collatz conjecture ↑ 158 4. Goldbach conjecture ↑ 18 5. Twin Prime Conjecture ↑ 15 6. Navier–Stokes existence and smoothness (Fefferman A) ↓ 2 7. Polynomial-time classical integer factorization ↑ 9 8. Yang–Mills existence and mass gap ↓ 5 9. abc conjecture ↑ 3 10. Birch and Swinnerton-Dyer conjecture ↓ 4 11. Existence of an odd perfect number ↑ 228 12. Normality of π ↑ 289 13. Hodge conjecture ↓ 8 14. Infinitude of Mersenne primes ↑ 231 15. Sums of three cubes representation conjecture ↑ 390 16. Beal’s conjecture ↑ 332 17. Minimal superpermutation length ↑* 18. Magic square of squares ↑* 19. Multiplicative persistence bound of 11 ↑* 20. Generalized Riemann Hypothesis for Dirichlet L-functions ↓ 11 21. Square peg problem ↑ 461 22. BQP versus NP: complete language-class relation ↓ 5 23. Chromatic number of the plane ↑ 215 24. Exact Ramsey number R(5,5) ↑* 25. Algebraic independence of e and π ↑ 132 26. Irrationality of Euler’s constant ↑ 252 27. Kelvin problem: least-area partitions into unit-volume cells ↑* 28. Graph isomorphism in polynomial time ↑ 52 29. Perfect cuboid problem ↑* 30. Existence of one-way functions ↓ 22 31. Matrix-multiplication exponent equals two ↓ 5 32. Unconditional separation of BQP from BPP ↓ 13 33. Lonely runner conjecture ↑* 34. Exact kissing numbers in dimensions greater than four ↑ 315 35. Graham–Rothschild hypercube Ramsey problem: exact planar K₄ threshold ↑* 36. Infinitude of Fermat primes ↑ 458 37. Legendre’s conjecture ↑ 270 38. No-three-in-line problem ↑* 39. Infinitude of amicable pairs ↑* 40. Landau’s fourth problem: primes of the form n² + 1 ↑ 140 41. Erdős–Straus conjecture ↑* 42. Infinitude of Sophie Germain primes ↑ 269 43. Polignac’s conjecture ↑ 59 44. Higher-dimensional Euclidean Kakeya conjecture ↓ 6 45. Frankl’s union-closed sets conjecture ↑ 358 46. Unique Games Conjecture ↓ 12 47. Infinitude of Fibonacci primes ↑* 48. Brocard’s problem ↑* 49. Thomson problem ↑ 319 50. Gauss circle problem ↑ 192 51. Erdős–Szekeres convex polygon problem ↑ 294 52. Montgomery’s pair correlation conjecture ↑ 23 53. Congruent number problem ↑ 79 54. NP versus coNP ↓ 41 55. Local connectivity of the Mandelbrot set ↑ 66 56. Smooth four-dimensional Poincaré conjecture ↓ 35 57. Edge-unfolding of convex polyhedra ↑* 58. Schanuel’s conjecture ↓ 30 59. Catalan–Dickson conjecture on boundedness of aliquot sequences ↑* 60. Erdős’s conjecture on divergent reciprocal sums and long arithmetic progressions ↑ 70 61. Hardy–Littlewood prime k-tuple conjecture ↓ 43 62. Existence of a periodic trajectory in every triangular billiard ↑* 63. Elliott–Halberstam conjecture ↑ 24 64. Hadwiger’s conjecture ↑ 15 65. Irrationality of ζ(5) ↑ 268 66. P versus PSPACE ↓ 52 67. P versus BPP ↓ 40 68. Selfridge’s conjecture on the smallest Sierpiński number ↑* 69. Erdős–Rado sunflower conjecture ↑ 77 70. Kolakoski sequence half-density conjecture ↑* 71. Polynomial-time unknot recognition ↑ 268 72. Inverse Galois problem over the rationals ↓ 23 73. Conway’s thrackle conjecture ↑* 74. Gilbreath’s conjecture ↑* 75. Infinitude of cousin primes ↑* 76. Conway’s 99-graph problem ↑* 77. Nonexistence of Landau–Siegel zeros for quadratic Dirichlet L-functions ↓ 34 78. Resolvent degree of the general degree-seven polynomial ↑ 183 79. Hilbert’s sixteenth problem, second part ↓ 40 80. Graph reconstruction conjecture ↑ 242 81. Singmaster’s conjecture on Pascal’s triangle ↑* 82. Exponential Time Hypothesis for 3-SAT ↓ 40 83. Irrationality of Catalan’s constant ↑ 339 84. Borel’s normal number conjecture for irrational algebraic numbers ↑ 54 85. Finite projective planes of non-prime-power orders ↑ 308 86. Fermat–Catalan conjecture ↑ 172 87. Convergence of the Flint Hills series ↑* 88. Existence of an odd weird number ↑* 89. Maximum packing density of regular tetrahedra ↑* 90. Exact exponential growth constant of cap sets in F₃ⁿ ↑* 91. Invariant subspace problem for Hilbert-space operators ↑ 14 92. Fejes Tóth’s sausage conjecture ↑* 93. Cramér’s conjecture on the limsup of normalized prime gaps ↑ 61 94. Kobon triangle problem ↑* 95. Four-distance problem for the unit square ↑* 96. Artin’s primitive root conjecture ↑ 96 97. Tammes problem: optimal spherical packing for general N ↑* 98. Extended Riemann Hypothesis for Dedekind zeta functions ↓ 88 99. Ringel–Kotzig graceful tree conjecture ↑* 100. Global Langlands functoriality conjecture ↓ 93 Fable 5.1 and GPT-6 Astra judged 3,791 distinct pairs using shared evidence, including reviewed public sources and Wikipedia page-view data. Includes theoretical computer science and mathematical physics. ↑/↓ indicate how many places higher or lower a problem ranks by public recognition than in the overall Top 500. ↑* indicates a problem outside the overall Top 500. They will be added to

马斯克是真不给爹打钱啊！80岁亲爹中国行，搞得像微商团建😂 近期，世界首富马斯克的父亲，埃罗尔·马斯克（Errol Musk）来中国捞金！相关的接待方很接地气，颇有微商气质，安排他跳手势舞、吃大排档、体验中医针灸、吃月饼！与马斯克妈妈 @mayemusk 签约的的MCN操盘一对比，有点山寨了，不知道的还以为是假的呢😂 众所周知，马斯克 @elonmusk 小时候其父亲对他进行了严重的精神虐待和打压，导致父子关系长期紧张，马斯克曾公开表示对父亲“深恶痛绝”。近年来，马斯克与父亲关系有所缓和，马斯克曾为父亲提供过一定的经济支持，但双方仍保持较远的距离。 但从这次广州之行的来看，生活费给的还是不多，只能自己出来借着儿子的名声捞金了！