Event JSON
{
"id": "058cf4b2f1d6795462cdf0c8799d285f31b9e6c526a732939906b9b053f30f8b",
"pubkey": "8ecb885d7e5bf30781406c8b29af884be317fac83852b6ea87c419748f10201c",
"created_at": 1774035000,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/@ieeespectrum/116263157778341298",
"web"
],
[
"proxy",
"https://mastodon.social/users/ieeespectrum/statuses/116263157778341298",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/ieeespectrum/statuses/116263157778341298",
"pink.momostr"
],
[
"-"
]
],
"content": "Humans have collaborated with AI to formally verify two versions of the sphere packing problem, a Fields Medal winner in 2022. An AI tool called Gauss helped to create the Lean code that verified the mathematical result. https://spectrum.ieee.org/ai-proof-verification?utm_source=mastodon\u0026utm_medium=social\u0026utm_campaign=fedica-Mastodon-Daily-Pipeline",
"sig": "fa4475a4e12df3ec9768ff4b211611707155110d69c3bf35668a78722cccf67a1ea3e1bf242bbc392b9d11398a2f4af180b4460c3dc931ffc3b58425ef0f69d8"
}