Neat to see this article come out as I'm navigating fears of this in the Agda community
https://www.nytimes.com/2026/06/08/science/ai-scoop-young-mathematicians.html?unlocked_article_code=1.olA.dJte.wZXzslO706sU&smid=url-share
Talia Ringer
npub1h2…h3xek
2026-06-09 00:02:29 UTC
Author Public Key
npub1h2yzmr4wgqmehn9fwz0y0tjjh3rwngzpmv6vw6n9gkzv3k0u78zqxh3xekSeen on
wss://relay.momostr.pinkPublished at
2026-06-09 00:02:29 UTCEvent JSON
{
"id": "c85cb149f81ce7dd64459e653af0c39f64a893e23ccf046fbdcbebe4475c6085",
"pubkey": "ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4",
"created_at": 1780963349,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@TaliaRinger/116717214092149543",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/TaliaRinger/statuses/116717214092149543",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/TaliaRinger/statuses/116717214092149543",
"pink.momostr"
],
[
"-"
]
],
"content": "Neat to see this article come out as I'm navigating fears of this in the Agda community\n\nhttps://www.nytimes.com/2026/06/08/science/ai-scoop-young-mathematicians.html?unlocked_article_code=1.olA.dJte.wZXzslO706sU\u0026smid=url-share",
"sig": "2e2d80eb25815c4fcf46f7c983b3de2d01319250d85711a933835254c1b29d1beb252fcbd89967fc253f71c3798d163c36e2224d68701fdf9e11bc2bf24887d7"
}