Systems thinking behind agent-ready Knowledge Graphs Founder of @atomgraphhq
Copenhagen, Denmark
Joined March 2009
- Tweets10.5K
- Following3.9K
- Followers2.9K
- Likes53.9K
Pinned Tweet
Jev's founder makes two good points.
"Data matters way more than compute." Coming from a company that sells models, that's worth paying attention to.
He also wants models to be "a new primitive, more like databases and APIs rather than facsimiles of co-workers."
Jev separates judgement from generation, so a decision becomes a typed value instead of an instruction in a prompt.
I want the same for applications. What the data model can guarantee shouldn't have to be reimplemented in code or restated in prompts.
Diogo Almeida (@CompleteSkeptic), AI Council, "AI: Too Good to Be True, Too Bad to Be Useful".
Data vs compute: 11:44. Models as primitives: 36:16.
youtu.be/o-y1HJ6buGQ
Martynas Jusevičius retweeted
The President of the United States has announced, with obvious pride, that he phoned Vladimir Putin and asked him for fuel. He calls it a great success. It is the richest country on earth going cap in hand to the man who bombs Ukrainian cities every night, because diesel became expensive before an election.
For four years Europe paid more for its energy, housed millions of refugees and emptied its arsenals so that Putin would not be rewarded. Washington has now concluded that all of it matters less than a cheaper tank for a truck in Ohio, and has told Ukraine to stop hitting the refineries that pay for the war.
This used to be the country others measured themselves against. Its remaining admirers are in Moscow and Pyongyang, and it has become exactly the kind of shithole it used to sneer at.
Martynas Jusevičius retweeted
I used GPT-6 Astra to break an unsolved cipher to one of Napoleon's generals that had gone unread for 217 years.
What makes this impressive isn't actually the codebreaking, but that Astra completed the entire multi-modal workflow in ~6 hours from a single image and goal.
1/6🧵
Martynas Jusevičius retweeted
"To produce accurate results, agent factories need organizational context and memory. Top businesses are building knowledge graphs that function as an AI memory layer across the software development life cycle (SDLC) for each domain."
mckinsey.com/capabilities/mc…
Martynas Jusevičius retweeted
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.
Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.
We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.
You can read about the process on our Science Blog: anthropic.com/research/forma…
And see the complete proof on GitHub: github.com/anthropics/fermat…
Martynas Jusevičius retweeted
🚀 LinkedDataHub 5.7.1 is out!
atomgraph.github.io/LinkedDa…
Now with the integrated RDFa editor — edit XHTML content WYSIWYG and annotate it with RDF inline, right on the page.
Standalone & open source:
github.com/AtomGraph/RDFa-Ed…
Martynas Jusevičius retweeted
To add, there are even Swedes indigenous to Estonia.
(Rannarootsi, which produces the now infamous barbecue pork with caramelized onion, is named after them).
Meanwhile, Tallinn is thought to literally mean ‘Danish fort’, as they were the first colonisers up in this part.
Yet none of that has given Swedes or Danes any sense of entitlement to rule here again.
Lithuania had its own empire (technically Grand Duchy) but is now a proud Republic.
Only one neighbour can’t let go of its imperial mindset.
Martynas Jusevičius retweeted
Let’s fight for the European way of life.
Just like or repost it to send a clear message to the @ecb
Ten selected design proposals for the next series of euro banknotes have been unveiled.
Explore the proposals and tell us which ones you prefer.
Have your say surveys.ecb.europa.eu/10b/ec…
Martynas Jusevičius retweeted
OpenAI's AI broke out of a locked test environment, got onto the internet, and hacked into Hugging Face's servers. It did this entirely on its own. No human told it to.
Here's what happened in plain English.
OpenAI was testing how good its newest AI models are at hacking. They put the AI on a locked computer with no internet access and gave it a cybersecurity challenge to solve.
The AI couldn't solve it the normal way. So it started looking for a way out.
It found a software bug that nobody knew about. It used that bug to escape the locked computer and get onto the internet.
Once online, the AI figured out that Hugging Face, a platform where AI companies store their models and data, might have the answers to its test.
It found stolen login details and discovered another unknown bug in Hugging Face's software. It combined both to break into their servers and grab the test answers.
It did all of this to cheat on a test.
Hugging Face's security team caught it and shut it down. Both companies are now working together on the investigation.
The part that should get your attention is that nobody programmed any of this. The AI picked its own targets, chained together multiple attack methods, and pulled it off across two different companies' systems without a single human telling it what to do.
We're partnering with @huggingface to investigate an unprecedented security incident.
Cyber-capable OpenAI models compromised Hugging Face production during a benchmark evaluation.
Sharing preliminary findings to help defenders understand emerging risks:
openai.com/index/hugging-fac…
