{"ok":true,"trend":{"id":791795,"platform":"x","region":"SE","key":"meta's muse ai helps prove open math theorems in six papers","title":"Meta's Muse AI Helps Prove Open Math Theorems in Six Papers","url":"https://x.com/search?q=Meta's%20Muse%20AI%20Helps%20Prove%20Open%20Math%20Theorems%20in%20Six%20Papers&src=trend_click","first_seen":"2026-10-02T23:38:27.193357Z","last_seen":"2026-10-03T23:08:29.040917Z","last_rank":33,"peak_rank":32,"last_volume":1100,"peak_volume":1100,"seen_count":4,"score":0.66984375,"category_hint":"News","section":null,"category":null,"summary":"Meta says its Muse AI system contributed to formal proofs in six mathematical research papers, assisting mathematicians in resolving open theorems. The announcement positions Meta's AI research alongside efforts like DeepMind's AlphaProof, showing large language models moving beyond chat into genuine scientific discovery. Commenters are debating how much of the credit belongs to the machine versus the human mathematicians guiding it.","why":"Meta has just announced that its AI contributed to real mathematical breakthroughs, a notable milestone for AI in science","tone":"positive","entities":["Meta","Muse AI","DeepMind"],"summarized_at":"2026-10-03T23:09:42.540944Z","meta":{"lang":"en","explore":true},"nw":null,"promo":null,"kind":null,"importance":null,"hidden":false,"hide_reason":null,"judged_at":null,"title_en":"Meta's Muse AI Helps Prove Open Math Theorems in Six Papers","timeline":[{"captured_at":"2026-10-02T23:38:27.193357Z","rank":32,"volume":92},{"captured_at":"2026-10-02T23:53:27.177939Z","rank":33,"volume":137},{"captured_at":"2026-10-03T00:08:27.443725Z","rank":32,"volume":157},{"captured_at":"2026-10-03T23:08:29.040917Z","rank":33,"volume":1100}],"posts":[],"elsewhere":[],"window":"7d"}}