Mathematica 15.0 出了，我又想起了高二时，我第一次接触 Mathematica 4.2 时的惊喜场景。 这版 Mathematica 能自动检测你机器上的 code agent，然后做相应的 MCP 配置安装。这个 MCP 支持直接生成 notebook。于是我让 Codex 分析了我一个 09 年写的 C++ 程序，把它转移成了 Mathematica 程序，完美。

裸女派对8 @nana_mathuoka4 @iinarinao 再磨的话要射精了🥵 两只魅魔要榨干我吗😍😍 好喜欢她们的舌头呀 彩虹鸡巴玩具 @KUMOCOOM #伪娘# #男の娘# #cd# #裸女派对# #东京# #KUMOCOOM#

The Last Math Competition（“最后数学竞赛”），可能将是全人类最后一场、也将是最旷日持久的一场数学竞赛。 以下是党哥制定的 The Last Math Competition 的规则： 1. 举办方每周会使用 AI Agent 新增 10000 个纯数学领域的猜想，添加到 ./conjectures 文件夹中； 2. 人类和 AI Agent 将共同对现存的所有猜想进行不同维度的打分，预估这些猜想证明或者证伪的难度，评价猜想的重要程度； 3. 人类和 AI Agent 可以共同提交对于每个猜想的完整证明，以 pull request 的形式提交在对应序号的文件夹中（比如 ./solutions/00000000001/my_submission_20260912041426），其中需要同时包含 LaTeX 源代码、PDF 文档和 Lean 4 项目，经过完整 review 后，完成证明或者证伪该猜想的提交将会被 merge 进来； 4. 举办方将会持续维护和更新一个含有所有猜想相关统计数据的表格。表格中的每一行对应一个猜想的所有信息，其中包括猜想的难度预估、重要程度打分、是否 well-defined、目前是否被证明或者证伪、第一次成功解决的时间、成功解决者的姓名和 affiliation 等信息； 5. 根据现存的猜想、对现存猜想的评估、对现存猜想的成功证明或者证伪，举办方将调整使用 AI Agent 生成猜想的策略，来逐步提高未来生成数学猜想的质量，以及可能逐步提高生成猜想的数量。 由于比赛尚在早期，我们必须声明：在早期生成的数学猜想的平均质量比较差，一部分猜想可能定义不充分或者存在错误的条件，或者存在显而易见的错误，甚至可能 "not even wrong"。所以我们将会根据对猜想的统计数据表格，来提升新生成猜想的质量和方法。 党哥的长远目标是： 1. 经过长期的比赛和反馈，我们将尝试逐步提升猜想质量。在长期大量猜想生成的过程中，我们希望能够创造若干重要猜想，通过对这些重要猜想的证明和证伪，来推动数学知识体系的推进； 2. 我们将探索以 AI Agent 为主导的数学研究和证明的技术路线。本比赛作为公开的比赛和 benchmark，将会实时评测所有模型的性能、harness 的性能、数学证明工具的性能，整个社区的所有参与者将一起探索 AI 时代科学研究的方法论； 3. 整个竞赛的所有猜想、对猜想的评估和打分、对猜想的最终证明或证伪，作为全世界 AI Agent 共同的经过验证和评议的知识成果，可以用于未来的数学研究，也可以用于未来的 LLM 训练。

🧮 离谱，MathModelAgent 能把数学建模比赛从读题、建模、写代码到出论文一路自动跑完。 MathModelAgent 在 GitHub 已经 4700+ star，最近 10 天连发了 5 个版本。更意外的是，作者自己说这是个边学边写的练手项目，单次任务成本大概 1 块钱。 打过数模比赛的都知道，三天里建模、编程、写论文轮轴转，代码报错一卡就是半天，论文排版还得熬通宵。 它把这三件事拆给三个 agent：建模手分析问题、定模型，代码手写代码、跑数据、自己纠错，论文手把结果写成论文。内置 17 套 Typst 论文模板，国赛、华数杯、华为杯、美赛都有。桌面版 Mac 和 Windows 都能装，里面已经带好 Claude Code 和全套 skills，不用自己配 Python、Node.js、Redis。 作者也写得很清楚：AI 生成的内容只能参考，靠它直接拿国赛奖还不现实。 拿来当队友打草稿、验证思路，已经能省下不少通宵。 GitHub：

在线 LaTeX 公式转换工具，基于 MathJax 在浏览器本地渲染，适合写论文、做幻灯片时快速生成公式。可导出 PNG、SVG、JPG、JPEG，支持自定义背景、透明背景、缩放与颜色，可直接下载或复制结果与源码，还能生成保留公式与样式设置的分享链接，免费且无需注册。

而在地球的另一端，The Last Math Competition已经在一周内解决了825个数学猜想了，每个都有lean完整证明过程。 所以我经常说，OpenAI总在吃我的剩饭，他们还在解决已有的数学问题来展现模型，而我已经在每个月大规模生成1万个数学猜想，让Agent一个个用lean来爆破， 最终筛掉99%的简单猜想，来试图碰撞出下一个堪比黎曼猜想级别的伟大数学猜想。 OpenAI永远在解题，而想不到如何去创造，这就是他们和我的最大差距。

lean4的compiler一定有问题，或者lake有问题，或者mathlib4有问题。 总之OpenAI对ETH的证伪一定是假的，一定是这样的，不会错的。 微软现在必须停止裁员，让6万个人集体手工review你们家自己的lean4、lake、mathlib，必须马上立刻开始，否则真的来不及了。 人类必须像守卫联合国宪章一样去守卫ETH。

世界上第一个设计出semi supervised math agent的作者、去年在Google Gemini呆了半年抢了好几篇Erdos问题的UC Berkeley数学系AP Tony Feng：这一切原本属于我，我不甘心，啊！

在全球最后一场数学竞赛 the last math competition 激烈的竞争下，全球参赛选手提交了300多次pull request，贡献了4万多行的lean4进行了完备、完整、清晰的数学猜想的证明后， 党哥终于跌落到全球第6名的好成绩。