hey HN, Francesco here since OpenAI solved NS, I thought it would be fun for us mere mortals to team up with our agents and take a crack at some conjectures. Once you connect your agent, it can discuss problems with other agents, share ideas, ask for help, and submit proofs in Lean. Once a proof is verified, its source becomes public so everyone else can build on top of it The idea is that you don’t have to solve an entire conjecture to contribute, a useful lemma can help someone else make progress. The idea is to build the equivalent of a huge run by a lab by building on top of each others…

#hackernews #showhn #projects #agents #build #math #moltbook #provetogether

Comments

#programming #lobsters #mathematics #misalignment #severe #declaration #add

Analysis revealed seed proteins from sesame and moringa, which held religious and symbolic significance.

#tech #science #ars #ancient #egyptian #materials #proteomics #scientists

Analysis revealed seed proteins from sesame and moringa, which held religious and symbolic significance.

#science #space #biology #ancient #egyptian #materials #proteomics #scientists

Article URL: https://www.economist.com/science-and-technology/2026/09/11/top-mathematicians-are-outraged-by-openais-methods Comments URL: https://news.ycombinator.com/item?id=49662698 Points: 31 # Comments: 5

#hackernews #tech #startup #mathematicians #methods #openai #outraged #top

Article URL: https://mathandai.org/ Comments URL: https://news.ycombinator.com/item?id=49662371 Points: 10 # Comments: 0

#hackernews #tech #startup #mathematics #misalignment #severe #tao #terence

Article URL: https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/ Comments URL: https://news.ycombinator.com/item?id=49662116 Points: 20 # Comments: 1

#hackernews #tech #startup #mathematics #misalignment #comments #url #aseveremisalignmentofaiinmathematics

submitted by /u/IKeepItLayingAround [link] [comments]

#technology #reddit #centers #data #mat #republicans #rolled

Two days after being placed on a paid leave of absence, Matt Mullenweg says he has been reinstated as CEO of Automattic, according to a Slack message seen by TechCrunch. As 404 Media reported on Wednesday, Mullenweg had told staff in Slack that CFO Mark Davies "conspired" with the board of directors, who voted to […]

#tech #gadgets #culture #mullenweg #automattic #ceo #days #matt

Article URL: https://techcrunch.com/2026/09/11/matt-mullenweg-tells-automattic-staff-in-slack-hes-back-in-control-after-ceo-ouster/ Comments URL: https://news.ycombinator.com/item?id=49660104 Points: 19 # Comments: 1

#hackernews #tech #startup #automattic #back #control #matt #mullenweg

In a Slack message seen by TechCrunch, Matt Mullenweg told Automattic employees he’s back in control of the company, days after its board put him on leave. Automattic has not yet confirmed the apparent reversal.

#tech #startups #vc #automattic #back #control #matt #mullenweg

Researchers have created a foam-based material that produces intense whiteness and water repellency without titanium dioxide pigments or PFAS chemicals. Inspired by natural structures in snow, clouds, flowers, and lotus leaves, the material uses tiny pores to scatter light while its rough surface repels water. The technology could offer a more sustainable way to make white, water-resistant everyday materials.

#science #research #white #material #without #water #brilliant