我最近深入研究了一家名为 StackOne 的伦敦创业公司，他们刚刚完成了由 GV（Google Ventures）领投的 2000 万美元 A 轮融资，这不仅仅是一个简单的融资消息，而是整个企业软件生态系统即将迎来根本性变革的信号。
一个个赚飞的AI编程公司其实已经亏爆了！ TechCrunch的最新调查带来了这个反常识的冷思考。
LaTeX 公式的光学字符识别（OCR）是科学文献数字化与智能处理的基础环节，尽管该领域取得了一定进展，现有方法在真实科学文献处理时仍面临诸多挑战：
近年来，大语言模型（LLM）在语言理解、生成和泛化方面取得了突破性进展，并广泛应用于各种文本任务。随着研究的深入，人们开始关注将 LLM 的能力扩展至非文本模态，例如图像、音频、视频、图结构、推荐系统等。
8月3日消息，据美国专利商标局网站，马斯克旗下人工智能公司 xAI 已于 8 月 1 日（前天）为“Macrohard”（巨硬）商标提交了商标申请，商标持有者为 xAI LLC，申请费用为 2300 美元（现汇率约合 16569 元人民币）。
就在一夜之间，用 AI 帮忙搞科研，不是再只是想想了。 最近，科研圈里越来越多的人在讨论一种叫 SciMaster 的「AI 科学助手」，有让它做实验的，有让他帮忙开题的，还有跟他聊科幻的。
当前，CRISPR/Cas系统是应用最广泛的基因组编辑技术。它彻底改变了生命科学研究，并有望改变医学和农业。然而，CRISPR系统在历史上一直具有设计挑战性，因为它们的分子空间很大，需要跨多个维度进行优化。而蛋白质语言模型的出现，给CRISPR系统带来了定制化的转机。
总部位于硅谷致力于构建Agentic OS （AOS）的初创公司Creao AI宣布已连续完成两轮融资。
GPT-5要来了，来势汹汹！泄露的基准测试+Minecraft实测，直接让全网惊掉下巴：代号Zenith的GPT-5-pro在游戏中如行云流水，被称为「魔法级AI」。更有爆料称它将于7月31日发布，吊打Grok 4 Heavy！OpenAI这是又要掀桌了？
当人工智能已经能下围棋、写代码，如何让机器理解并证明数学定理，仍是横亘在科研界的重大难题。
