1+ hour, 59+ min ago  (544+ words) The second batch of "First Proof" problems is meant to evaluate AI"s usefulness for research-level math. The best model got six or seven of the ten questions right. By Joseph Howlett edited by Lee Billings The best-yet test of…...

1+ week, 1+ day ago  (287+ words) How G'del numbers let you do math with math itself By encoding mathematical statements into numbers, mathematician Kurt G'del used ordinary arithmetic to check whether a statement can be proved By Manon Bischoff edited by Daisy Yuhas Last week I…...

1+ week, 1+ day ago  (566+ words) A group of researchers have proposed rules to prevent artificial intelligence from overpowering humans in math By Leila Sloman edited by Clara Moskowitz Last month many mathematicians were shocked by Open AI's announcement that artificial intelligence had solved geometry's famous…...

1+ week, 4+ day ago  (570+ words) New protein-folding AI predicts the structures of 1 billion proteins The new open-source atlas, generated by an AI tool called ESMFold2, vastly increases the known protein universe By Ewen Callaway, Miryam Naddaf & Nature magazine The known protein universe just got a lot…...

1+ week, 4+ day ago  (366+ words) An old numerical problem that keeps reappearing in puzzle books as though it had never been analyzed before is the problem of inserting mathematical signs wherever one likes between the digits 1, 2, 3, 4, 5, 6, 7, 8 and 9 to make the expression equal 100. The digits must…...

2+ mon, 2+ week ago  (757+ words) More than 1, 500 mathematicians are demanding that their field's most prestigious meeting be moved from the U. S. By Joseph Howlett edited by Lee Billings Mathematicians are threatening to boycott the field's largest, most prestigious gathering this summer if it takes place in…...

2+ week, 1+ day ago  (422+ words) A statement can be true or false. But as Kurt G'del demonstrated, there will always be mathematical assumptions that can neither be proven nor disproven By Manon Bischoff edited by Daisy Yuhas My friends and colleagues often ask me to…...

2+ week, 2+ day ago  (429+ words) A battle between "slimes" and "zoglins" could be the best way to calculate pi'at least for fans of this megahit game By Manon Bischoff edited by Daisy Yuhas If you'like me'are only vaguely familiar with Minecraft, here's a brief explanation:…...

2+ week, 6+ day ago  (728+ words) Open AI announces AI's biggest math breakthrough yet The chatbot's result for the 80-year-old "unit distance" conjecture is the first AI proof that would likely be published in math's top journal if humans had done it alone By Joseph Howlett…...

3+ week, 1+ day ago  (920+ words) The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level mathematics By Joseph Howlett edited by Lee Billings Three mathematicians just proved a famous 30-year-old conjecture in geometry, with only a tiny…...