Thrilled to announce that @ThePrimeagen has joined Omarchy Core to lead Agentic QA. His new Oligarchy harness will soon be vetting all our upcoming releases using @digitalocean droplets, which will host agents running on our @AIatMeta tokens. Full cricle! https://t.co/mRueXlaGxT
@mike_mates Estoy viendo a muchos IA bros enfadados con Terence Tao en twitter ultimamente.
No entiendo, al menos en el clip que anda dando vueltas lo unico que propone es bajarle un poco el ritmo ¿De que sirve lo que descubra el clanker si no lo entendemos?
Do you all have ANY idea what it means to say that btw ?
Everyone is criticizing him for campaigning for GPT and speaking against it. Don't we all use knife, only to fear it when some idiot holds it and tries to kill you ? Lol.
Even the creators, godfathers of AI themselves have practically no idea how any model comes to a solution. Such an undeterministic artifact of any kind shouldn't be commercialized for the sake of money hunger (but fine anyway they did). Even if they had commercialed it, they should have slow paced the development relative to the security infra's growth with it (they chose not to do so).
The cost of it ? Mark my words, quantum computers are order of magnitude times computative than any modern tech. Imagine an AI system powered by Quantum Computers ? It'll shatter any modern cyber security methods.
Further more, None of AI can ever do math. Humans have intelligence,
language is a medium of expression for our intellectual.
When you model that language, such a model is good at mimicking the knowledge and not be intelligent , which is what you'll have been using to "sOLvE" maths lol.
If the entirity of math is, let's say, "sOlvEd" by AI, who are gonna proof read them ? My grand father ?😂.
The course of where this'll end is, AI could solve problems with existing math rather creating anything new. This stagnates the advancement in the mathematics itself.
Hay un hecho incómodo del que casi nadie habla. Muchos profesores e investigadores siguen en las universidades por verdadera vocación. Porque, visto fríamente, trabajar en una universidad es probablemente una de las peores decisiones laborales que puede tomar una persona cuerda.
One of the greatest mathematicians alive almost got kicked out of his PhD program because he was staying up late playing video games.
Terence Tao was in his early 20s and assumed his “general” exam would be easy, so he barely studied.
It wasn’t.
He nearly failed.
Even Terence Tao has lost to video games.
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.
Resumen del drama de Navier-Stokes;
-Buckmaster + Alpöge (Anthropic) han publicado avances importantes usando IA. Terence Tao cree que la vía es muy prometedora.
-Hay españoles clave: Diego Córdoba y Luis Martínez-Zoroa están detrás de trabajos fundamentales para este enfoque.
-> Arriva de clases y almuerza
-> "huh voy a distraerme un poco antes de volver a salir"
-> Da una vuelta al parque
-> wake up, OpenIA saco otro modelo que supuestamente la rompe
Buena descripcion de mi tarde
GPT-6 Astra es más caro que 5.6 y equivale en precio al costo de Claude Fable 5.1 pero con un mejor resultado en casi todas las pruebas.
Le duró poco a Anthropic el primer lugar.