Bartosz Milewski on Nostr: Math is next on the chopping block. The AI was able to master chess and go because it ...
Math is next on the chopping block. The AI was able to master chess and go because it was given the rules of the game and an oracle to evaluate the result of each game. We now have several formalizations of math and theorem checkers to evaluate the results. So it's just a matter of time.
Published at
2025-12-30 16:43:51 UTCEvent JSON
{
"id": "a8bdd5f4fe4095d6ed391da38908fcd0de0e1482f3cbb60959557d489d38ab9f",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1767113031,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/115809519601625617",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "Math is next on the chopping block. The AI was able to master chess and go because it was given the rules of the game and an oracle to evaluate the result of each game. We now have several formalizations of math and theorem checkers to evaluate the results. So it's just a matter of time.",
"sig": "912d753ee85d568b54988eadc69138df4137a598c8e3c2e6bdf61ea3be170a15dd76602b7c9589c0b17a92adcdf86aab299763099ec6cc3a28c22b0345c425f2"
}
