ZarankiewiczDB,

an online database of Zarankiewicz numbers. home; recent; tables; submit; theorems & references

Bound for z(30,31)

By the convex optimisation bound with 6 columns of weight 5 and 25 columns of weight 6.

upper bound = 180, submitted on April 22nd, 2016 (link)