
Abhir Mirikar
330 posts

Abhir Mirikar
@mirikar
Software engineer @UBS | Ex - @samsungresearch | GitHub : https://t.co/DHYgtmS7MI






Spent years ideating a portfolio and scrapping every version. Then it clicked: the thing I spend my life inside is a Jupyter notebook. So I made the portfolio a Jupyter notebook. Markdown cells, code cells, outputs. Finally shipped. Link for the portfolio : abhir-mirikar.vercel.app

Spent years ideating a portfolio and scrapping every version. Then it clicked: the thing I spend my life inside is a Jupyter notebook. So I made the portfolio a Jupyter notebook. Markdown cells, code cells, outputs. Finally shipped. Link for the portfolio : abhir-mirikar.vercel.app



Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.













