Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao.
The proof was generated by GPT 5.2 Pro and formalized with Harmonic.
Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:
Substrate is building a next-generation foundry to return America to dominance in semiconductor production. To achieve this, we will use our technology—a new form of advanced X-ray lithography—to power them.
America invented semiconductors. We will lead again.
“I guarantee you that in life, you will need imagination perhaps more than any other. Our collective future-flourishing will come from you knowing what you love to do, and boldly following that path.”
— Jeanne Gang, 2024 Commencement speaker