Experimental browser for the Atmosphere
*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025. simons.berkeley.edu/workshops/si...
Dec 2, 2024, 10:08 PM
{ "uri": "at://did:plc:ure4qdue3bs7xqaugjwmw3nr/app.bsky.feed.post/3lce57o63522h", "cid": "bafyreia4y3oiivdi4beteh2k4luefgmcd7oexd2j5jx7r74v5oygmugfki", "value": { "text": "*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025.\n\nsimons.berkeley.edu/workshops/si...", "$type": "app.bsky.feed.post", "embed": { "$type": "app.bsky.embed.external", "external": { "uri": "https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical", "thumb": { "$type": "blob", "ref": { "$link": "bafkreieroykxrk3z7qgfjluqtblyfrxc3brz3m254joevpjmtejvizplpq" }, "mimeType": "image/jpeg", "size": 948349 }, "title": "Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science", "description": "This is an exciting time for mathematics, as new technologies for mathematical reasoning provide novel opportunities for mathematical research, communication, and discovery. Mathlib, a library of form..." } }, "langs": [ "en" ], "facets": [ { "index": { "byteEnd": 270, "byteStart": 235 }, "features": [ { "uri": "https://simons.berkeley.edu/workshops/simons-institute-theory-computing-slmath-joint-workshop-ai-mathematics-theoretical", "$type": "app.bsky.richtext.facet#link" } ] } ], "createdAt": "2024-12-02T22:08:52.861Z" } }