Bartosz Naskręcki

@nasqret

Mathematician | Vice-Dean @UAM_Poznan | Researcher @ccaiwut | Owner of http://MathBot.eu | Mathematics, AI and programming

following
followers

AI for Math Fund names 22 grant winners with $17.1 million in XTX Markets backing

Renaissance Philanthropy says the winners span 30-plus organizations, selected from 400-plus applications across 50 countries.

6 Sources, 14d ago, updated 14d ago

OpenAI releases results from its internal AI math model on GitHub

OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.

435 Sources, 9d ago, updated 9d ago

Multi-Agent Systems Complete Major Autonomous Research in Formal Mathematics

Multi-agent systems combining Codex and Claude Code completed large-scale autonomous research, classifying 15,973 semigroups in Lean formal proof language, generating 5M+ lines of verified code.

3 Sources, 17d ago, updated 17d ago

A proposed ‘natural boundary’ for machines in mathematics

A user endorses Kevin Buzzard’s proposal to let machines explore math, then begin the journey toward wherever they get stuck.

17 Sources, 11d ago, updated 11d ago

OpenAI Announces GPT-6 Astra

OpenAI presents its latest model with advanced computer use and coding features.

212 Sources, 47d ago, first seen 47d ago

Featured in

AI for Math Fund names 22 grant winners with $17.1 million in XTX Markets backing

OpenAI releases results from its internal AI math model on GitHub

Multi-Agent Systems Complete Major Autonomous Research in Formal Mathematics

A proposed ‘natural boundary’ for machines in mathematics

OpenAI Announces GPT-6 Astra

Featured in

AI for Math Fund names 22 grant winners with $17.1 million in XTX Markets backing

OpenAI releases results from its internal AI math model on GitHub

Multi-Agent Systems Complete Major Autonomous Research in Formal Mathematics

A proposed ‘natural boundary’ for machines in mathematics

OpenAI Announces GPT-6 Astra