Advertisement · 728 × 90

Posts by Lance Fortnow

Preview
The Ruby Circuit: A fast-paced techno-thriller By Ljungqvist, Martin G.. Released: 2026-03-05. Language: English. Ebook. ISBN: 9788727311104. SAGA Egmont. Genre: Fiction > Mystery & Detective > Police...

Martin Ljungqvist wrote a Swedish police thriller, recently translated into English, where P v NP takes center stage.

sagaegmont.publica.l....

12 hours ago 0 0 0 0
IFPG-Innovation Forever Publishing Group Limited Innovation Forever Publishing Group Limited (IFPG) was established on January 13, 2020 in Hong Kong, China. This is a publishing company that is dedicated to academic freedom, strictly adheres to the norms of academic publishing, and aims to provide open access to research outputs across multiple fields. As a responsible company, we uphold 'Innovation for a Better Future' and consider 'Dedicated to Service, Diffusing Scientific Knowledge & Deliberated to Excellence' as our mission. There are currently 18 journals published by the company, covering subjects such as agriculture, chemistry, biology, materials, medicine, nursing, engineering, energy, economics, education, computer science, information science, and multidisciplinary sciences, etc.

A new journal is offering $600 for authors who publish with them in order to build up a reputation so they can charge authors later.

www.innovationforeve...

Under no circumstances should you send them your AI slop papers.

3 days ago 3 0 0 0
Machine Learning and Complexity At Oxford I focused my research and discussions on how we can use the tools of computational complexity to help us understand the power and ...

An overview of my research on how machine learning handles complex behavior. We abstract machine learning using computational complexity, and show how such models use randomness to handle what they can't directly compute.

4 days ago 1 0 0 0

Hampshire alum Ken Burns hits it on the head: "It was dedicated to a transformational education, in an era when higher education has been hijacked by the transactional. A college education is, to some, like a Louis Vuitton handbag. And that’s not Hampshire."
2/2

5 days ago 1 0 1 0
Preview
Slow Down and Enjoy the 17mph Ride: A Hampshire-style Tribute for Professor Kelly His office is filled with 17-related scholarly accounts and ephemera. Countless students have carried on his interest, much as he picked it up from his teachers. One recent Sunday, Kelly started receiving emails shortly after the Patriots wrapped up their 51-17 win over the Jacksonville Jaguars. He's not all that into football, but the score? "Of course 17. And then 51 is 17 times three," he says, laughing. Hampshire is now marking Kelly’s retirement with a lasting tribute. All of the 15 mph speed limit signs on campus came down. Replaced by, yup, 17 mph.

Hampshire college has 17 MPH speed limits for reasons only math nerds would know. And now Hampshire is no more.

www.hampshire.edu/ne...

www.nytimes.com/2026...
1/2

5 days ago 1 0 2 0

Ask questions to the ACM Presidential candidates, Jens Palsberg and Elisa Bertino.

www.cs.rice.edu/~var...

And don't forget to vote if you are an ACM member.

5 days ago 2 0 0 0
Guest Post from Peter Brass, Former NSF Theory Director, on the NSF budget.  Guest post from Peter Brass, Former NSF Theory director (though not affiliated with the NSF now) on the White House NSF budget for FY 2027....

Former NSF theory program director Peter Brass guest posts on the state of the foundation.

6 days ago 12 9 1 0

Today is World Quantum Day where we celebrate all the amazingly useful things quantum computing has done for us.

Well, there's always next year.

6 days ago 9 1 1 0

I knew that opera companies use television screens so the singers can follow the conductor without having to look in the pit. What I didn't know is that they use analog TVs because digital has too much lag.

1 week ago 2 0 0 0
Afterthoughs on Banach Tarski and the Miracle of loaves and Fishes I posted about using the Banach-Tarski Paradox(BT)  to explain the miracle of Loaves and Fishes (LF)  here . Darling says that whenever I fo...

What, Bill didn't really talk to the pope about loaves and fishes? I feel fooled. And also honored to have the same initials as Loaves and Fishes.

1 week ago 0 0 0 0
Advertisement
Preview
How Does Machine Learning Manage Complexity? We provide a computational complexity lens to understand the power of machine learning models, particularly their ability to model complex systems. Machine learning models are often trained on...

My new paper taking a computational complexity lens to machine learning.

arxiv.org/abs/2604.0...

We abstract ML models as non-uniformly efficiently computable distributions and show that learning computable distributions forces the use of probability to manage complexity.

1 week ago 5 1 0 0

My very first memories were of watching the moon landing on a TV in my grandmother's apartment. So its feels a bit weird that 57 years later we are getting so excited by just flying around it.

1 week ago 3 0 0 0
Fun Little Solutions Here are the solutions to the problems I posted last week . Problem 1 A language \(L\) is commutative if for all \(u\), \(v\) in \(L\...

Here are the solutions to my problems from last week
blog.computationalco...

The original problems in case you want to try them first

2 weeks ago 2 0 0 0
I helped the Pope's with his latest Encyclical (His Math Background Helped) I blogged about Pope Leo XIV  here . Pope Leo XIV has an undergraduate degree in mathematics. He saw my post and asked for my help with his ...

With Easter coming up, Bill helps the pope solve one of Christianity's greatest mysteries.

2 weeks ago 2 0 0 0

Our president just signed an executive order stating that the Cook-Levin theorem will now be known as the Trump-Cook-Levin theorem.

I'd better go revise my grant application.

2 weeks ago 7 0 0 0
Fun Little Problems Occasionally I run into what I consider fun problems in complexity, that require just a little bit of out of the box thinking. They require ...

A few fun problems in theory to chew on.

3 weeks ago 4 0 0 0
Preview
My Oxford Term High table dinner at Magdalen My time in Oxford has come to an end and I head back to Chicago this week. I was a visiting Fellow at Magdalen...

My time in Oxford is, alas, coming ot an end. Some reflections.

3 weeks ago 1 1 0 0
Advertisement
A $100 gift card could be legit. A $1000 is obviously a Scam. What should scammers do?  If I get an email offering me a $1000 for I DON"T KNOW SINCE  I ignore it and don't even bother looking for other signs it is a scam.  If I...

Scammers be aware: Bill tells you how much you get can off of him.

4 weeks ago 0 0 0 0

I'm working on a paper and saying for details on the preliminaries, consult these textbooks. But they are better off going to a good chatbot. Before they could have gone to Wikipedia. But I will still point to the textbooks because that's how we play the game.

1 month ago 3 0 1 1
Preview
Gerd Faltings of Germany Wins 2026 Abel Prize in Mathematics Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

The German mathematician Gerd Faltings is the winner of this year's Abel Prize, an honor that is regarded as mathematics’ version of the Nobel Prize. He proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.

1 month ago 95 26 2 1
Preview
Bennett and Brassard Win the Turing Award Gilles Brassard and Charlie Bennett Charlie Bennett and Gilles Brassard will receive the 2025 ACM Turing Award  for their work on the founda...

My blog post on the Bennett-Brassard Turing Award.

1 month ago 5 4 0 1
Post image

Charlie Bennett and Gilles Brassard win the Turing Award for Quantum Information Science. Most notably they developed the theory for a provably secure quantum key distribution protocol.

awards.acm.org/about...

1 month ago 10 0 0 0

If you color R^3 in 2-colors will there be four points colored the same that form a unit square. Auguste Gezalyan, Ryan Parker and Bill give all the deets about this "Darling Problem".
Paper: www.cs.umd.edu/~gasa...
Blog Post: blog.computationalco...

1 month ago 2 1 0 0
Preview
How AI is changing the nature of mathematical research What machine learning theorists learned using AI agents to generate proofs — and what comes next.

Michael @mkearnsphilly.bsky.social ) and I wrote a blog post about our experiences using AI for research, and our thoughts on what these developments will mean for research, publication, and education: www.amazon.science/blog/how-ai-...

1 month ago 30 13 1 3
Advertisement
Preview
Tony Hoare (1934-2026) Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

Turning Awardee Sir Tony Hoare passed away last Thursday at the age of 92. Jim Miles remembers.

1 month ago 1 1 0 1
How does AI do on Baseball-Brothers-Pitchers In my graduate Ramsey Theory class I taught Kruskal's tree theorem (KTT) which was proven by Joe Kruskal in his PhD thesis in 1960.  (Should...

When it comes to baseball and AI, Bill learns you get what you pay for.

1 month ago 2 1 0 0

Do as I say, not as I do.

1 month ago 1 0 0 0

I'm perfectly fine with snarky footnotes in FOCS papers.

1 month ago 3 0 1 0
Paper Pet Peeves Little things that annoy me in research papers. Declarative first sentences of the introduction, like "Analyzing Left-Handed 12-SAT is a ke...

There is nothing wrong with "et al." especially after you mentioned the authors in full the first time. This is one my pet peeves blog.computationalco...

What's next, a page limit more than the number of atoms in the known universe?
2/2

1 month ago 3 0 2 0

Ugh. The FOCS CFP suggests using citations as nouns: Authors are asked to avoid "et al." in citations in favor of an equal mention of all authors' surnames. If the number of authors is large, consider writing "\cite{XYZ} show..." instead of "X et al. show".
1/2

1 month ago 7 0 1 1