• Home
  • Technology
  • Gaming
  • Entertainment
  • World & Business
  • Science
  • Sports
  • AI
HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
    • Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI
    AI
    Reaction

    The hope that AI will build original mathematical theories

    One post argues mathematicians’ social dynamics have held the field back and hopes AI will challenge their hierarchy.

    Jeremy Nixon - Automating AI ResearchJN
    Eric WeinsteinEW
    2 Sources, ,

    TLDR

    One poster hopes AI will move mathematics beyond contest-style problem solving and eventually build original theories. They argue that mathematicians’ social dynamics have held the field back and want leaders calling for a slowdown to step aside. They say humans remain ahead at building theories and writing, at least for now.

    Combined views

    59K

    2 Sources, first seen 8h ago

    Combined views

    59K

    2 Sources, first seen 8h ago

    1K likes
    8h ago
    first seen 8h ago
    1K likes
    97 comments
    169 saves
    191 reposts
    97 comments
    169 saves
    191 reposts
    Featured Source

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    Today's Rank

    —

    Not ranked yet

    Today's Rank

    —

    Not ranked yet

    2 Sources

    Eric Weinstein@ericweinsteinCall me crazy, but I’m not ready to concede. I’m having a different set of reactions entirely, based around a simple difference: I think the main thing holding back mathematics has been human sociology of mathematicians. Here’s why I’m excited: “When will it stop solving problems and build its first original theory?” “Can it figure out how octonions and exceptional algebra are actually part of the mainstream?” “At last! A mathematics that won’t be built around a Putnam and Olympiad-style problem-solving fetish.” Can it at last say “Y’all just wasted a *TREMEDOUS* amount of time and energy on Calabi-Yau phenomenology and Superstrings while calling people closer to the answer, morons, grifters and worse.”? That would be huge!! “I hope @OpenAI will hurry up so that the machine can at last shake its human prejudice from the training corpus and stop deferring to our ‘leaders’.” “At last, a non-PhD colleague!” “Somewhere I have notebooks full of ideas and observations in areas that were too expensive to explore!” “Does this mean that mathematicians are going to finally drop the bullshit about how they don’t care about credit?! Or that they don’t care about money?? Because @OpenAI is now running them in emulation…sped up! At last: a mature and non-infantile version of mathematics!” “Shalom Koide, Tits-Freudenthal, Elliptic Cohomology, and Interstellar.” —- Let our leaders call for a slow down. Then get those leaders out of the way as there is no telling what the rest of us humans can do with these new tools. My condolences to the problem solvers. A tough break for you. But know: It’s coming for all of us. I have no illusions about that. For now at least we humans (e.g. theory builders, great writers) are still top dog. Let’s spend that time wisely and optimistically. For all our sakes.8h
    Jeremy Nixon - Automating AI Research@JvNixonRT @ericweinstein: Call me crazy, but I’m not ready to concede. I’m having a different set of reactions entirely, based around a simple dif…3h

    2 Sources

    Eric Weinstein@ericweinsteinCall me crazy, but I’m not ready to concede. I’m having a different set of reactions entirely, based around a simple difference: I think the main thing holding back mathematics has been human sociology of mathematicians. Here’s why I’m excited: “When will it stop solving problems and build its first original theory?” “Can it figure out how octonions and exceptional algebra are actually part of the mainstream?” “At last! A mathematics that won’t be built around a Putnam and Olympiad-style problem-solving fetish.” Can it at last say “Y’all just wasted a *TREMEDOUS* amount of time and energy on Calabi-Yau phenomenology and Superstrings while calling people closer to the answer, morons, grifters and worse.”? That would be huge!! “I hope @OpenAI will hurry up so that the machine can at last shake its human prejudice from the training corpus and stop deferring to our ‘leaders’.” “At last, a non-PhD colleague!” “Somewhere I have notebooks full of ideas and observations in areas that were too expensive to explore!” “Does this mean that mathematicians are going to finally drop the bullshit about how they don’t care about credit?! Or that they don’t care about money?? Because @OpenAI is now running them in emulation…sped up! At last: a mature and non-infantile version of mathematics!” “Shalom Koide, Tits-Freudenthal, Elliptic Cohomology, and Interstellar.” —- Let our leaders call for a slow down. Then get those leaders out of the way as there is no telling what the rest of us humans can do with these new tools. My condolences to the problem solvers. A tough break for you. But know: It’s coming for all of us. I have no illusions about that. For now at least we humans (e.g. theory builders, great writers) are still top dog. Let’s spend that time wisely and optimistically. For all our sakes.8h
    Jeremy Nixon - Automating AI Research@JvNixonRT @ericweinstein: Call me crazy, but I’m not ready to concede. I’m having a different set of reactions entirely, based around a simple dif…3h