Dimitris Koukoulopoulos

Number theorist at UMontreal, author of “The Distribution of Prime Numbers” Mastodon: @[email protected]

[Dimitris Koukoulopoulos @iteratedlog]

A preliminary version of my book "The distribution of prime numbers" can be now downloaded for free, with the permission of the AMS: https://t.co/xZxMlYTTi8. If you enjoy the book, consider buying it from them: https://t.co/1bx2Zxe51r.

[Dimitris Koukoulopoulos @iteratedlog]

6/6 AI is transforming science. We have a responsibility to ensure that its fundamental research infrastructure is developed as a public good and governed with the scientific community in an ethical and accountable manner.

[Dimitris Koukoulopoulos @iteratedlog]

1/6 AI is here to stay. We cannot ignore these tools; we have to fully incorporate them into scientific research. We urgently need publicly funded, freely accessible GPT/Codex-type tools backed by frontier models and substantial public compute.

[Dimitris Koukoulopoulos @iteratedlog]

5/6 This is not only about making AI cheaper for academics. Scientific research should not become dependent on the priorities, products, and business models of a handful of private companies.

[Dimitris Koukoulopoulos @iteratedlog]

Exciting news, congrats!

[Carlo Pagano @Carlein90]

Peter Koymans, Mark Shusterman and I have just posted our resolution of the probabilistic version of Chowla’s non-vanishing conjecture for imaginary quadratic characters over Fq(T), with q ≡ 1 mod 8:
https://t.co/UuFAVCEHpb
(Over function fields, one cannot expect deterministic non-vanishing: Wanlin Li constructed infinitely many examples of vanishing)

We have been working on this for seven years, and it is very exciting to finally be able to share it!

[Dimitris Koukoulopoulos @iteratedlog]

@yiannissak I don't think we'll be writing proofs the same way anymore. Even if humans do all the high level job, AI will still be writing substantial pieces of the proof. To trust its writing, Lean certificates will be crucial.

[Dimitris Koukoulopoulos @iteratedlog]

Like many others, I had envisioned Lean would free us from the tedious work of verifying technical details, letting us focus on big ideas. Instead, its main role will likely be to certify AI-generated math, so we can safely invest human effort in understanding and rewriting it.

[Dimitris Koukoulopoulos @iteratedlog]

@EMehmetKiral Yes, I don't think humans will be writing Lean code. We just need to know enough to be able to check the statement the Lean proof is supposedly verifying.

[Andy Masley @AndyMasley]

Prompting is a skill you develop over time

[Dimitris Koukoulopoulos @iteratedlog]

@yiannissak @Quasilocal Apparently that's not enough! https://t.co/JU0HxsAMOK

[Edoardo Contente @edoardocontente]

There is a super shady data control setting on everyone's ChatGPT which makes it seem like your data can be used for training even if you explicitly say to *NOT* improve the model for everyone (1/9)

[Edoardo Contente @edoardocontente]

There is a super shady data control setting on everyone's ChatGPT which makes it seem like your data can be used for training even if you explicitly say to *NOT* improve the model for everyone (1/9)

[Alex Kontorovich @AlexKontorovich]

!!!! Now *this* I will have to read carefully. I’m told Brian Conrey already has.

[Dimitris Koukoulopoulos @iteratedlog]

This blog post expresses very well many of my own thoughts about math and AI.

[Noah Smith 🐇🇺🇸🇺🇦🇹🇼 @Noahpinion]

Mathematicians aren't going to lose their jobs because of AI. Nor their prestige. Nor the fun of finding things out.

The only thing they'll lose is their chance to be heroes.

https://t.co/9NPR4Zdbwh

[Dimitris Koukoulopoulos @iteratedlog]

@SirAncient I don’t know. I heard it from twitter without any further details.

[Dimitris Koukoulopoulos @iteratedlog]

I’m deeply saddened to hear that Florian Luca has passed away. I will remember him as a kind and generous person, full of ideas and energy. Rest in peace.

[David Turturean @DavidTurturean]

Using mostly my voice, I solved one of @EpochAIResearch's FrontierMath Open Problems: finding an explicit presentation of the 2-adic Absolute Galois Group - open for more than forty years, now with a full proof in collaboration with David Roe, the problem's proposer. 🧵 1/n

[橋本幸士 Koji Hashimoto @hashimotostring]

Terence TaoのICM2026の一般講演スライドが素晴らしい。『AI時代の数学』
https://t.co/U2A0JMtbmn

[European Central Bank @ecb]

Ten selected design proposals for the next series of euro banknotes have been unveiled.

Explore the proposals and tell us which ones you prefer.

Have your say https://t.co/VvcczFFxX3