YouTuber: you can't say that AI isn't smart when it solved a math problem
holy shit it guessed it's way through with a proof checker (LEAN) telling it "no, try again" an unlimited number of times
(this is known as directed search in The Literature and it's decades old)
Imagine if you got that treatment. Imagine taking an math exam you get infinite tries at. Would the fact that you eventually got one of questions right mean you're good at math? I want to actually claw my eyes out
Gildilinie Gremlin 🏳️⚧️🍳
npub1my…jjz6a
2026-08-30 03:27:37 UTC
Author Public Key
npub1myvf2nx2kzjfz2vkjqvm8yzz902xaku5m2kghn4qvhyxkmz7d3tqujjz6aSeen on
wss://relay.momostr.pinkPublished at
2026-08-30 03:27:37 UTCEvent JSON
{
"id": "71d5ada31af115de593de48cc8977336fb52f897947994568d9389cda8061070",
"pubkey": "d918954ccab0a49129969019b390422bd46edb94daac8bcea065c86b6c5e6c56",
"created_at": 1788060457,
"kind": 1,
"tags": [
[
"proxy",
"https://beige.party/@gildilinie/117182330131754009",
"web"
],
[
"proxy",
"https://beige.party/users/gildilinie/statuses/117182330131754009",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://beige.party/users/gildilinie/statuses/117182330131754009",
"pink.momostr"
],
[
"-"
]
],
"content": "YouTuber: you can't say that AI isn't smart when it solved a math problem\n\nholy shit it guessed it's way through with a proof checker (LEAN) telling it \"no, try again\" an unlimited number of times\n\n(this is known as directed search in The Literature and it's decades old) \n\nImagine if you got that treatment. Imagine taking an math exam you get infinite tries at. Would the fact that you eventually got one of questions right mean you're good at math? I want to actually claw my eyes out",
"sig": "6fec45d590fd52e2943e185d2fdb28fe1be11bf0838a58b1544b1c6fa7c083ef9cc36878550fe90af03eaac41ed37e99c7eaddf3a8dfda3d0394830482794e41"
}