{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicxhk5jbehfqhdrr5rs5bb2kz7lj5tbsjldfcxbxmyprpxzpccjte",
    "uri": "at://did:plc:pgryn3ephfd2xgft23qokfzt/app.bsky.feed.post/3mp24ydm5cug2"
  },
  "path": "/t/whats-the-coolest-topics-in-theoretical-ai-youve-seen-that-arent-completely-unrealistic-in-a-ai-system/177086#post_3",
  "publishedAt": "2026-06-24T12:27:49.000Z",
  "site": "https://discuss.huggingface.co",
  "tags": [
    "Accelerating Mathematical and Scientific Discovery with Gemini Deep Think",
    "Towards Autonomous Mathematics Research - The ArXiV Paper",
    "Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems",
    "Towards Autonomous Mathematics Research"
  ],
  "textContent": "I’ll add to John’s post, because I too think the work is facinating. Here are the latest evolution, updates, results etc of the Google Project:\n Accelerating Mathematical and Scientific Discovery with Gemini Deep Think\n Towards Autonomous Mathematics Research - The ArXiV Paper\n\nOf course there is the Erdo’s problems that the system solved:\n Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems\n\nand Feng’s Eigenweights:\n Towards Autonomous Mathematics Research",
  "title": "What's The coolest topics In theoretical ai you've Seen that aren't completely unrealistic in a ai system?"
}