Leo Huerta

319 posts

Leo Huerta banner
Leo Huerta

Leo Huerta

@LHgraph

Katılım Haziran 2025
605 Takip Edilen192 Takipçiler
Leo Huerta
Leo Huerta@LHgraph·
donut shader
English
0
0
1
15
Leo Huerta retweetledi
Math Files
Math Files@Math_files·
Today is the birthday of French mathematician and political activist Évariste Galois. His most profound work was written at age 18, and died in a duel at age 20. He answered a long-standing and widely-studied unsolved question: he showed that there is no general formula for finding the roots of a polynomial of degree 5 or higher. He found a deep connection between two areas of mathematics: in this case, group theory and field theory. In so doing, he created new areas of mathematics that opened doors for generations of researchers. Just think what he might have accomplished if he had lived.
Math Files tweet media
English
31
208
1.3K
94K
Leo Huerta
Leo Huerta@LHgraph·
grok jokes jaja
Leo Huerta tweet media
Indonesia
0
0
0
10
Leo Huerta
Leo Huerta@LHgraph·
@TheProjectUnity but i mean which material and electronics survive in deep space for a while?
English
0
0
0
80
Jay Anderson
Jay Anderson@TheProjectUnity·
There is a very small percentage of humanity that has access to vehicles that can travel deep space at speeds and distances believed to be reserved only for science fiction. A few tweaks away from standard physics you bump up against classified sciences, censored from textbooks.
Jay Anderson tweet media
English
183
220
2.3K
97.5K
Erik Meijer
Erik Meijer@headinthebox·
This "MIT paper" from UW.
Millie Marconi@MillieMarconnni

🚨 This MIT paper just broke everything we thought we knew about AI reasoning. These researchers built something called Tensor Logic that turns logical reasoning into pure mathematics. Not symbolic manipulation. Not heuristic search. Just tensor algebra. Here's how it works: Logical propositions become vectors. Inference rules become tensor operations. Truth values propagate through continuous transformations. Translation? Deduction and neural computation finally speak the same language. This isn't symbolic AI bolted onto deep learning. It's not deep learning pretending to do logic. It's a unified framework where both happen simultaneously. Every major AI model today hits a wall with consistency because logic is discrete and gradients are continuous. You can't backpropagate through "true or false." Tensor Logic erases that boundary completely. The system embeds Boolean reasoning, probabilistic inference, and predicate logic inside a single differentiable framework. That means you can train it end-to-end like a neural network while maintaining logical guarantees. In experiments, the system performs logical inference as matrix operations. Neural nets can now reason with symbolic precision. Symbolic systems can learn from data like neural nets. The numbers are wild. The system handles complex logical queries with the same computational efficiency as matrix multiplication. No expensive search. No combinatorial explosion. But here's the part that should terrify the incumbents: this scales. Traditional symbolic AI chokes on ambiguity. Neural networks hallucinate logical structures. Tensor Logic gets both right simultaneously. If this approach spreads, we might finally get models that don't just predict truths they can prove them. Systems that reason with mathematical certainty while learning from messy real-world data. The implications go way beyond academic AI. Every system that needs both learning and guarantees autonomous vehicles, medical diagnosis, financial systems, legal reasoning just got a new foundation. Current AI is either good at learning or good at logic. Never both. That dichotomy just ended. The fusion of logic and learning isn't coming. It's already here.

English
26
37
1.1K
105.4K
Leo Huerta
Leo Huerta@LHgraph·
@muskonomy i mean grok will generate phd articles and probably ai discussions i mean grok having a discussion with grok about something very cool for some body. wikipedia is human but historical i guess as an historical corpus of human articles.
English
0
0
1
28
Muskonomy
Muskonomy@muskonomy·
🚨NEWS: Wikipedia co-founder Jimmy Wales fires back at Elon Musk saying, “We’ll still be here in 100 years, and he won’t.” The comment comes after Musk announced the launch of Grokipedia, calling it “better than Wikipedia.”
Muskonomy tweet mediaMuskonomy tweet media
English
450
118
903
133.3K
Leo Huerta
Leo Huerta@LHgraph·
grok imagine its the future of chilling vr visuals
English
0
0
0
82
Leo Huerta
Leo Huerta@LHgraph·
grok imagine
English
0
0
0
23
Leo Huerta
Leo Huerta@LHgraph·
@elonmusk already got a wonderful feed compared to other social nets and grok its helping me with a lot of stuff this will be amazing.
English
0
0
2
7
Elon Musk
Elon Musk@elonmusk·
The 𝕏 recommendation system is evolving very rapidly. We are aiming for deletion of all heuristics within 4 to 6 weeks. Grok will literally read every post and watch every video (100M+ per day) to match users with content they’re most likely to find interesting. This should address the new user or small account problem, where you post something great, but nobody sees it. We will also be adding the ability for you to adjust your feed temporarily or permanently just by asking Grok.
DogeDesigner@cb_doge

How the 𝕏 algorithm really works? The algorithm doesn’t boost or hide posts randomly, it just tries to figure out if your post will be interesting to people. That means: If you post a plain link with no words, the algorithm doesn’t have much to judge, so it won’t show it to many people. But if you add a good caption, image, or more context, it spreads more. Basically, the algorithm needs enough info to understand why your post matters, just like a human would.

English
13.7K
10.4K
90.2K
24.5M
Leo Huerta
Leo Huerta@LHgraph·
@godofprompt sounds like the god dsl but there is the mathematical monster at least to take as base for such dsl amazingly complex i guess
English
0
0
0
35
God of Prompt
God of Prompt@godofprompt·
🚨 This paper might be the bridge between logic and intelligence. It’s called Tensor Logic, and it turns logical reasoning into pure tensor algebra no symbols, no heuristics, just math. Here’s the wild part: Logical propositions become vectors. Inference rules become tensor contractions. Truth values propagate as continuous operations meaning deduction and neural computation now speak the same language. This isn’t symbolic AI or deep learning. It’s both. Tensor Logic proves that Boolean reasoning, probabilistic inference, and even predicate logic can all be embedded inside a single differentiable framework. Every major AI model today struggles with consistency and reasoning because logic is discrete and gradients are continuous. Tensor Logic erases that boundary. In experiments, the system performs logical inference as matrix math, allowing neural nets to reason with symbolic precision — and symbolic systems to learn like neural nets. If this scales, we might finally get models that don’t just predict truths — they can prove them. The fusion of logic and learning just got real. Paper: “Tensor Logic: A Unified Framework for Differentiable Reasoning”
God of Prompt tweet media
English
107
284
1.6K
147.1K
Leo Huerta
Leo Huerta@LHgraph·
@Lost1million pfff thats a lot of money dude better to invest on real things with passive value though stock its still stochastic.
English
0
0
0
5
I Lost $1M in the Stock Market 😲📉
I’m going to fucking throw up. Lost that remaining $1k I had. My bank account has $0. I wish I never fucking found trading. I’m posting this so everyone that sees this can convince themselves that this is the fucking devil at work and STOP TRADING. FUCK. ME. FUCK.
English
3.1K
594
9.5K
4.8M
Alexandra Botez
Alexandra Botez@alexandrabotez·
I turned chess into a video game: 40 players. Giant chessboard. ONE winner. Also, I added bombs💣 Playtest starts Oct 25th!
English
317
363
3.6K
1.2M
Leo Huerta
Leo Huerta@LHgraph·
@elonmusk grok its just powerfull hope someday binds to a feature to play games and apps developed with grok.
English
0
1
0
12
Elon Musk
Elon Musk@elonmusk·
Grok
DogeDesigner@cb_doge

Grok Rankings Update 一 October 13 #1 Terminal-Bench Hard (Agentic Coding & Terminal Use) #1 GPQA Diamond (Scientific Reasoning) #1 SciCode (Coding) #1 Artificial Analysis Intelligence Index Tokens Usage #1 Token usage across models on OpenRouter Leaderboard #1 Programming Usecase on OpenRouter #1 Most popular LLMs for different languages on OpenRouter #1 on KiloCode Leaderboard #1 on Cline Leaderboard

English
3.6K
5.7K
36.3K
6.9M