weakmath's profile picture. Mathematician, computer scientist and humanist looking for truth. For this journey, benevolent and scientifically interested people are always welcome.

SubstProf weakmath (@[email protected])

@weakmath

Mathematician, computer scientist and humanist looking for truth. For this journey, benevolent and scientifically interested people are always welcome.

Pinned

"May your choices reflect your hopes and not your fears"


#RIP --- Professor Voigt gave the best #math #lectures one can imagine. In particular his course on #complex #analysis was a dream.

weakmath's tweet image. #RIP  --- Professor Voigt gave the best #math #lectures one can imagine. In particular his course on #complex #analysis was a dream.

SubstProf weakmath (@[email protected]) reposted

This sort of thing is interesting and nice, but calling it “new theorems” is slightly misleading when we’re talking about improved bounds discovered through a big search.

AlphaEvolve Just Helped Prove New Theorems in Complexity Theory Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks,…

WesRothMoney's tweet image. AlphaEvolve Just Helped Prove New Theorems in Complexity Theory

Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. 

Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks,…
WesRothMoney's tweet image. AlphaEvolve Just Helped Prove New Theorems in Complexity Theory

Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. 

Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks,…
WesRothMoney's tweet image. AlphaEvolve Just Helped Prove New Theorems in Complexity Theory

Google DeepMind's AlphaEvolve just made real breakthroughs in theoretical computer science. 

Instead of generating full proofs, it discovered new combinatorial structures that plug into existing proof frameworks,…


🤣🤣🤣 Why not do both? One paper goes to #TMLR and the next goes to the water heater process , I am sorry, I mean to the A* conference russian roulette.

Reassuring to hear it from you. We are still playing the ML conference Russian roulette.



What a positive view on the future :-) So far, it seems everybody is puzzled when I tell them about it. In particular, almost all computer scientists are completely unaware ... arxiv.org/abs/1801.07985

In the near future, basic concentration of measure will be taught in undergraduate probability. And concentration of probability for matrices in masters-level courses. arxiv.org/abs/1501.01571



#Severn #Bridge, finally got out! So glad I had some currency and all my injections.

weakmath's tweet image. #Severn #Bridge, finally got out! So glad I had some currency and all my injections.
weakmath's tweet image. #Severn #Bridge, finally got out! So glad I had some currency and all my injections.

SubstProf weakmath (@[email protected]) reposted

I think, it is shocking that this is even supposed to be acceptable. Further information: patrick-breyer.de/en/posts/chat-…

The EU's Chat Control vote is scheduled for October 14, 2025. The EU plans to scan all information sent via messaging apps. Only three EU member states—Austria, Netherlands, and Poland—have announced opposition.

Pirat_Nation's tweet image. The EU's Chat Control vote is scheduled for October 14, 2025. 

The EU plans to scan all information sent via messaging apps.

 Only three EU member states—Austria, Netherlands, and Poland—have announced opposition.
Pirat_Nation's tweet image. The EU's Chat Control vote is scheduled for October 14, 2025. 

The EU plans to scan all information sent via messaging apps.

 Only three EU member states—Austria, Netherlands, and Poland—have announced opposition.


United States Trends

Loading...

Something went wrong.


Something went wrong.