ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

LLM doesn't use symbolic logic and can't guarantee correctness even for simple answers

May 8, 2025, 2:15 AM

Record data

{
  "uri": "at://did:plc:5qtf47soyj3stuno5vknxfb6/app.bsky.feed.post/3lomtqve5pc2p",
  "cid": "bafyreig2ousbd65rdwk6flfjcrqqjncsqzoarflulrs6llc3usmrmmslxa",
  "value": {
    "text": "LLM doesn't use symbolic logic and can't guarantee correctness even for simple answers",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreifr2lygcggxozplk6ncqzsgsm34syfhm2sdxeqy3umrbnue7d3sjy",
        "uri": "at://did:plc:qgz7jtmlddfn3dikhimzlqu5/app.bsky.feed.post/3lomqe5w5ek24"
      },
      "parent": {
        "cid": "bafyreifvposoqxsy235hvsc2andzijwdy5iz5z4qsqm6p2sx66wiwq3r3u",
        "uri": "at://did:plc:lli2pzsoy5tw7wkcgjo3sjcq/app.bsky.feed.post/3loms33zsws23"
      }
    },
    "createdAt": "2025-05-08T02:15:50.585Z"
  }
}