Posts with #MathAI
Public posts on X that use #MathAI.
Pan Lu @lupantech📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 📽️ Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman, @guyvdb, @xinyun_chen_, @denny_zhou, and @paul_smolensky. ⭐️ Engaging panel discussion featuring @wtgowers, @Mateja_Jamnik, @TaliaRinger, Armando Solar-Lezama, and @Yuhu_ai_. ⭐️ Three oral presentations. ⭐️ A poster session of 41 accepted papers. 💡 Special thanks to our brilliant organizing team: @LiangZhenwen, @AlbertQJiang, @katie_m_collins, @KaiyuYang4, @wellecks, and @JLMcCelland!
Siddhartha Gadgil @SidGadgilWrote a (long) blog yesterday about the future of AI in mathematics motivated by the IMO Golds, and also just an urge to write what I had understood about AI over the years. I was also provoked by the many annoying articles that have started to appear on this.
Pan Lu @lupantech📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 📽️ Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman, @guyvdb, @xinyun_chen_, @denny_zhou, and @paul_smolensky. ⭐️ Engaging panel discussion featuring @wtgowers, @Mateja_Jamnik, @TaliaRinger, Armando Solar-Lezama, and @Yuhu_ai_. ⭐️ Three oral presentations. ⭐️ A poster session of 41 accepted papers. 💡 Special thanks to our brilliant organizing team: @LiangZhenwen, @AlbertQJiang, @katie_m_collins, @KaiyuYang4, @wellecks, and @JLMcCelland!
OpenAI @OpenAIWe’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Pan Lu @lupantech📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 📽️ Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman, @guyvdb, @xinyun_chen_, @denny_zhou, and @paul_smolensky. ⭐️ Engaging panel discussion featuring @wtgowers, @Mateja_Jamnik, @TaliaRinger, Armando Solar-Lezama, and @Yuhu_ai_. ⭐️ Three oral presentations. ⭐️ A poster session of 41 accepted papers. 💡 Special thanks to our brilliant organizing team: @LiangZhenwen, @AlbertQJiang, @katie_m_collins, @KaiyuYang4, @wellecks, and @JLMcCelland!
Pan Lu @lupantech📢 Can't wait to see you at the 3rd #MathAI Workshop in the LLM Era at #NeurIPS2023! ⏰ 8:55am - 5:00pm, Friday, Dec 15 📍 Room 217-219 🔗 📽️ Exciting Lineup: ⭐️ Six insightful talks by @KristinLauter, @BaraMoa, @noahdgoodman, @guyvdb, @xinyun_chen_, @denny_zhou, and @paul_smolensky. ⭐️ Engaging panel discussion featuring @wtgowers, @Mateja_Jamnik, @TaliaRinger, Armando Solar-Lezama, and @Yuhu_ai_. ⭐️ Three oral presentations. ⭐️ A poster session of 41 accepted papers. 💡 Special thanks to our brilliant organizing team: @LiangZhenwen, @AlbertQJiang, @katie_m_collins, @KaiyuYang4, @wellecks, and @JLMcCelland!
Science Magazine @ScienceMagazineBorrowing an idea from one research discipline to solve a thorny problem in another is an age-old scientific trick. Charles Darwin’s theory of natural selection, for example, famously inspired algorithms in computer science that “evolve” solutions to complex problems. But such clever leaps are fleetingly rare. For #AI, however, hopping between fields can be a breeze. Researchers highlighted that ability with the release of 36 preprints produced with a single suite of AI tools called BootLoops. The so-called harness can be used with any large language model, such as Anthropic’s Claude or OpenAI’s ChatGPT. And in just 3 months, researchers used Claude outfitted with BootLoops to cross-pollinate at a massive scale, spotting—and precisely solving—problems in seemingly unrelated fields that share the same mathematical structures. The resulting papers range widely, from figuring out the age of sunspots, to analyzing government health policies, to attempting to decipher a mysterious medieval manuscript. Learn more:
