explore | Grilled Cheese

OpenAI dropped 372 AI math results. Lean says they're valid. Mathematicians: original? important? where's the model? Making output is easy now. Checking it is the job.

https://webtechkitchen.com/openai-drops-372-math-results-github-mathematicians-show-your-work-946 #AI #Math

Our paper points to an opportunity in AI & Math: using probabilistic models to gain insights into open problems. In link.springer.com/article/10.1... we study a model of quasi-primes based on the idea that although primes are deterministic, they exhibit patterns resembling randomness. #AI #Math

If more people read Markov instead of most modern probability textbooks, we would have fewer conceptual errors, fewer abuses of independence, fewer magical interpretations of probability, and far better scientific reasoning.

valeman.gumroad.com/...

#math

💡 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs arxiv.org/abs/2610.08144

#ai #math #science #lean #navierstokes #paper

Made a YouTube playlist with a range of short demo videos of live-primitive SDF 3D modeling features.

Every shape you see in the videos can be smoothly, non-destructively blended with other SDF shapes.

www.youtube.com/playlist?lis...

#SDF #3D #3DModeling #modeling #math #B3D

Still, the bridge needs to be able to connect with other roads in the future.

#game #gameplay #dev #play #development #design #car #drive #csharp #unity #versioning #scene #math #engine #engineers #control

Does your kids need help with math? Check out this teacher for the teacher's. #math

Erdős 374: classical square products of factorials (in Lean 4). ~ Alexander. palomar-registry.org/entry?id=PAL... #LeanProver #ITP #Math

Theorem of the Day (October 8, 2026) : Thales’ Theorem
Source : Theorem of the Day / Robin Whitty
pdf : buff.ly/7StJSj6
notes : buff.ly/UU6UByz

#mathematics #maths #math #theorem

OpenAI Claims Secret AI Model Solved Hundreds of Math Problems in One Prompt

https://newisty.com/blog/openai-claims-secret-ai-model-solved-hundreds-of-math-problems-in-one-prompt?utm_source=social&utm_campaign=crypto_news

#openai #artificialintelligence #math

"OpenAI has indicated total disregard for the norms of scientific research — norms that guarantee that mathematics remains trustworthy, ethically researched, and in the public interest."

#maths #math #mathsky #academicsky #genai #llm #ai

ISTA Professor Tamás Hausel has received a Projectn Numina Fellowship to develop “Project Sandbox”—a digital research environment where human mathematicians and AI agents work side by side to advance unexplored areas of mathematics.