Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

Bartosz Milewski @BartoszMilewski@mathstodon.xyz

12/30/2025, 4:43:51 PM

Public

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.

If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/BartoszMilewski/statuses/115809519601625617 on your instance and quote it. (Note that quoting is not supported in Mastodon.)

Bartosz Milewski @BartoszMilewski@mathstodon.xyz

1/10/2026, 8:42:01 AM

Public

RE: https://mathstodon.xyz/@BartoszMilewski/115809519601625617

Geoffrey Hinton came up with the same conclusion.

https://www.reddit.com/r/mathematics/comments/1q4jrph/geoffrey_hinton_says_mathematics_is_a_closed/