More impressive results from the automated theorem prover / proof assistant / formalization community. Things are happening fast!
#Math #MathEd #MathTeaching
https://www.nytimes.com/2024/07/25/science/ai-math-alphaproof-deepmind.html?unlocked_article_code=1.900.yOkt.837ojvZKANn7&smid=url-share
Patrick Honner
npub148…82akp
2024-07-25 17:50:23 UTC
Author Public Key
npub148w5pekrrmj6ct3k3pnfg4sk0t6k4669c75azs68qmatj22sttlsx82akpSeen on
wss://relay.ditto.pubPublished at
2024-07-25 17:50:23 UTCEvent JSON
{
"id": "f19a1e1130017ef2295f17848561b19a8b9ca6a9afe432e28f7c5da2bd37c58a",
"pubkey": "a9dd40e6c31ee5ac2e3688669456167af56aeb45c7a9d1434706fab929505aff",
"created_at": 1721929823,
"kind": 1,
"tags": [
[
"t",
"mathteaching"
],
[
"t",
"mathed"
],
[
"t",
"math"
],
[
"proxy",
"https://mathstodon.xyz/users/phonner/statuses/112848392927023912",
"activitypub"
]
],
"content": "More impressive results from the automated theorem prover / proof assistant / formalization community. Things are happening fast!\n\n#Math #MathEd #MathTeaching\n\nhttps://www.nytimes.com/2024/07/25/science/ai-math-alphaproof-deepmind.html?unlocked_article_code=1.900.yOkt.837ojvZKANn7\u0026smid=url-share",
"sig": "7f5a3471323ff7159fece68b4d09d5f6cc078a248c663ed2c990a3065bf76471c712f0b81b917f44fd1106473de76d72f4a1287bf3583738f6450d24f617570e"
}