I spent the weekend using AI to explore renovation ideas for a property. Each concept generated was basically construction-ready, since I fed it land & soil surveys (and generated everything else off Zillow and satellite photos).
The future is going to have very few intermedaries between consumers and the last mile of labor.
And more broadly: consumers will be spending a lot more on custom projects to get precisely what they want, since the reasons they've been cost prohibitive (design and engineering) will no longer matter.
Essentially, a lot more things are going to be custom-fabricated—electronics, clothing, home fixtures. The next era of consumer tech is going to make everyone a hobbyist and builder.
Uau! 🤯
A equação de Navier-Stokes (um dos Problemas do Millennium) teve um avanço histórico:
OpenAI usou ~10 mil agentes de IA e formalizou em Lean 4 uma solução com força externa em que a velocidade explode para o infinito em tempo finito (t=1).
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.