Login

u/MaoGo

r/LLMPhysics r/Physics r/AskPhysics r/MapPorn r/HypotheticalPhysics r/dataisbeautiful r/QuantumComputing r/quantumcomputingmemes r/mathmemes r/physicsmemes r/physiquechimie r/france
▲ 2 r/LLMPhysics

Has an AI discovered new maths? | Stand-up Maths

Stand-up Maths summarizes the current trends in AI proofs. Note that contrary to most posts in this sub, various things happen:

  1. they use payed models that can compute for hours, not free models
  2. these are papers made by mathematicians verified by them, written by them and peer-proofed by humans
  3. They are using LEAN and LEAN verifiable problems.
  4. These are not groundbreaking theory of all math problems. These are problems that well listed in a repository, it is harder to claim to have solved an open problem if nobody knows what the problem is in the first place

Reddit formatting just broke, I am unable to fix this since Reddit removed markdown on mobile

youtube.com
u/MaoGo — 2 months ago
▲ 2.7k r/MapPorn+1 crossposts

European map of most famous physicists according to Wikipedia

I used the Open Wikipedia Ranking and a bit of manual filtering, sometimes Google was used for smaller countries.

Corrections: I did not thought this was going to blow up (mostly Poles complaining), I'll make a new version in the future. Here are the most common requests:

  • Curie move it to Poland, put Laplace in France
  • Hamilton over Stokes in Ireland
  • Maxwell in Scotland, who do we put in Wales and Northern Island?
  • Einstein for Heisenberg in Germany
  • Sakharov for Prokhorov in Russia
  • Lemaître over Englert in Belgium
  • Zeldovich over Alferov in Belarus
  • Lenz over Öpik in Estonia
  • Moldova is missing.
  • Remove Tesla, who do you want in Serbia?
u/Desperate_Engineer80 — 2 months ago