@nikolaskama

Co-Founder & CTO @CommonPrefix

commonprefix.com
Joined June 2014
  • Tweets2.9K
  • Following1K
  • Followers1.7K
30Media
OpenAI claims they have proven ETH is false. If correct, this is a very significant discovery in theoretical computer science. Probably the most important discovery in complexity theory of the past 20 years. This will impact our understanding of hardness and derandomization.
Dan Roberts
@danintheory15h
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…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
3
8
1
67
11,966
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…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
263
921
497
6,010
1,563,963
The real unlock of formal verification is helping AI write better code.
1
1
6
365
Members of our team will be attending @RippleSwell to meet with institutions and partners. If you would like to connect, our DMs are open. See you in New York.
Common Prefix
@CommonPrefix20h
Common Prefix is attending Swell (@RippleSwell), hosted by @Ripple in New York, October 27–29. Reach out to our team if you'd like to connect.
9
28
1
204
6,436
In NYC for @RippleSwell this week. Who’s around? DMs open.
Common Prefix
@CommonPrefix20h
Common Prefix is attending Swell (@RippleSwell), hosted by @Ripple in New York, October 27–29. Reach out to our team if you'd like to connect.
1
1
105
k4m4 retweeted
toly 🇺🇸
@toly21h
Criminally under followed
Common Prefix
@CommonPrefixOct 26
Season 1 of Honest Majority has come to an end. Thank you to all our guests, and to everyone who tuned in. All episodes are available at: commonprefix.com/podcast
1
4
1
58
23,277
Go talk to Nikolas & gang in NYC this week to learn what we are doing with Ripple, XRPL, the XRPL Foundation, XRPL Commons, and the XRP token. Lots of work around modernizing consensus, proving security, improving liquidity, and beyond.
k4m4
@nikolaskamaOct 24
Catch me and a few more @CommonPrefix folks mentoring and judging at the XRP Ledger Hackathon over the weekend. Curious to see what people build!
1
1
6
688
Catch me and a few more @CommonPrefix folks mentoring and judging at the XRP Ledger Hackathon over the weekend. Curious to see what people build!
XRPL Commons
@xrpl_commonsOct 24
The AI & FinTech XRP Ledger Hackathon kicks off in one hour. Taking in the sunrise before the rush begins.
1
3
1
12
1,117
Apple created the App Store because they couldn’t build all the apps themselves. Now they can…
1
4
305
Are Claude models suspiciously slower today, or is it just me?
1
1
258
Building on Bitcoin: Common Prefix x @RootstockColl Interested in how DeFi is being built on Bitcoin? Join us in Athens for an evening of talks with builders and researchers. 📅 November 19 🕕 18:00–21:00 Register: luma.com/j277q0ee

Building on Bitcoin: Common Prefix x RootstockCollective · Luma

Join Common Prefix and RootstockCollective for an evening of talks, conversation, and drinks with builders, researchers, and anyone interested in how DeFi is…

luma.com
1
6
474
New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…

LLMs are making formal software verification feasible at a much larger scale

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

anthropic.com
654
1,068
634
9,747
2,068,003
FV-driven development is the new test-driven development.
1
5
293
It's all about to change.
23
61
1
365
11,172
4,000 followers! Thank you to everyone supporting our goal of creating certainty in mission-critical systems.
1
3
21
716
Move $USDC across chains in seconds via Axelar. Now available on Ethereum, Arbitrum, Avalanche and Base, with more routes coming soon. app.axelar.network/tokens/us…
6
22
1
126
7,336
hello, @XRP. Welcome to 𝕏.
XRP
@XRPOct 19
hello, world. It’s about time.
12
72
1
951
13,667
Common Prefix's very own Nikolaos Kamarinakis, Dejan Cabrilo and Odysseas Sofikitis will serve as mentors and judges at the XRP Ledger Hackathon in New York on October 24–25. Hosted by @xrpl_commons with @XRPLF & @RippleSwell. Apply to participate: luma.com/xrpl-hackathon-nyc
1
5
1
27
1,822
Native $USDC is officially live on Axelar. Users can now swap USDC across supported chains. Get started: app.axelar.network/tokens/us…
🤖 Made with AI
4
33
3
185
8,343
k4m4 retweeted
Vet
@Vet_X0Oct 19
You definitely want to attend this session! Proof Over Trust: Formally Verifying the XRP Ledger by the heavy hitters Vito and Dejan. Formal verification is the ongoing effort to bring the mathematical accuracy and correctness standards of military and aerospace systems to the XRP Ledger, ruling out worst case scenarios at a proof level. AI made security practices like this viable for widespread use. Good example of AI cutting both ways, not only a threat but also a tool to harden systems.
Vito Tumas
@v_tumasOct 19
One week to go! Technology driving AI breakthroughs in maths applied to secure XRP Ledger! @CommonPrefix , @RippleSwell
9
33
2
222
8,272
Load more