Simon Pepin Lehalleur

Mathematician (algebraic geometry, motives & friends, singularities in statistics and ML).

'Geometry is successful magic' (R. Thom)

University of Essen.

[Simon Pepin Lehalleur @plain_simon]

"Pessimism of the Algebra, optimism of the Geometry"

[Charley @JukeboxCharley]

Spoiling The Odyssey

[Anders Sandberg @anderssandberg]

XKCD today https://t.co/69oWYIlgko is totally right. Being aware of the geometry around us and that the sun moves 15 degrees per hour has helped me select seats many times.

[Przemek Chojecki | PC @prz_chojecki]

There are math worlds inaccessible to even the best internal AI models.

[dave kasten @David_Kasten]

There's this troublesome pattern where OpenAI employees seem to think that it's okay to handwave what the law says, and replace it with something else that they think the law _should_ say.

[Gro-Tsen @gro_tsen]

Let me publicly express my exasperation with people who write math papers giving a non-obvious definition of something, and don't take the time to explain what would have happened if you had taken the “obvious” or “naïve” definition. 🧵⤵️ •1/19

[Thomas Bloom @thomasfbloom]

I have written a blog post giving my personal sketch of the recent disproofs of the sum-product and unit distance conjectures.

https://t.co/KRBNyhcbQ5

[Alberto Alfarano @albe_alfa]

Introducing Lattice Deduction Transformers: An 800k-parameter looped transformer that reasons like a SAT solver achieves 100% on Sudoku-Extreme with only 15 minutes of training.

A collaboration between @axiommathai, @AmherstCollege and @BarnardCollege.

[パジョカ (Pajoca) @Pajoca_]

ベルトランの仮説 (ベルトラン=チェビシェフの定理) は主張がシンプルで使いやすいけど、その不等式を精密化した Nagura の不等式(※)も n≧25 で使えてしかも 2n より結構範囲を狭められるからとっても良さげ
※奈倉実郎？ 人物を厳密には同定できず

[Zach | Last Place Comics @lastplacecomics]

⏳New comic: Timelines⏳

[Matthew @MattStrangelove]

Twitter is giving men body dysmorphia.

Guys have memed themselves into believing the physique of a top ATHLETE is UNATHLETIC.

[Simon Pepin Lehalleur @plain_simon]

@ArthurSteggles @prz_chojecki Because the definitions themselves rely on rather difficult theorems, which rely themselves on sophisticated definitions, which...

[Urs Schreiber @UrsSchreiber]

In cohesive homotopy theory,
the formula for the ℝ-rational homotopy type
of mapping spaces out of a smooth manifold
has a one-line proof:
https://t.co/dOoJuzZGLq

[Simon Pepin Lehalleur @plain_simon]

@justinskycak Have you considered that many of your tweets assume a rather healthy psychological baseline?

[Sujeet Bhalerao @sujeetbhlr]

Here's a "theorem" in the complex variables section proved by sorry: "If g is complex differentiable at every point with Re z \geq 0, then g is complex differentiable everywhere." This is then used in the proof of another theorem in Lecture21.lean. All of this is marked as a "pass".

[Matt Wiemann @Space_Boy_Matt]

Can LLMs discover new laws of physics?

We present DiscoverPhysics, a pipeline to benchmark LLM agents on experimentation, analysis and discovery.
https://t.co/FSjixhuwc6
Co-led by @LindsayMSmith3 w/ Peter Melchior, @kdqg1 @andrewgwils @Pavel_Izmailov Carol Cuesta-Lazaro 1/10

[Rhys @RhysSullivan]

the past is a foreign country

[cp 🪩💋🍸 @theBKbelle]

i almost vomited at the sight of this ad on the train.