一句话把数学题做成动画:Math-To-Manim 开源了
摘要输入一道数学题或一个物理概念,Math-To-Manim 会先分析学习者需要什么、补齐前置知识、安排讲解顺序,再生成并检查 Manim 动画。它支持 Codex、Claude Code、MCP 和 REST API,适合做可视化课程、科普视频和教学演示。
3Blue1Brown:现在正是学习数学的最佳时机
惊不惊喜意不意外,就在一众数学家对着AI炸毛的时候,知名数学科普频道3B1B的创始人格兰特·桑德森专门做了一期视频,明晃晃把“劝学”写在了标题上。
ChatGPT攻克26年猜想,千位数学家宣战AI,数学界彻底撕裂了
统治人类逻辑高地几千年的数学家门,第一次感受到了「灭顶之灾」的寒意。就在这两天,全球顶尖名校的数学系,直接掀起了一场声势浩大的集体大反抗。
3Blue1Brown:现在正是学习数学的最佳时机
惊不惊喜意不意外,就在一众数学家对着AI炸毛的时候,知名数学科普频道3B1B的创始人格兰特·桑德森专门做了一期视频,明晃晃把“劝学”写在了标题上。
日赚1.7亿,46岁数学博士靠AI杀入富豪榜前十
据《星期日泰晤士报》最新发布的2026英国富豪榜,46岁的莫斯科国立大学数学博士Alex Gerko,以160.06亿英镑的惊人身家,强势杀入英国富豪榜前十,位列第八!
AI数学的最后一道高墙,塌了,GPT-6 Astra刷穿FrontierMath Tier 4
刚刚,最后一道FrontierMath Tier 4难题,被GPT-6 Astra攻破了。Epoch AI也正式给它下了结论,FrontierMath Tier 4,饱和了。
OpenAI让数学家也陷入了打工人的焦虑
OpenAI 在 GitHub 一口气公开 722 份数学研究手稿,《The Verge》采访的三十多位数学家中,有人整套研究计划被打乱;
AI数学的最后一道高墙,塌了!GPT-6 Astra刷穿FrontierMath Tier 4
henry 发自 凹非寺。Epoch AI也正式给它下了结论,FrontierMath Tier 4,饱和了。
刚刚,Reddit最大开源社区全面封杀AI,Linux和Python被除名
开源界刚刚发生了一件魔幻到离谱的大事。Reddit最大开源社区r/opensource,一纸禁令甩了出来—— 从今天起,全面封杀任何使用AI、由AI生成或专门面向AI的项目!
分享13条搞笑生活小妙招,不得不说网友脑洞好大
每当你开始打电话时就和对方说:“我的手机快没电了”,这样,你就可以随时挂电话了。虽然其中一些小妙招是纯属搞笑的,但我们希望这种乐观幽默的态度会给你平凡琐碎的日常生活带去一些乐趣。