《小学女生英语自我介绍》
Hello, everyone! My name is [Your Name]. I’m [Your Age] years old.
C# 泛型数学：INumber 让一个方法算所有数字类型
想写一个通用求和，结果给 int、double、decimal 各写了一遍？这不怪你，.NET 7 之前的 C# 确实做不到。直到 静态抽象接口成员 配合 INumber 出现，我们才第一次能用「一个方法」算所有数字类型。下面用 6 步彻底讲透它。
C# AI开发 篇119：AI生成报表数字一致性校验，合计对不上
让 AI 写一段经营分析，读起来很像那么回事，但合计比明细少了 360，环比凭空多出 0.8 个百分点。这类错误在聊天场景是"不太准"，在报表场景就是事故。根因不是模型不够强，而是我们把"算数"这件确定性的事交给了概率模型。
陶哲轩参赛，在这项极其严格的数学测试中，人类表现优于AI
就在外界惊呼“AI快要接管纯数学研究”之际，一场限制条件极其严格、并由30位数学家以匿名方式进行评审的数学测试，却揭开了AI数学能力的另一面：AI不仅会幻觉、会跳步骤，甚至还把数学家论文里的关键论证几乎原样照搬，却忘了注明引用。该测试共包含10道题目。
别再只会写 T：Kotlin 泛型的实战用法
上一篇介绍了 Kotlin 泛型的基础。这一篇，我们先看类型参数之间的关系与约束，再把它们用于数据容器、结果包装、对象构建和数据转换，最后讨论运行时类型检查与反射的边界。我想借这篇文章，把自己了解的一些泛型用法尽量整理出来，因此例子会多一些，读起来可能稍显啰嗦。
对话马骁：当AI可以量产证明，对数学家是好事吗？
来源：市场资讯（来源：DeepTech深科技）小学五六年级的一堂奥数课上，老师把一个圆切开、重新拼成长方形，由此推导出圆的面积公式。下课前，他又补了一句：这个办法很特殊，只对圆成立；如果要算椭圆和更一般图形的面积，就得用微积分。班上其他人或许很快忘了这句话，但马骁没有。
对话马骁：当AI可以量产证明，对数学家是好事吗？
马骁本科毕业于中国科学技术大学，2023 年在普林斯顿大学获得博士学位，目前是密歇根大学 Donald J. Lewis Research Assistant Professor。
对话马骁：当AI可以量产证明，对数学家是好事吗？
小学五六年级的一堂奥数课上，老师把一个圆切开、重新拼成长方形，由此推导出圆的面积公式。下课前，他又补了一句：这个办法很特殊，只对圆成立；如果要算椭圆和更一般图形的面积，就得用微积分。班上其他人或许很快忘了这句话，但马骁没有。那时他偏偏酷爱“算面积”这件事。
美股一夜崩盘，Anthropic估值暴跌至5000亿，搞ASI或被判20年
现在，Anthropic 的 IPO 估值已从 2 万亿美元降至 1.5万亿美元，甚至估值可能进一步下调至1 万亿美元，甚至传闻中的5000亿!
数学家马骁转向智能体 把数学证明成本打下来
从国际数学家大会的聚光灯下抽身之后，马骁做了一个让很多同行意外的决定。他把接下来两三年的核心精力，从深耕多年的数学物理研究，转到了面向数学证明的智能体系统开发上。这不是离开数学，而是用AI工具把数学的边界推得更远。