据报道，一个 OpenAI 模型解决了一个长期存在的数学问题，这一壮举此前被认为需要广泛的人类专业知识。这一发展引发了对通用大型语言模型在复杂科学领域能力的问题。另外，DeepMind 的 AlphaFold，一个人工智能系统，因其对科学的贡献获得了诺贝尔化学奖，凸显了人工智能在可以机械验证准确性的硬科学领域的潜力。 AI
影响 展示了大型语言模型解决复杂科学问题的潜力，可能加速跨学科研究。
排序理由 AI 模型解决了未解的数学问题，展示了先进的研究能力。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
完整方法见我们的编辑标准。
Knowing Mastodon views on AI, let me ask people to remember that Alphafold, a DeepMind artificial neural network, already won an effin Nobel Prize in Chemistry! This stuff can really work in hard sciences, because you can check accuracy mechanically, or at least, quickly. NB that…
Remarkable stuff as OpenAI model solves unsolved math problem. I thought this would take years, requiring huge sweatshops of PhD mathematicians to encode all existing proofs in machine readable format (Lean)…but here we are. How did they do that? And apparently through a generic …