Imagine if a team of mathematicians from OpenAI had gone on a university tour, gave demos of how powerful their models were for math research, and then gave mathematicians access to the model. Empower others rather than drop 700+ discoveries on GitHub that were made using a model only they have access to.
People might feel differently about AI if they were a part of the changes rather than being a helpless spectator.
The reaction/fallout would have been substantially improved even if OpenAI had just made a commitment to not scoop external researchers using an internal model until X months after the model had been made available to the public.
That would have given grad students who've been grinding towards a PhD for years a fighting chance to see if they could leverage the model to push their work forward, rather than watching years of work potentially turn to dust via a tool they don't even have access to.
It wouldn't delay the progress of mathematics by any meaningful amount in the long run (an X month delay is nothing) for OpenAI to take this approach, and would help somewhat to preserve the health of mathematics as a field. Without it, the motivation for any young mathematician to devote years to a new problem must be sapped knowing there's an uneven playing field... an OpenAI team with access to colossal tools months before they'll ever be able to get access, willing to scoop anyone as soon as they can, perhaps without even taking the time to completely understand the proof.
I don't see any long-term benefit to OpenAI with their current strategy. This is an internal model; it's not available for sale at the moment. They've said they're not even going to bother claiming the Millenium Prize money for Navier-Stokes. It feels like kicking over hundreds of other people's chessboards just because they can.
Also, the independent authors might have spent some time to actually understanding the results and producing a readable manuscript. The AI papers are pretty badly written.
However, the moment that someone uses a Chinese model without guardrails to commit an AI-powered 9/11, DC will rush to ban Chinese models. (A happy side effect will be to protect American AI profits.)
So the lack of guardrails is a very risky proposition...
I think Mathematica will survive because the alternative is for AIs to write the code to do a computation or use an open-source library. And there are many calculations for which there simply isn't an open-source tool for evaluating.
But I wouldn't be surprised to see Mathematica being used primarily as an AI plugin in the coming years. Mathematica now has an MCP which I use regularly from Claude Code. It's nice not having to write the lengthy Mathematica expressions by hand.
Not sure why you say this. I've been using Brave for years, and after spending like 20 seconds to turn off the 'show on new tab' things, I get a blank page ( well, with a random photo background ) when I open a new tab.
being an argument in favor of Firefox. I have to use Firefox every once in a while and I'm always surprised to see the garbage they peddle on the start page. I know I can turn it off but I never use it enough to bother.
Same here, not using firefox because of worse compatibility (maybe not their fault, many devs only test in chrome) and weaker security (maybe not their fault, they don't have as much money). I appreciate the people who do and help diversify the ecosystem though.