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
npub1zr…e7n3t
2024-11-23 22:21:03 UTC
Author Public Key
npub1zr5eu7elq7t72h5yfmpsdyxz7r2rysaayrl8ag0vysftvna6qc0qpe7n3tPublished at
2024-11-23 22:21:03 UTCEvent JSON
{
"id": "1587ea41d37828105fc44c4be0b9904209f88e18f7512c88e606eb1fd965ba14",
"pubkey": "10e99e7b3f0797e55e844ec30690c2f0d43243bd20fe7ea1ec2412b64fba061e",
"created_at": 1732400463,
"kind": 1,
"tags": [
[
"t",
"llm"
],
[
"t",
"ai"
],
[
"t",
"maths"
],
[
"proxy",
"https://mastodon.social/@jesusmargar/113534596770642826",
"web"
],
[
"t",
"lean"
],
[
"proxy",
"https://mastodon.social/users/jesusmargar/statuses/113534596770642826",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/jesusmargar/statuses/113534596770642826",
"pink.momostr"
],
[
"-"
]
],
"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": "2c49a4f9354dfd15d2eb96264b72bd5d31695001e864d53f9bb61f9736c2a167b80b8aa8b09b735e9092c20fc6e19eb1fa7566b8a25be94cb048e5ca98b70ebd"
}