Two more Erdos problems automatically solved https://arxiv.org/pdf/2603.29961
Often when this happens it's later discovered that there was already a proof in the lit somewhere, though in several cases the proofs were shown to be novel. I find math the most interesting use for modern AI, because it's the one area of human endeavor where the computer can automatically perform verification.
Zach Weinersmith
npub1rk…wdy04
2026-04-01 11:14:14 UTC
Author Public Key
npub1rkpy6tcdz7us8v8syu47h8wlfl8j5wg20tlgj3759qdrgqw06hgq0wdy04Seen on
wss://relay.momostr.pinkPublished at
2026-04-01 11:14:14 UTCEvent JSON
{
"id": "0342d77c15063375cdd711d90a599efb798b8ad632f7a6823ebb2b4430dd89b6",
"pubkey": "1d824d2f0d17b903b0f0272beb9ddf4fcf2a390a7afe8947d4281a3401cfd5d0",
"created_at": 1775042054,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/@ZachWeinersmith/116329156062705026",
"web"
],
[
"proxy",
"https://mastodon.social/users/ZachWeinersmith/statuses/116329156062705026",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/ZachWeinersmith/statuses/116329156062705026",
"pink.momostr"
],
[
"-"
]
],
"content": "Two more Erdos problems automatically solved https://arxiv.org/pdf/2603.29961\n\nOften when this happens it's later discovered that there was already a proof in the lit somewhere, though in several cases the proofs were shown to be novel. I find math the most interesting use for modern AI, because it's the one area of human endeavor where the computer can automatically perform verification.",
"sig": "2edab7e7e31cd9b9269575190fdf6a0d65e2721a92b7d1d83bdf387d5b965f85aa825d27eeeadd2b5756061001498b1d9da5b25bbd14c9effa26df9488f760ae"
}