3 captures, most recent first.
Ben Golub @ben_golub
— saved image
Ben Golub @ben_golub · 18h Mathematicians: Here are our hard questions that we would like to know the answers to. AI: Here are answers to a few of them. (Many) mathematicians: No, not like that!
A wry tweet by economist Ben Golub about mathematicians' mixed reaction when AI actually starts answering their hard open questions.
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
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.
— saved image
Markus J. Bueh... @ProfBuehler... · 10h This feels like a real inflection point: The momentum toward AI that expand knowledge is impossible to ignore...moving beyond solving problems with known answers to settling long-open questions (with Lean certificates attached) across group theory, operator algebras, combinatorics, and complexity. Impressive, congrats @SebastienBubeck @OpenAI! [quoted tweet] Sebastien Bub... @SebastienBub... · 14h yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete ...
Tweet from Markus J. Buehler praising a claimed OpenAI result where their upcoming model 'Astra' resolved open mathematical questions (with Lean-verified proof certificates) across group theory, operator algebras, combinatorics, and complexity, quoting Sebastien Bubeck (OpenAI) announcing the release of 10 such Astra-proved results, including that nonsofic groups exist.