frederic fadel

Code Eliminator

[frederic fadel @FredyFadel]

Extrait Etre et Devenir - On est "non sco" comme on est "non cycliste" https://t.co/fQPM45I1oB via

[frederic fadel @FredyFadel]

TREE(3) (extra footage) - Numberphile https://t.co/8ZqdcZ1n8N via @YouTube

[Grant Sanderson @3blue1brown]

Suppose you wanted to reinvent the idea of Shannon Entropy for yourself. This puzzle is a good place to start (Full video on YouTube).

[frederic fadel @FredyFadel]

The huge challenges awaiting Pure Mathematics | Sociology and Pure Maths... https://t.co/3uCLO9Wj5l via @YouTube

[Topology Fact @TopologyFact]

Pick's Theorem & Ehrhart Polynomials https://t.co/9rJBC4Pjep

[Logic & Applications @LogicPractice]

Gödel's completeness theorem (1929) isn't as famous as his incompleteness theorem (1931).

[Gro-Tsen @gro_tsen]

Or does anyone think that making films about intelligent alien life gives you some clue about the actual existence of intelligent alien life?

Does he have anything to say about shark attacks as well?

[frederic fadel @FredyFadel]

@tak3sh8 @KenOno691 Grandmasters use engines as collaborators, not replacements. “Mathematical understanding” doesn’t need protecting from AI. It evolves with better tools.

[frederic fadel @FredyFadel]

@tak3sh8 @KenOno691 Exactly : AI didn’t kill chess — it supercharged it.
When engines demolished the old way of playing, human understanding, curiosity, and pleasure didn’t vanish. They grew.
The same thing is happening in mathematics. Tools and AI are raising the ceiling, not lowering it.

[Topology Fact @TopologyFact]

'It's not so easy to free oneself from the idea that coordinates must have an immediate metrical meaning.' -- Albert Einstein

[Andrew Rousso @AndrewRousso]

every robot demo:

[Marielle Redclaw @MarieleRedclaw]

Meanwhile, in the orbiting stealth observation station...

Alien One: Hey, look at this planet’s energy timeline. 1945: split the atom. 1954: first nuclear plant. 2025: entire continents covered in giant spinning sticks again.

Alien Two: Spinning sticks? You mean… windmills? Like their 12th-century tech?

Alien One: Yep. Mastered the power of a thousand suns, then collectively said, “Nah, let’s just pray for wind.”

Alien Two: Ran out of uranium maybe?

Alien One: They’ve got oceans of thorium and enough uranium dissolved in seawater to last millennia. They just… picked the sticks.

Alien Two: Religious ritual? Appeasing the Great Breeze Spirit?

Alien One: Would explain Germany. Shut down flawless reactors, then paid the neighbors to burn coal when the sticks take a nap.

Alien Two: I hate these creatures. They’ve got fusion working in a lab, but the solution was clearly taller bird-chopping sky fans.

Alien One: Give it a decade and they’ll rediscover fire and call it “breakthrough baseload.”

[auriane @aurian_ee]

other pics :)

[auriane @aurian_ee]

Pics of Louis you haven’t seen because i took them ✌️ How Did We Get Here tour in Paris ! #HDWGH #HDIGH #HDWGHtour #LouisTomlinson @Louis_Tomlinson @LTHQOfficial

[Topology Fact @TopologyFact]

It takes six colors to color a map on a Möbius strip, seven for a map on a torus.

[Charles Arnal @arnal_charles]

Our team at @AIatMeta is excited to announce ATLAS: one of the largest automated formalization efforts to date.

ATLAS contains Lean 4 formalizations of both statements and proofs from 25+ mathematics textbooks, spanning dozens of domains, for a total of 500k lines of code. We are also releasing a flexible formalization harness and a companion paper.

External contributions are welcome!

Joint work spearheaded by our amazing PhD student Ahmad Rammal (@Ahmad3Rammal), together with Niket Patel (@niketnpatel ), Fabian Gloeckle (@FabianGloeckle), Amaury Hayat (@Amaury_Hayat), Remi Munos (@MunosRemi), Julia Kempe (@KempeLab), Vivien Cabannes, and myself from @AIatMeta, @NYUDataScience , and Ecole des Ponts. This is an ongoing effort; more details in the thread below.
(1/9)

[Analysis Fact @AnalysisFact]

The Runge-Kutta method for numerically solving differential equations was developed in 1895.

[Noam Brown @polynoamial]

After AlphaGo, the skill of human Go players noticeably improved. I suspect we will see a similar pattern in math.

[Paysages Mathématiques @paysmaths]

"Mathematics is not a deductive science – that's a cliche. When you try to prove a theorem, you don't just list the hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork." – Paul Halmos (1916-2006)
#quote #mathematics #maths #math

[Paysages Mathématiques @paysmaths]

"[Mathematical discovery] does not consist in making new combinations with mathematical entities that are already known. That can be done by any one, and the combinations that could be so formed [...]" – Henri Poincaré (1854-1912)
#quote #mathematics #discovery #maths #math

[Physics In History @PhysInHistory]

In 1916, Stefan Banach—then an unknown engineer’s assistant without a degree—was overheard by Hugo Steinhaus solving a tough integral at a Kraków café. Steinhaus struck up a conversation; within a few years Banach helped found modern functional analysis. A literal “talent scouted at a café” story.