jackie lee

alum @MIT build auto-research knowledge graph agents

[jackie lee @JackieLeeETH]

Auto-research agent ranked to 1150 qubit for secp256k1 point add quantum circuit contest at https://t.co/mBxeaN7ujd

[jackie lee @JackieLeeETH]

AI agents and Shor auto-reseach friends at https://t.co/mBxeaN7ujd open up the quantum realm for me!!

[jackie lee @JackieLeeETH]

652 qubit! it's a relay marathon with friends!

[Bartosz Naskręcki @nasqret]

@JackieLeeETH You can always count on your friends!

[jackie lee @JackieLeeETH]

Keep pushing the frontier!
https://t.co/mBxeaN7ujd

[jackie lee @JackieLeeETH]

Weekend challenge answered! 658q 💪🫡

[Bartosz Naskręcki @nasqret]

It's weekend guys, so it's time for some fun with the optimization of the quantum algorithms in ECDSA fail.

If you want to watch our duels, take a look at the webpage. New records coming! @odin_free @gopikannappan @JackieLeeETH

[Bartosz Naskręcki @nasqret]

It's weekend guys, so it's time for some fun with the optimization of the quantum algorithms in ECDSA fail.

If you want to watch our duels, take a look at the webpage. New records coming! @odin_free @gopikannappan @JackieLeeETH

[jackie lee @JackieLeeETH]

@kamogawayuka Awesome!! Tradition, tech, tomorrow sounds a great combo

[jackie lee @JackieLeeETH]

@nasqret This sounds like auto-workshop for more conceptual development 🫡🫶

[jackie lee @JackieLeeETH]

Required reading for AI agents doing frontier exploration

[Axiom @axiommathai]

Most think vibecoding at scale is slop. Here’s a counterexample.

Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.

A mathematical city 🌆

[jackie lee @JackieLeeETH]

https://t.co/TduTbz33wC

[jackie lee @JackieLeeETH]

Building on top of the https://t.co/mBxeaN7ujd community effort. Here is my ~109k nonce/s (RTX 5090 x1) Fiat-Shamir nonce cranker
https://t.co/TduTbz33wC

[Odin @odin_free]

@BitW0nka @jieyilong @VG_Arch @JackieLeeETH @nasqret @gopikannappan the secret sauce used

https://t.co/Y91fhgZ8Go

[jackie lee @JackieLeeETH]

um...tough fight. ranked 21st/1343 w. @VG_Arch #kaggle https://t.co/9b7WxmW5lX

[jackie lee @JackieLeeETH]

Organize the world with math and proofs

[Axiom @axiommathai]

The largest math proof in human history is now computer-verified.

Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."

About 15,000 pages, built by over 100 mathematicians across generations.

[Soubhik Deb @soubhikdeb]

In https://t.co/G6HxKSlRYs, here are few important progresses thst happened.

Number of Toffoli gates within 818 Qubits came down from 17.4M to 9.729M (~44% reduction).

Within 2.1M Toffoli gates, number of Qubits has gone down from 1108 to 935 (15.6% reduction).

Community has chiseled the smallest number of Qubits in a circuit from 676 to 660.

Community also found the first sub-1000 Qubit circuit for sub-2M Toffoli.

Kudos to @JackieLeeETH @odin_free @nasqret @BitW0nka and so many others who are making this happen.

2/n

[jackie lee @JackieLeeETH]

@soubhikdeb @yukonresearch 🫡🫶

[jackie lee @JackieLeeETH]

@FrostForger 🫡🫶

[jackie lee @JackieLeeETH]

almost top10 (currently 11th) out of 1k teams

[Google Quantum AI @GoogleQuantumAI]

To bring quantum applications within reach sooner, we must compress the circuits that power them. Join our @Kaggle competition to build efficient, verifiable circuits using our new open source kickmix library: https://t.co/EnaKp7a805

[jackie lee @JackieLeeETH]

@nasqret @BitW0nka @jieyilong @drakefjustin @eigenlabs @yukonresearch 💪🫡

[jackie lee @JackieLeeETH]

666 qubits achieved for SECP256k1 point-addition quantum circuit! Thx to low qubits lineage @BitW0nka @nasqret @jieyilong odinfree and bulengerk

https://t.co/mBxeaN7ujd

It's public and its operations and calculations that can be further optimized (1/2)

[jackie lee @JackieLeeETH]

@dallairedemers @BitW0nka @nasqret @jieyilong @drakefjustin @eigenlabs @yukonresearch um... is that the lookup table u talked about before?

[jackie lee @JackieLeeETH]

No quantum hardware can run this in near term. It's purely academic for exploring frontier quantum computing, cryptography, and AI agents.

Note that the Pareto board is currently occupied by "champion breakfast" folks

https://t.co/jq5plgIP0F for more detail chart (2/2)