>OpenAI reports that roughly 10,000 concurrent agents found the result in about 88 hours, using approximately 130 billion output tokens, followed by Lean verification.
doing something
https://github.com/GrafeoDB/grafeo
Gonna test this with real cases
Memgraph is doing the task very well but alternatives from the Rust ecosystem also need to be reviewed
Memgraph is doing the task very well but alternatives from the Rust ecosystem also need to be reviewed
Chinese person came to one of the chats and I learned from him that there’s https://www.tianyancha.com
It’s an aggregator of Chinese companies
It’s an aggregator of Chinese companies
https://telegra.ph/Serjozna-nev%D1%96dpov%D1%96dn%D1%96st-c%D1%96lej-SH%D0%86-ta-matematiki-09-12
#math
#math
Telegraph
Серйозна невідповідність цілей ШІ та математики
Теренс Тао повідомляє, що став одним із 25 перших підписантів декларації — усі вони є лауреатами Філдсівської премії. Автори вирішили оприлюднити заяву терміново, хоча через це не встигли провести ширше обговорення. За останні місяці математичні здібності…
💯1
Forwarded from Oleksandr Redko
Every Go module connected to the ecosystem, placed by its dependencies alone.
https://shape-of-go.pages.dev/
https://shape-of-go.pages.dev/
😍4