Meta 用 Muse Spark 免费聊天帮数学家攻克开放问题
Meta 研究者让数学家通过免费公开的 meta.ai 用 Muse Spark 模型研究开放问题，产出六篇论文并标注人机撰写段落，其中一例跨领域联想帮助完成证明。
We had a group of mathematicians work on open problems they're passionate about using our Muse Spark models via a regular http://meta.ai chat (which is free and publicly available), and they came up with pretty interesting discoveries which we're sharing today in our blog. One example was when the model was able to connect the dots between 2 very different fields, helping researchers develop a proof. We then wrapped all the work into 6 nice research papers where we mark which passages were primarily drafted by humans vs AI. We also gave credit for any similar work we found. Our goal here wasn't to mass-produce papers, but to empower researchers and help them develop mathematical insights that others can understand and build on :) Blog: https://research.meta.ai/blog/solving-open-research-problems-together
这条是引用着另一条写的：x.com/aiatmeta/status/2106099776035152231