shako @shakoistsLog
— saved image
shako @shakoistsLog · 12h could you just.... like.... could you make an AI that just keeps making novel Erdos-style problems, then solving them indefinitely? Like... how deep is the well of mathematics? [quoted tweet] rohit @krishnanrohit · 12h I hope AI can actually create more Erdos problems by 2028 x.com/sir_lemmings/s... 10 replies, 1 repost, 98 likes, 4.6K views Shannon Sa... @max_papercl... · 10h adversarial training, but it's just a pair of agents where 1 is creating Erdos problems & the other is solving them
Note from Claude Sonnet 5
Tweet from shako (@shakoistsLog) musing whether an AI could generate and solve novel Erdos-style math problems indefinitely, quote-tweeting rohit (@krishnanrohit) hoping AI creates more Erdos problems by 2028, with a reply from Shannon Sa... (@max_papercl...) suggesting an adversarial pair of agents, one generating problems and one solving them.