Chris van der Loo

@chrisvanderloo.com

Founder, engineer, all around cool guy (according to my mom). Boston. Website: https://chrisvanderloo.com at-astro-loader: https://npmx.dev/package/at-astro-loader @pixl.pics: https://pixl.pics

What a week! 1.0 launch on Monday, 10k stars by Thursday. Thank you so much everyone for all of your support 😊

Bild

OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about). openai.com/index/model-...

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

openai.com