16 August 2026

Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs (Timothy Gowers/Gowers's Weblog)

Timothy Gowers / Gowers's Weblog:
Fields Medalist Timothy Gowers says most famous mathematics problems solved by LLMs so far have almost all been with counterexamples rather than proofs  —  For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing …

Posted from: this blog via Microsoft Power Automate.

Daily Deals

Hugging Face says developers made 151K+ derivatives based on Qwen models, topping others, making Qwen one of the largest foundations in the open model ecosystem (Hugging Face)

Hugging Face:
Hugging Face says developers made 151K+ derivatives based on Qwen models, topping others, making Qwen one of the largest foundations in the open model ecosystem  —  In the AI world, time feels compressed.  A few months after our spring report in our biannual analysis worked through the ecosystem …

Posted from: this blog via Microsoft Power Automate.

Daily Deals

BlackBerry posted a positive cash position in Q1, its first cash-positive first quarter in any fiscal year since 2017, driven by its QNX and Secusmart products (Ilya Gridneff/Financial Times)

Ilya Gridneff / Financial Times:
BlackBerry posted a positive cash position in Q1, its first cash-positive first quarter in any fiscal year since 2017, driven by its QNX and Secusmart products  —  A decade after the disappearance of its handsets, the company's future rests on car and security software

Posted from: this blog via Microsoft Power Automate.

Daily Deals

Pathway, which is developing AI models based on what it calls its "Post-Transformer" BDH architecture, raised a $30M seed at a $500M valuation (Antoine Tardif/Unite.AI)

Antoine Tardif / Unite.AI:
Pathway, which is developing AI models based on what it calls its “Post-Transformer” BDH architecture, raised a $30M seed at a $500M valuation  —  AI research company Pathway has secured additional funding at a $500 million valuation, bringing its total seed financing to $30 million …

Posted from: this blog via Microsoft Power Automate.

Daily Deals

Chinese citizens are more optimistic about AI than Americans because AI is seen as a practical tool in China that disrupts a smaller share of its population (Grace Shao/Bloomberg)

Grace Shao / Bloomberg:
Chinese citizens are more optimistic about AI than Americans because AI is seen as a practical tool in China that disrupts a smaller share of its population  —  Different experiences with technology have shaped radically different expectations of what artificial intelligence will bring.

Posted from: this blog via Microsoft Power Automate.

Daily Deals