我才刚开始用Markdown不到一年,怎么现在Markdown就要被淘汰了? 事情经过是这样的,Claude Code团队成员Thariq在X上发表了一篇文章,标题叫《Using Claude Code: The Unreasonable Effectiveness of HTML》。 他说他自己现在已经完全停用Markdown了,转而用HTML作为AI输出的默认格式。 不是,先等一会的,Thar...
我才刚开始用Markdown不到一年,怎么现在Markdown就要被淘汰了? 事情经过是这样的,Claude Code团队成员Thariq在X上发表了一篇文章,标题叫《Using Claude Code: The Unreasonable Effectiveness of HTML》。 他说他自己现在已经完全停用Markdown了,转而用HTML作为AI输出的默认格式。 不是,先等一会的,Thariq的观点让我更糊涂了。 你说Markdown格式过时这我还能理解,毕竟这几年用下来,或多或少我也能说出点Markdown的缺点。可是要用HTML去替换Markdown……这玩意比Markdown还早诞生了10多年啊! 本身Markdown就是因为HTML不好用才诞生的,怎么现在反过来要被HTML替代了呢? 所以,要搞清楚Thariq的逻辑,咱们得先从Markdown这个格式本身说起。 它到底是个什么东西?为什么这么多人在用?又为什么现在突然就不够用了? 01 Markdown是怎么来的,为什么现在又要被淘汰? 2004年,约翰·格鲁伯(John Gruber)与亚伦·斯沃茨(Aaron Swartz)共同设计了Markdown。 他们要解决的痛点很明确,那就是写博客。 2004年前后,博客正在兴起,但当时的博客平台像WordPress、TypePad的编辑器功能很有限。格鲁伯自己写 Daring Fireball 博客时,每次发文章都得手写HTML代码,、、这些标签写到烦。 如果从Word复制粘贴,又会带来一堆乱七八糟的格式代码,在不同浏览器里显示还会出问题。 格鲁伯想要的很简单,就是一种“看起来像普通文本,但能自动转成网页”的格式。 写作者只需要打字,不用记那些 HTML 标签,不用在可视化编辑器和代码视图之间来回切换,写完直接发布。 于是,Markdown就是这样诞生的。用#表示标题,用*表示列表,用**表示加粗,几个符号就够了。 最巧妙的地方,是即使不转换成网页,你也能通过这些符号,能明白哪里是标题,哪里是重点。 通过Jekyll、Hexo这些工具,就可以用Markdown来写博客,然后一键生成静态网站。 随后,技术博客平台比如Medium、Dev.to也开始支持Markdown写作。 久而久之,整个技术社区形成了“默认用Markdown”的集体习惯。 不过Mark...
There are a bunch of space-themed ETFs, a mix of actively managed and index funds. But just one has access to SpaceX ahead of its eagerly awaited debut.
There are a bunch of space-themed ETFs, a mix of actively managed and index funds. But just one has access to SpaceX ahead of its eagerly awaited debut.
Key PointsNvidia stock has advanced 15% year to date, but DigitalOcean's share price has more than tripled as the company has pivoted towards AI services.
Key PointsNvidia stock has advanced 15% year to date, but DigitalOcean's share price has more than tripled as the company has pivoted towards AI services.
Philippine lawmakers on Monday overwhelmingly backed the impeachment of Vice-President Sara Duterte, setting the stage for a trial in the Senate that could end her hopes for a presidential run in 2028. The petition was backed by 255 of 318 lawmakers on Monday, surpassing the one-third threshold required. A House justice committee had last month found probable cause for her impeachment in a peti...
Philippine lawmakers on Monday overwhelmingly backed the impeachment of Vice-President Sara Duterte, setting the stage for a trial in the Senate that could end her hopes for a presidential run in 2028. The petition was backed by 255 of 318 lawmakers on Monday, surpassing the one-third threshold required. A House justice committee had last month found probable cause for her impeachment in a petition from activists accusing her of misusing public funds, accumulating unexplained wealth and...
Yindjibarndi Energy, one of Australia’s largest Indigenous-led renewable energy initiatives, will begin construction of the Jinbi Solar Project in the Pilbara after reaching financial close and signing a 30-year power purchase agreement with Rio Tinto ( RIO ). Financial close confirms that key funding, contractual arrangements, government approvals, and consents required to proceed to construction...
Yindjibarndi Energy, one of Australia’s largest Indigenous-led renewable energy initiatives, will begin construction of the Jinbi Solar Project in the Pilbara after reaching financial close and signing a 30-year power purchase agreement with Rio Tinto ( RIO ). Financial close confirms that key funding, contractual arrangements, government approvals, and consents required to proceed to construction have been satisfied. Jinbi is YEC’s first project to progress through to financial close, three years after YEC was established as a partnership between Yindjibarndi Aboriginal Corporation and ACEN Corporation, the company said. Under the agreement, YEC will supply 100% of the electricity generated by Jinbi to Rio Tinto, supporting the decarbonization of Rio Tinto’s Iron Ore Pilbara operations once the project is operational. Stage 1 of the Jinbi Solar Project will comprise a 75 MWac solar facility, with an option to expand to 150 MWac, including the potential addition of battery energy storage systems, subject to regulatory approvals and future development decisions. Construction will now commence in accordance with the approved schedule, with full commercial operations, which will mark the start of the 30-year PPA supply period, expected in mid‑2028. Early site works are already underway, with Yurra, a Yindjibarndi Nation enterprise and YEC’s preferred civil works partner, carrying out site preparation and mobilization activities to ready the site for construction. More on Rio Tinto Rio Tinto Group (RIO) Shareholder/Analyst Call Transcript Rio Tinto: Strong Operations, But Priced For Perfection Amid Rising Execution Risk Rio Tinto: Fundamentals Don't Support A Price Rally Rio Tinto considers raising stake in Argentina's Los Azules copper project - Reuters Rio Tinto racks up higher Q1 iron ore, copper production
群论领域数十年无解的第21.10号问题,最近在 Google DeepMind 新 Agent 系统 AI Co-Mathematician 的协助下,被牛津大学数学家 Marc Lackenby 破解了。 以往的数学研究,研究团队需要反复确认问题边界,判断哪些文献真正相关,做小规模计算实验建立直觉。AI 在数学上的提升,也更多体现在局部能力上: 比如更强的推理、更成熟的形式化证明、更方便的工具调...
群论领域数十年无解的第21.10号问题,最近在 Google DeepMind 新 Agent 系统 AI Co-Mathematician 的协助下,被牛津大学数学家 Marc Lackenby 破解了。 以往的数学研究,研究团队需要反复确认问题边界,判断哪些文献真正相关,做小规模计算实验建立直觉。AI 在数学上的提升,也更多体现在局部能力上: 比如更强的推理、更成熟的形式化证明、更方便的工具调用 。但这些能力,还没有被整合成可以持续推进的研究流程。 AI Co-Mathematician 试图解决的,正是这一问题:它不再只是回答某一步推理、补一段证明,而是打造 能长期协作的多Agent工作台 。在群论问题的解答上, 它没有直接给出答案,而是提出了一条富有启发性的证明思路 。正是在这一份存在缺口的草稿里,牛津大学数学家 Marc Lackenby 看到了突破口,经过他与 Agent 的反复配合,该问题最终被推进到解答。 新 Agent 上线后,Google DeepMind 研究团队在论文指出,AI Co-Mathematician 刷新了最难数学基准 SOTA ,在 FrontierMath Tier 4 上取得了 48% 的准确率 。这说明该 Agent 的参与不仅改变了协作方式,也带来了可量化的性能提升。 论文链接:https://arxiv.org/abs/2605.06651 AI Co-Mathematician:长期协作的多Agent工作台 AI Co-Mathematician 是一个 专为数学研究设计的多 Agent 系统 。 据论文描述,在这一系统中, 用户主要与最上层的项目协调 Agent 交互 ,由它先澄清问题边界、确认研究目标,再把任务拆分给不同工作流。各条工作流会继续调用文献检索、代码实验、证明尝试、结果审查等子 Agent,并把中间结果写回共享文件系统。最终交付的内容,也不是一段容易丢失上下文的对话,而是一份持续更新的工作文稿, 里面保留了边注、来源说明、内部链接和审查痕迹 。 图|典型 AI Co-Mathematician 工作空间中各类 Agent 组织结构的简化示意图。箭头表示标准的信息传递路径,这些路径用于从用户收集信息,并向各 Agent分发来自用户的指令 研究团队强调,Agent 会持续记录所有失败的假设、走不通的路线和...