Minki Hhan

(Quantum/Classical)+Cryptography.
Assistant professor at the School of Computing, KAIST.

[Minki Hhan @MinkiHhan]

@letonyo Perhaps math was the *bottleneck* of the field? I hope the new era of quantum info and any other science to come where we can do work more about finding new interesting things without spending much time on complicated math details.

[Chris Peikert @ChrisPeikert]

This is a very cool and exciting discovery by Claude Mythos!

It found a serious 𝒎𝒂𝒕𝒉𝒆𝒎𝒂𝒕𝒊𝒄𝒂𝒍 attack on the post-quantum signature scheme HAWK, an "on-ramp" candidate for potential NIST standardization.

[Henry Yuen @henryquantum]

I'm happy to see the unclonable encryption problem solved; Prabhanjan Ananth and Amit Sahai report their findings, with the help of the UCLA harness (link below). This was a challenge for the quantum crypto community for the last 6 years.

[Minki Hhan @MinkiHhan]

@henryquantum Wow, isn't the first serious quantum crypto paper whose main idea is from AI? I'm afraid what we will see in next few years...

[Or Sattath @or_sattath]

1/
Quantum computers are usually presented as a threat to cryptocurrencies.
Cryptographically relevant quantum computers would break many assumptions used today.
But there is also a longer-term, more optimistic possibility:
Quantum cryptography may improve cryptocurrencies.

[Ashvin Swaminathan @aaswaminathan01]

A decade ago, I abandoned the first math problem my PhD advisor ever gave me.

This week, I finally solved it—and formally verified it—using @AnthropicAI's Claude Code, @OpenAI's Codex, and @HarmonicMath's Aristotle.

Here’s how AI turned my 10-year-old notes into a 15,000-line Lean 4 proof. 🧵

[Quanta Magazine @QuantaMagazine]

In 1874, Georg Cantor published one of the most important papers in math’s 4,000-year history. The ideas in it were stolen. 🧵

[Daniel Litt @littmath]

Some thoughts on AI and mathematics, inspired by "First Proof."

[Minki Hhan @MinkiHhan]

@dimenerno @YouTube (x,y)에 2^(-x-y) 값을 주고 박테리아가 있는 점들의 값의 합을 생각하면 불변이 되는데, 초기값은 1이고 바깥 점들의 값의 합이 1보다 작아서 불가능을 증명할 수 있네요.

[상일 @sioum]

예전에 이산수학/그래프이론 관련 KAIST 교과목을 정리해서 올린 적이 있었습니다. 타 학과 특강으로 개설된 교과목을 눈여겨 보지 않을 가능성이 있어서 2026년 봄학기 과목을 정리해봅니다.
Courses on Discrete Math / Graph Theory at KAIST on Spring 2026
https://t.co/nEAv6Ogx7g

[Bas Westerbaan @bwesterb]

Post-quantum cryptography is a fast moving field. A lot has happened over the 20 months. So it's time for a new "state of the post-quantum Internet" 🧵

[Sebastien Bubeck @SebastienBubeck]

It's becoming increasingly clear that gpt5 can solve MINOR open math problems, those that would require a day/few days of a good PhD student. Ofc it's not a 100% guarantee, eg below gpt5 solves 3/5 optimization conjectures. Imo full impact of this has yet to be internalized...

[Minki Hhan @MinkiHhan]

@sioum 축하드립니다!

[Minki Hhan @MinkiHhan]

@aporemba_ @BU_CDS Congratulation!

[Minki Hhan @MinkiHhan]

@firebat03 Will online participation or recording be available?

[Minki Hhan @MinkiHhan]

@yixin_shen Wow, looks awesome!

[Quanta Magazine @QuantaMagazine]

If you’ve ever moved into a new home, then you know how difficult it can be to steer bulky furniture through narrow hallways or around awkward corners. A new proof reveals the biggest shape that can slide down an L-shaped hallway. Richard Green reports: https://t.co/i3HXI0iTmo

[arXiv math.MG Metric Geometry @mathMGb]

Jineon Baek: Optimality of Gerver's Sofa https://t.co/i765LfnA1o https://t.co/yTw8yU3EVd

[Barna Saha @B1ar2n3a]

The talk is now available from the link below.
https://t.co/de3rX14yEL

[Minki Hhan @MinkiHhan]

@aporemba_ @henryquantum @letonyo Thanks, and sorry for reviving an old thread. Is the paper you mentioned tight regarding the seed length? I feel it should be, but I can't find a simple argument or an explicit mention in the paper.