Hackers' Pub

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`

Colin the Mathmo @ColinTheMathmo@mathstodon.xyz

6/9/2025, 12:30:37 PM

Public

Quoting Ken Ono:

"I came up with a problem which experts in my field would recognize as an open question in number theory—a good Ph.D.-level problem,"

He asked o4-mini to solve the question. Over the next 10 minutes, he watched in stunned silence as the bot unfurled a solution in real time, showing its reasoning process along the way.

-- https://www.scientificamerican.com/article/inside-the-secret-meeting-where-mathematicians-struggled-to-outsmart-ai/

And yet they don't tell us what that problem was.

*So* frustrating.

Blue illustration of a face with numbers, implying math and AI.

Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI

The world's leading mathematicians were stunned by how adept artificial intelligence is at doing their jobs

www.scientificamerican.com · Scientific American

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