Engineer. Researcher. Intelectual flâneur. Endless curiosity as the meaning of one’s life. Nullius in verba.
recife, brazil
Joined May 2009
- Tweets22.6K
- Following469
- Followers297
- Likes33.3K
fabio maia retweeted
I am respectfully requesting that all TCS tokens be redirected to ruling out Pessiland please and thank you
fabio maia retweeted
Ojalá Lula logre sacar a Brasil del desastre económico que le dejó el gobierno anterior.
fabio maia retweeted
3SAT in subexponential time (2^{n / log^eps(n)}) is maybe the biggest surprise I have seen during my 20 years following theoretical computer science (still remember the feeling 25 years ago seeing the diff a 3 versus a 2 can make for complexity 😅)
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
fabio maia retweeted
Holy shit. This doesn't mean P = NP, but the exponential barrier has been broken.
Here's a direct link to OpenAI's PDF claiming a refutation of ETH. In particular, it's claimed that 3SAT on n variables is in about exp(n/(log n)^{1/2+o(1)}) time
github.com/openai/math/blob/…
👀
The computer science collaboration will understand and explain a result concerning the Exponential Time Hypothesis (ETH), a longstanding conjecture about the computational complexity of Boolean formula satisfiability, a problem deeply related to the P vs. NP problem.
Surprisingly, our system has recently proved that the ETH is false, a result that was subsequently verified in Lean.
The refutation of the ETH reopens questions about how much faster these tasks could become, and may help guide the search for better algorithms. Finding such algorithms, and turning theoretical advances into practical improvements, will require significant further research.
Our system found its natural language disproof for the ETH we reached out to to @rrwilliams. Ryan will form a collaboration with Russell Impagliazzo and Ramamohan Paturi to verify and shepherd this result. Impagliazzo and Paturi, along with Francis Zane, are the original proposers of the Exponential Time Hypothesis, and Williams has refuted strong versions of the ETH, used ETH for hardness results, and connected algorithms and lower bounds.
This group asked us to make all raw data of the results public to facilitate independent verification by the community, which we have done by posting the natural language proof and Lean formalization to our GitHub repo. The group also invites the community to help organize an open examination of the ETH claim and to discuss the broader questions that AI-generated breakthroughs raise about verification, access, credit, and the future of research.
github.com/openai/math/blob/…
fabio maia retweeted
We're about to enter a period where not reading or writing becomes as ubiquitous as smoking once was. We can hope people will eventually realize this is bad for them, as they did with smoking. But this is far from certain; the cost may not be as obvious.
fabio maia retweeted
I’m starting to think this ‘anti-genocide’ crowd isn’t really about “opposing a genocide...”
It’s about committing one.
fabio maia retweeted
Presidentes de países da América Latina cumprimentam Lula pela vitória.
Entre eles estão:
Santiago Peña, do Paraguai; Rodrigo Paz, da Bolívia; José Raúl Mulino, do Panamá; e José Antonio Kast, do Chile.
Todos de direita.
Isso dificu ainda mais a narrativa de anulação.
fabio maia retweeted
Global warming presents us with huge problems, but it prevents a much worse one: we get to skip the next ice age, which was already ramping up. Aircon, sea level rise, biome shift, weather instability and indoor agriculture are easier to handle than miles of ice on top of us
fabio maia retweeted
Lideranças do PL entram em campo para convencer Flávio Bolsonaro a reconhecer a derrota o quanto antes
oglobo.globo.com/blogs/bela-…
fabio maia retweeted
Cerca de 50 mil votos após as 17h. Não tem a menor chance disso ter determinado o resultado.
Dito isso, outra vez o judiciário fazendo lambança. Querem se meter em tudo, criar regras do nada e n pensam nas consequências. Dada as margens esperadas, podia ter melado a eleição.
Terminamos de analisar os logs de urna do próprio TSE. (resultado das 06:40)
Para cada seção, contamos quantos votos entraram depois das 17h e quantos desses eleitores foram habilitados sem biometria. Os logs são públicos e qualquer pessoa pode conferir.
Analisamos os logs de 497.895 de 497.897 seções do Brasil (sem o exterior); as 2 restantes não têm log no site do TSE. Em seções onde a urna foi trocada durante o dia, lemos só o log da última urna; por isso 0,1% dos votos não entram na conta.
Resultado: 0,03% dos votos foram registrados depois das 17h (34.330 votos). Desses, 15,9% foram sem biometria (5.469 votos), contra 12,4% antes das 17h.
Atenção ao comparar: a hora acima é a do registro do voto, e a habilitação sem biometria demora mais (em média 67 s, contra 29 s com biometria). Por isso, parte de quem foi identificado antes das 17h só votou depois. Pela hora em que o eleitor foi identificado, 13,1% dos votos após 17h foram sem biometria (3.359 de 25.676), contra 12,4% antes das 17h.
Estados com maior fatia de votos depois das 17h: RO (0,06% dos votos após 17h, 9,4% deles sem biometria); DF (0,05% dos votos após 17h, 11,6% deles sem biometria); RR (0,05% dos votos após 17h, 11,0% deles sem biometria).
5.244 seções tiveram votos sem biometria registrados depois das 17h (3.195 pela hora da identificação) e foram sinalizadas, para comparar o resultado delas com o das demais.
fabio maia retweeted
Lembram da encheção de saco dos petistas chamando impeachment de “golpe”? Teremos longos quatro anos agora dos bolsonaristas chamando 2026 de golpe…
fabio maia retweeted
Na real a grande surpresa foi Flávio ter vencido o primeiro turno (provavelmente cortesia dos rolos do Supremo). A partir do momento que Jair o ungiu como seu sucessor, a expectativa era realmente de que ele fosse grande o suficiente dentro da faixa da direita para impedir a emergência de outros nomes em nível competitivo, mas fraco demais para vencer de Lula no segundo turno. Que ele tenha chegado tão perto disso é bem provavelmente resultado da ruindade tanto do governo quanto da campanha do Lula (a mobilização do 2º turno parece ter vindo mais de Janones e militância orgânica do que da campanha oficial).
fabio maia retweeted
Segunda-feira chegando. Quase hora de todo mundo que não é petista nem bolsonarista ser chamado de fascista de novo — dos isentões que anularam aos que votaram silenciosamente contra Bolsonaro, passando até por quem fez campanha aberta para Lula.
fabio maia retweeted
O resultado eleitoral surpreendente de ontem precisará ser estudado em detalhes nos próximos dias. Mas devido ao alcance que os modelos preditivos do Plano Político tiveram neste ciclo, uma análise preliminar se faz necessária.
fabio maia retweeted
Interessante como está dando um “tilt” em algumas pessoas de fora do Brasil (especialmente na Europa), que estão vendo a vitória de Lula como uma vitória contra o bloco Trump-Putin por Flávio ser de extrema direita e ligado ao MAGA. Não entendem que Lula não coloca os dois presidentes no mesmo balaio: ele é contra Trump, mas pro-Putin.
fabio maia retweeted
O impacto é muito mais institucional e no nível de confianca das cortes supremas. Mostra quão rachado o STF de fato está, para arriscarem até a menina dos olhos da tecnologia nacional.
fabio maia retweeted
Analisei os logs das urnas e bate com o que o @TricolorSamurai falou mais cedo: foram ~34 mil votos que entraram depois das 17h, num universo de 127 milhões. 0,03%, quase nada.
A grande maioria desses votos "atrasados" foi concentrada até 17h09 — ou seja: mais cara de gente que tava na fila que alguém que foi na seção depois que ela estendeu o prazo. Até porque grande parte já tinha fechado de vez.