Ryan Hill on Twitter / X

Dan Shipper 📧 on Twitter / X

this is true and is a big reason why you don’t need to be a highly technical researcher to use LLMs in surprising and novel ways https://t.co/TuxNzXzToU— Dan Shipper 📧 (@danshipper) July 27, 2025

Thomas Wolf on Twitter / X

wtf is this way to handle mathematicians work and scientific communicationTLDR: Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and… https://t.co/zNozwkFcFO pic.twitter.com/XcefJ17AQe— Thomas Wolf (@Thom_Wolf) September 8, 2026

Bending the Curve: How AI is Transforming Scientific Discovery

Discover how researchers use LLMs and specialized AI models like AlphaFold as complementary tools to accelerate innovation and expand the scientific frontier.

OpenAI's open source LLM is a reasoning model, coming Next Thursday!

1.1K votes, 257 comments. 756K subscribers in the LocalLLaMA community. Subreddit to discuss locally hostable AI.

Bartosz Naskręcki on Twitter / X

Congrats to @LechMazur for the solution and to Terence Tao for the digestion and storytelling. You see the trend. Mathematicians are still needed if we want to make any sense of the formal proofs. For now... Maybe the next gen LLMs will simply read allthe blogs of Terry and… https://t.co/yXiISCrNAF— Bartosz Naskręcki (@nasqret) August 13, 2026

The AI Chemist: To be trustworthy, LLMs need to show their work

Good scientists reveal how they do their experiments and report their results; so should any machine-driven research

Talia Ringer 🕊🪬 on Twitter / X

Poured my heart and soul into advocating for formal proof with AI assistance in a mathematical setting because of the large collaborations I thought it could empower. (1/3)— Talia Ringer 🕊🪬 (@TaliaRinger) September 10, 2026

Can we trust LLMs to judge whether a research idea is novel?

A Blog post by Ai2 on Hugging Face

Daron Acemoglu on Twitter / X

I recommend Columbia mathematician Michael Harris’s wide-ranging, informative and thought-provoking essay in Boston Review on AI and mathematics:https://t.co/txwAd8ri4xHarris rightly worries about the possible negative effects of AI-generated proofs and mathematics on…— Daron Acemoglu (@DAcemogluMIT) June 16, 2026

Lincoln Michel on Twitter / X

This was my read on AI from the beginning and it proved very true. Whatever hypothetical benefits LLMs have (and they have some), their main use is to waste everyone's time wading through slop. Longer colleague powerpoints. More spam emails. More slop clogging up all the systems. https://t.co/2gtGfqf7KF— Lincoln Michel (@TheLincoln) September 21, 2026

OpenAI accused of stealing math proof from expert Andreas Thom | Valerio Capraro posted on the topic | LinkedIn

BREAKING: OpenAI might have stolen another major proof. In a detailed Mathstodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved. I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem. If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself. And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents. We may be looking at one of the greatest intellectual scandals in the history of science. AI is not discovering new mathematics. AI is stealing human discovery. | 201 comments on LinkedIn

How Do We Talk about LLMs?

By Jim Clifford It is never fun to watch friends argue. Generative AI has created multiple fractures across our universities and the community of historians. The stakes are high and we are all deal…

My AI Skeptic Friends Are All Nuts

My smartest friends have bananas arguments about LLM coding.

My AI Skeptic Friends Are All Nuts

My smartest friends have bananas arguments about LLM coding.

Ryan Briggs on Twitter / X

These are my notes going into the first meeting of my dept's AI working group (in 30 min). We need to come up with advice for the profs in the dept. Anything I missed? pic.twitter.com/AleJQmm1bR— Ryan Briggs (@ryancbriggs) September 22, 2026