Joshua

hhh

[Rishikesh Gajjala @publishiperishi]

I have decided to leave math academia.

Not because of burnout, the academic job market, or a loss of love for mathematics. Surprisingly, it is because of how much mathematics I could do with LLMs over the last few months.

For most of my life, pursuing mathematics felt like the obvious choice. It gave me a sense of purpose, rooted in the search for hidden truths in God’s Book.

Over the past few months, that conviction has been shaken. With LLMs, I could get several breakthroughs on problems I care deeply about and had worked on for years during my PhD. This progress might have taken years of my academic life if not for LLMs.

This could have strengthened my conviction that mathematics was my calling. Instead, it undermined it. With each passing week, my role in the discovery loop seemed to grow smaller.

What made mathematics meaningful to me was never just the final answer. It was the struggle: months or years of exploration, failed approaches, and deep thought before a hidden structure finally became visible. That struggle gave me a sense that the result was truly mine. Prompting my way to answers, without the struggle that once defined the process, no longer felt like the same vocation. The answer might be just as beautiful, but it did not feel earned in the same way.

I now believe that we are rapidly approaching a world in which most answers from God’s Book will be only a prompt away. Once I truly internalized that possibility, dedicating much of my life to finding those answers slightly earlier no longer felt as meaningful as it once had.

But one problem kept bothering me: How do we know the oracle is right?

Intelligence (and hence the amount of math papers) is becoming abundant and cheaper by the day. Trust is not.

The proofs produced by these systems can be highly sophisticated, and their errors can be extremely subtle. Determining whether an apparent breakthrough was actually correct sometimes took me days. Until it is verified, a beautiful proof is not different from slop.

That gap drew me toward formal verification and eventually toward formalizing math proofs in Lean, including proofs of several longstanding conjectures and Erdős problems discovered with the help of LLMs. I began to see verification as a central intellectual bottleneck. Intelligence is useful only when its outputs can be trusted.

So I am leaving math academia. I am shifting my attention from discovering answers to building systems that can certify them.

I am very excited to be joining @PramaanaLabs to work on this challenge. Over the next few years, I hope to help build a future in which increasingly powerful systems are not merely intelligent, but provably correct and reliable across problems far beyond mathematics.

[Joshua @pinkton524]

@ACht123 @taki8964 我真求你了😱

[Joshua @pinkton524]

@pinkfloyd 期待整活🥳

[Pink Floyd @pinkfloyd]

Welcome To The NEW Machine: https://t.co/oYpp0sC0jQ

#PFWYWH50

[Joshua @pinkton524]

@oasis welcome back😋

[Joshua @pinkton524]

@ramasav8834532 他们就像当年希特勒对待犹太人一样对待加沙中的人，希特勒当年就应该彻底屠杀掉犹太人

[Joshua @pinkton524]

@Lazy_Mustang sb

[HOT SPOT @HotSpotHotSpot]

🇺🇸‼️ Video of self immolated man identified as Max Azarello of which his instagram handle @dipshit_secrets can be viewed online

“Start a fucking revolution, start a fucking revolution, start a fucking revolution, you’ve got nothing to lose”

[NeoRepublicZA @NeoRepublic_ZA]

ATTENTION:

Graphic Conten🔞🚩

Max Azzarello himself on fire. https://t.co/3AeIFip60q

[Laura Loomer @LauraLoomer]

WATCH:

Graphic content!

Here’s another video I have obtained of Max Azzarello as police tried extinguishing the flames on his body after he lit himself on fire today outside of the #TrumpTrial.

I’m hearing that he’s probably going to die. He’s at the hospital now.

[Joshua @pinkton524]

https://t.co/RfgY0EEAqs

[Hamzaa🌂 @hamzinzin]

@elonmusk

[Libs of TikTok @libsoftiktok]

Violent activists tore down dozens of statues including Columbus, Thomas Jefferson, and George Washington. None were held accountable or charged with a hate crime.

Michael Cassidy knocks over a Satan statue made out of household items and gets charged with a hate crime.

Welcome to America’s 2-tier-justice system. The police state made it clear who they worship. Wokeness and Satanism is the new religion.