Lode Vermeulen

[Lode Vermeulen @LodeVermeulen]

@skdh See the formal conjectures github repository by google deepmind, where mathematical statements are formalized (without proof!) in Lean. Some physics problems have also been added there https://t.co/QVRGxwWFlS.

[Lode Vermeulen @LodeVermeulen]

@MarioKrenn6240 @NeurIPSConf Fun! Will give it a shot

[The Nobel Prize @NobelPrize]

BREAKING NEWS
The Royal Swedish Academy of Sciences has decided to award the 2025 #NobelPrize in Physics to John Clarke, Michel H. Devoret and John M. Martinis “for the discovery of macroscopic quantum mechanical tunnelling and energy quantisation in an electric circuit.”

[Google DeepMind @GoogleDeepMind]

We’re announcing a major advance in the study of fluid dynamics with AI 💧 in a joint paper with researchers from @BrownUniversity, @nyuniversity and @Stanford.

[Deedy @deedydas]

Huge computer science result:

A Tsinghua professor JUST discovered the fastest shortest path algorithm for graphs in 40yrs.

This improves on Turing award winner Tarjan’s O(m + nlogn) with Dijkstra’s, something every Computer Science student learns in college.

[Mario Krenn @MarioKrenn6240]

Towards #quantum physics in @leanprover:

@LodeVermeulen has just finished his bachelor thesis on the "Formal Verification of Mathematics Behind Quantum Optics Experiments": https://t.co/cnYNmaRYba

In the future automated agents might be able to contribute in a completely new way in physics - by deriving and proving physics ideas based on the solid foundations of formal logic and computational proof systems.

[Lode Vermeulen @LodeVermeulen]

@DaithiDeNogla scientist