it's not lack of compute that's the issze. it's that in Europe, it's unthinkable to pay a guy in his mid 20s $600k salary and give him resources and freedom to train models without having oversight by a committee of gerontocratic professorswho don't keep up with the research
Terrific release from @nvidia and my former PhD student @rohansawhney1:
A GPU physics solver for fundamental problems like electrostatics and heat transfer, which handles extremely complex geometry without any mesh generation or basis approximation.
Based on Monte Carlo walk on spheres methods developed by our group and others. See this page for lots of background info/tutorials: https://t.co/1n3LROwC7w
Regardless of what I say about AI, somebody always considers my post overly negative or overly positive. It's a polarizing topic for sure. If you are in the middle, everybody hates you on both sides. I have a pragmatic view about AI. It's a good tool, but it needs a lot of micro-management to be viable, and even then it often frustrates me. Still I use it because it improves my overall productivity. But the quality is slightly worse, even with constant micro-management.
To note that as mentioned in the comment, this may indeed be an improvement/solution for some specific values of N, just not the asymptotic one used in the proof
I asked chatgpt to plot the construction suggested by Sawin as a more feasible analogy to the true solution. So this is what it likely looks like, some sort of quasicrystal thing?
Informative comment by Sawin on the constructivity of the Unit Distance counterexample.
We stan an unfeasibly constructive solution ✊
https://t.co/AaFjdWfFYG
I asked chatgpt to plot the construction suggested by Sawin as a more feasible analogy to the true solution. So this is what it likely looks like, some sort of quasicrystal thing?
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
@andimgladofit Well I did preemptively block him forever ago after one too many post of the most boomerous moron nature being dragged into my tl, and yet he's never blocked back, I assert dominance
@andimgladofit No but really before Twitter taught me otherwise I thought VCs were a serious industry , at least about as serious as finance, apparently they are only sort of semi sentient?
The idea that European societies that have been endemically waging warfare of some kind or other for over 3000 years cannot cope without America's protection has always been one of the dumber geopolitical memes among American elites