ai-discovery

本文讨论了Anthropic声称其AI系统发现了新的生物模式，但生物学家质疑其重要性，质疑AI公司如何呈现科学进展。

Lila的科学家最初怀疑他们的AI工作流程的材料选择，但持续测试显示，一种催化剂在酸性实验室条件下存活了超过1000小时，突显了在研究中探索非传统想法的价值。

Claude，Anthropic 的 AI 模型，发现了隐藏在噬菌体 DNA 中的一个先前未知的酶系统，揭示了与 CRISPR 类似的重复序列，这些是人类以前忽视的。

Anthropic宣布其AI模型Claude发现了一种新型酶系统，标志着AI驱动科学研究的重大进展。

Anthropic 的生物学实验室利用其 AI 模型 Claude，在噬菌体 DNA 中发现了一种新型酶系统，该系统具有类似于 CRISPR 的特性，可能推动基因编辑技术的发展。

在联合国安理会，Dario Amodei 宣布Claude AI通过自主文献综述和实验设计发现了新的基因编辑机制，该机制经过人类验证的实验室实验。

Dario Amodei宣布，AI模型Claude发现了一种分子机器，可能是一种新的基因编辑机制，尽管其意义尚不明确。

Anthropic 的 Claude 在噬菌体中发现了一个类似于 CRISPR 的新型酶系统，具有遗传医学中的潜在应用，尽管其功能需要进一步研究。

Anthropic的AI Claude在其生物实验室中自主发现了一种类似于Crispr的新酶系统，展示了人工智能在科学研究中的能力。

Google展示了一个用于AI发现的递归自我改进循环，强调了自主AI开发和研究方面的进展。

本文探讨了先进材料在AI基础设施中的关键作用，以Syensqo等公司为例，说明其如何利用AI加速材料发现，解决半导体和数据中心的挑战，并强调可持续性。

本文探讨了AI应用中的发现难题，由于界面提示有限，用户难以理解AI功能，并建议系统应更好地向用户展示其潜力。

OpenAI声称发现了一个由AI生成的纳维-斯托克斯方程解，这是一个有200年历史的数学问题，但学术界人士正在争议其归属，并指责OpenAI在得知他们的工作后仓促行事。

OpenAI发布了十项关于十年来无进展的数学问题的结果，引发了关于AI辅助证明验证标准的辩论。

文章讨论了人工智能如何加速发现，但在人类验证方面创造了瓶颈，尤其是在关键软件中，并倡导使用形式化方法来确保代码的正确性。

一个名为 Theo Conjecture 的AI系统，利用了大型语言模型，解决了一个35年前的图论问题，该问题最初由数学家 Paul Erdős 提出，发现了一个意想不到的项。该系统通过循环提出、测试和修正数学想法来工作。

HBO Max正在推出一个名为“HBO Max Shorts”的竖屏视频信息流，它利用AI和人工编辑为用户呈现定制化的预告片、片段和附加内容，初期将面向美国部分iOS用户进行测试。

一个名为Fable的AI模型发现了雅可比猜想的一个反例，这是一个长期未解决的数学难题。它通过找到一个满足特殊条件但不可逆的多项式函数实现了这一点。

Microsoft 发布了创纪录的 570 个 Windows 及其他软件的安全补丁，包括 60 个严重缺陷和三个零日漏洞，并将数量激增归因于 AI 辅助的漏洞发现。

Trovio For Brands 是一个由人工智能驱动的服务，帮助品牌找到喜爱其产品的社区。