Mathematicians’ Newest Assistants Are Artificially Intelligent | Scientific American
I read this and I'm highly sceptical.
https://www.scientificamerican.com/article/mathematicians-newest-assistants-are-artificially-intelligent/
#maths #lean #llm #AI
Jesus Margar
npub1wv…5254u
2024-11-23 22:21:03 UTC
Author Public Key
npub1wvr7cv6czszdpk35nxvhzrn0w5xawtdwqctahnsxh4prgvrde32sj5254uSeen on
wss://relay.ditto.pubPublished at
2024-11-23 22:21:03 UTCEvent JSON
{
"id": "73d988a088066a1fd09b790a295fe6cb2f0940d6484f5d2fa699400253b745de",
"pubkey": "7307ec33581404d0da349999710e6f750dd72dae0617dbce06bd4234306dcc55",
"created_at": 1732400463,
"kind": 1,
"tags": [
[
"t",
"maths"
],
[
"t",
"lean"
],
[
"t",
"llm"
],
[
"t",
"ai"
],
[
"proxy",
"https://mastodon.social/users/jesusmargar/statuses/113534596770642826",
"activitypub"
]
],
"content": "Mathematicians’ Newest Assistants Are Artificially Intelligent | Scientific American\n\nI read this and I'm highly sceptical. \n\nhttps://www.scientificamerican.com/article/mathematicians-newest-assistants-are-artificially-intelligent/\n\n#maths #lean #llm #AI",
"sig": "10bbc7ca9e5fd79ea11d0ab8fbbf14cbc04a8d9f7067c61829a3e96557c706e4dc90ef94f7f833dfc85338e8b44606ee67be0bffa09309376600477a7a325ce5"
}