16 Year old used AI to disprove professor

nicoraga2 pts0 comments

Maseeh Ghodsi on X: "In 2024 Professors Chan and Pak at UCLA and Rutgers proposed a case in enumerative combinatorics.

At 16 years old, I used a custom GPT-5.5 harness to disprove this case.

arxiv:2607.10084

1/3 https://t.co/JCDJXod2YS" / X<br>Post

Log inSign up

Post

Maseeh Ghodsi

@MaseehG_

In 2024 Professors Chan and Pak at UCLA and Rutgers proposed a case in enumerative combinatorics.

At 16 years old, I used a custom GPT-5.5 harness to disprove this case.

arxiv:2607.10084

1/3

span:not(:empty)~span:not(:empty)]:before:content-['·'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0">5:16 PM · Aug 3, 20267.2KViews

44

span:not(:empty)~span:not(:empty)]:before:content-['·'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0 min-w-0 overflow-hidden">Maseeh Ghodsi

@MaseehG_

2h

I used a custom harness built around GPT-5.5.

A supervisor model directed several solver agents, every 90 minutes, they reported discoveries, failed approaches and remaining gaps.

The supervisor then updated their instructions and redirected the search.

2/3

10<br>svg]:size-5 text-body hover:bg-mix-current hover:bg-mix-amount-10 active:bg-mix-current active:bg-mix-amount-15 focus-visible:bg-mix-current focus-visible:bg-mix-amount-10 outline-current -m-2 shrink-0 cursor-pointer border-transparent p-0 text-body size-9 [&>svg]:size-[1.25em] [&>[data-engagement-icon]]:size-[1.25em] group-hover:bg-mix-current group-hover:bg-mix-amount-10" aria-label="View count" type="button" data-state="closed" href="/MaseehG_/status/2084327647832637664/quotes">531

span:not(:empty)~span:not(:empty)]:before:content-['·'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0 min-w-0 overflow-hidden">Maseeh Ghodsi

@MaseehG_

2h

Excited to continue working with new and better models on the frontier.

Thank you to Professor Chan for the important guidance - arxiv.org/abs/2607.10084

3/3

arxiv.org<br>An Overlap Construction for Relative Linear Extension Ratios<br>Chan and Pak introduced the relative linear extension ratio $ρ(P,x)=e(P)/e(P-x)$, where $e(P)$ is the number of linear extensions of a finite poset $P$, and let $ν(c,d)$ be the least number...

10<br>svg]:size-5 text-body hover:bg-mix-current hover:bg-mix-amount-10 active:bg-mix-current active:bg-mix-amount-15 focus-visible:bg-mix-current focus-visible:bg-mix-amount-10 outline-current -m-2 shrink-0 cursor-pointer border-transparent p-0 text-body size-9 [&>svg]:size-[1.25em] [&>[data-engagement-icon]]:size-[1.25em] group-hover:bg-mix-current group-hover:bg-mix-amount-10" aria-label="View count" type="button" data-state="closed" href="/MaseehG_/status/2084327649007001811/quotes">433

span:not(:empty)~span:not(:empty)]:before:content-['·'] [&>span:not(:empty)~span:not(:empty)]:before:px-1 [&>span:not(:empty)~span:not(:empty)]:before:shrink-0 min-w-0 overflow-hidden">Soroush Ghodsi

@SoroushG_

2h

Very cool!

svg]:size-5 text-body hover:bg-mix-current hover:bg-mix-amount-10 active:bg-mix-current active:bg-mix-amount-15 focus-visible:bg-mix-current focus-visible:bg-mix-amount-10 outline-current -m-2 shrink-0 cursor-pointer border-transparent p-0 text-body size-9 [&>svg]:size-[1.25em] [&>[data-engagement-icon]]:size-[1.25em] group-hover:bg-mix-current group-hover:bg-mix-amount-10" aria-label="View count" type="button" data-state="closed" href="/SoroushG_/status/2084330828159504753/quotes">274

Log in or sign up for X<br>See what’s happening and join the conversation<br>Continue with phoneContinue with AppleContinue with Google<br>or<br>Log in with username or email

Relevant people

Maseeh Ghodsi@MaseehG_Follow<br>17 year old interested in math+AI

Trending now

span empty current before size hover

Related Articles