Johan de Aguas

🛠️ The #uai2026 workshop lineup is out! Check out the full list of accepted workshops 👉 auai.org/uai2026/worksh… Don't forget to register and see you in Amsterdam 🇳🇱 on August 21!

I coded up an open-source, not-for-profit AI paper reviewer that rivals the performance of @reviewer3com, @RefineInk, and Stanford Agentic Reviewer (according to @GeminiApp). Costs <$2! Live @ coarse.ink. Plug in paper, @OpenRouter key, and email. #econtwitter.

📣 Registration for #uai2026 is now open! Join us in Amsterdam 🇳🇱 this August 17-21 for cutting-edge research on uncertainty in AI. early-bird rates available 🐦 students welcome 🎓 Secure your spot 👉 auai.org/uai2026/regist…

Excited to share an AI-driven solution to the open problem posed by Rudin, Schapire, and Daubechies in COLT 2012: "Does AdaBoost Always Cycle?" arxiv.org/abs/2604.07055 This was an attempt to push the limits of autonomous mathematical research. It's stunning to see what GPT 5.4 Pro & Opus 4.6 are capable of. AdaBoost is among the most widely used boosting algorithms, but its asymptotic behavior still isn't fully understood. This particular problem asks if its distributions always converge to a cycle for every {-1, +1}-valued matrix, and has been open for the past 14 years! Working with GPT and Claude, we identify a counterexample and show that it does not converge with a certificate. What's most striking to me is just how much heavy-lifting the models did to get to the solution. The whole process was also shockingly quick. This result further signals AI's ability to advance real scientific research. While many Erdős problems have (very impressively) been solved, this exact question was published as an open research problem of real interest to the CS and ML theory communities. Certificate: github.com/ewang26/AdaBoo… Many thanks to @EdgarDobriban for very helpful feedback on this work and his efforts on SolveAll.org. Onwards and upwards!

@platom___ Maravilla de ejemplo de altura y seriedad en el debate 👏

El neoliberalismo ha dañado más neuronas que las drogas. Por el bien de tus hijos, di no al neoliberalismo.

Announcing the #ICML2026 tutorials! All ten tutorials will be presented the first day of the conference, Monday July 6. Read the blog post for more details on the selection process!

No, @IvanCepedaCast, no se equivoque. Lo que realmente nos perturba a millones de colombianos es que una persona como usted, que no ha hecho otra cosa en su vida que defender criminales, secuestradores, terroristas, abusadores sexuales de menores de edad, y reclutadores de niños, pueda llegar a la presidencia. Eso es lo que nos preocupa. Porque no queremos que nuestro futuro esté otros 4 años en manos de criminales. Eso es lo que nos perturba.

The deadline for applications to the 2026 IMS New Researchers Conference (just prior to the JSM in Boston) is April 15. The application is here: sites.google.com/uw.edu/nrc2026….

We are excited to share a new paper solving three further problems due to Erdős; in each case the solution was found by an internal model at OpenAI. Each proof is short and elegant, and the paper is available here: arxiv.org/pdf/2603.29961

A developed general nonparametric theory of omitted variable bias for a wide range of causal parameters. Just Accepted new paper by Victor Chernozhukov @VC31415 Carlos Cinelli, Whitney K. Newey, Amit Sharma, and Vasilis Syrgkanis @syrgkanis zurl.co/pl05U

SolveAll now includes a category for open problems in causality, such as solveall.org/problem/full-c…

Mathematical notation is more than just a tool. David E. Dunning thinks it’s a social, world-building technology. quantamagazine.org/how-writing-ch…

Very excited for this Friday's Chamberlain Online Seminar, where we'll muse about "The Future of Econometrics." Check out this panelist lineup! Friday 3/27 at Noon ET. Come see!

Preliminary reviews are available for #ICML2026! Authors have until March 30 to respond to the reviews. Reviewers are required to acknowledge responses, and there is the opportunity for one more round of back-and-forth interaction between authors and reviewers, ending April 7.

The NeurIPS 2026 Call for Papers is now live: neurips.cc/Conferences/20… Abstracts are due May 4, 2026 (AOE), with full papers due May 6, 2026 AOE. Please review the key changes to submissions this year neurips.cc/Conferences/20…, as well as our new initiative for Strengthening Area Chair Engagement and Calibration at NeurIPS 2026 blog.neurips.cc/2026/03/23/ref…

Following the success of the EurIPS and NeurIPS-Mexico City pilots in 2025, we are thrilled to announce two official NeurIPS 2026 satellite events for this year! These will be held in Paris, France and Atlanta, USA, respectively, running alongside the main venue in Sydney, Australia. Both satellite events will feature keynotes, oral and poster presentations of accepted NeurIPS 2026 papers, as well as workshops. We are planning tutorials, affinity events, and other elements for the satellite sites and we'll share more information as planning advances. Wherever you choose to join us, the entire NeurIPS organizing committee is working hard to deliver an outstanding experience for the whole community! neurips.cc

!! Econometrics Conference alert !! In honor of James MacKinnon's many contributions to Econometrics & his 75th Birthday, we will host a conference June 17-19, 2026 at the Aarhus Center for Econometrics (ACE) @AarhusUni_int @Aarhus_BSS. Submissions are open until April 12.

Don't miss the call for tutorials at #UAI2026! Submissions are open until April 30th. 👉 auai.org/uai2026/call_f…

🦾Meet Aristotle Agent, the world’s first autonomous mathematician — live and currently free of charge. We designed Aristotle Agent to solve and formalize the world’s most challenging mathematical research problems. It is now: ☑️#1 in Formal Math: We’re the #1 formal math model according to ProofBench, by @ValsAI, ahead of the closest competitor by 15%. Aristotle Agent can autonomously prove/formalize for up to 24 hrs without human intervention. ☑️Fully Agentic: Give it an English problem and it will prove/formalize from scratch, or it can work and edit files directly inside your Lean project / repository. ☑️Github-ready: Aristotle agent produces repo-quality code; project leads are increasingly merging Aristotle-drafted PRs with no modifications. Now live across both web, CLI, and API. 🔥

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence are now available to review online. The proceedings have been published in 48 consecutive issues which are all available here: aaai.org/proceeding/aaa…