DJ Ierardi

For the platform itself, perhaps. Personally I'd prefer to be engaged by the substance of relevant posts, rather than be sent onto tangents that are ultimately of little interest.

Boring is good.

You’ve probably heard about how AI/LLMs can solve Math Olympiad problems ( deepmind.google/discover/blo... ).

So naturally, some people put it to the test — hours after the 2025 US Math Olympiad problems were released.

The result: They all sucked!

Yawn.

Trump baffles with bizarre comment about 'transgender mice' in Congress speech Donald Trump baffled viewers of his congressional address when he discussed the $8 million he said he and the Department of Government Efficiency (DOGE) had found for "making mice transgender"

Cancer research is going to disappear in the US because apparently no one in US leadership ever took a biology class. “DOGE found $8 million grant to make mice transgender. This is real.”

- Donald Trump, talking about transgenic mice to the world

www.irishstar.com/news/us-news...

For those who not know the “concerning” joke here: It’s what Elon always uses when he is tweeting horrible nonsense

The Dems have an opportunity here:

If Trump insists on raising the debt ceiling limit, they should make it *permanent*, i.e., abolish the debt limit. If he doesn't want to do that now, then he can sweat it out in the Spring.

Computational Care

DiffDock, a new diffusion-based ligand docking program, made s big splash earlier this year. But it’s apparently not all it’s claimed to be:

The GPT Era Is Already Ending Something has shifted at OpenAI.

To hear OpenAI tell it, its newest AI models will augur a new era of the AI revolution. Are they magic or a sleight of hand, and does it matter? I've spent months reporting on these "reasoning" bots and the startup's entire approach to erecting superintelligence:

www.theatlantic.com/technology/a...

Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science This is an exciting time for mathematics, as new technologies for mathematical reasoning provide novel opportunities for mathematical research, communication, and discovery. Mathlib, a library of form...

*AI for Mathematics and Theoretical Computer Science*, a workshop hosted jointly by the Simons Institute for the Theory of Computing and the Simons Laufer Mathematical Sciences Institute, will be held in Berkeley at April 7-11, 2025.

simons.berkeley.edu/workshops/si...