Johan de Aguas

19K posts

Johan de Aguas banner
Johan de Aguas

Johan de Aguas

@JohanDH2O

Fulbright Scholar, Statistician, Economist, Industrial Engineer

Oslo, Norway Beigetreten Nisan 2011
1.9K Folgt696 Follower
Johan de Aguas retweetet
uai2026
uai2026@UncertaintyInAI·
🛠️ 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!
English
0
3
15
1K
Johan de Aguas retweetet
uai2026
uai2026@UncertaintyInAI·
📣 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…
English
0
9
39
2.3K
Johan de Aguas retweetet
Erik Wang
Erik Wang@erikyw26·
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!
Erik Wang tweet media
English
2
26
191
26.5K
Johan de Aguas
Johan de Aguas@JohanDH2O·
@platom___ Maravilla de ejemplo de altura y seriedad en el debate 👏
Español
0
0
0
12
Tomás Molina
Tomás Molina@platom___·
El neoliberalismo ha dañado más neuronas que las drogas. Por el bien de tus hijos, di no al neoliberalismo.
Español
99
242
1K
39.4K
Johan de Aguas retweetet
ICML Conference
ICML Conference@icmlconf·
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!
ICML Conference tweet media
English
2
20
95
14.4K
Johan de Aguas retweetet
Daniel Mejia
Daniel Mejia@DanielMejiaL·
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.
Andrés Julián@AndresJRendonC

Si Antioquia resiste, Colombia se salva: estoy cada vez más firme en la defensa de este pueblo altivo que no se arrodilla sino ante Dios. Antioquia es muro de contención contra el comunismo.

Español
382
634
1.5K
196.7K
Johan de Aguas retweetet
IMS
IMS@InstMathStat·
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….
English
0
5
11
1.2K
Johan de Aguas retweetet
Mehtaab Sawhney
Mehtaab Sawhney@mehtaab_sawhney·
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
English
26
150
1.1K
407K
Johan de Aguas retweetet
Peter Hull
Peter Hull@instrumenthull·
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!
Peter Hull tweet media
English
4
40
243
44.8K
Johan de Aguas retweetet
ICML Conference
ICML Conference@icmlconf·
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.
English
4
2
78
13.9K
Johan de Aguas retweetet
NeurIPS Conference
NeurIPS Conference@NeurIPSConf·
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
English
13
63
518
126K
Johan de Aguas retweetet
Phillip Heiler
Phillip Heiler@PhillipHeiler·
!! 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.
English
2
11
43
8.5K
Johan de Aguas retweetet
Harmonic
Harmonic@HarmonicMath·
🦾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. 🔥
Harmonic tweet media
English
30
123
756
262.5K
Johan de Aguas retweetet
AAAI
AAAI@RealAAAI·
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…
AAAI tweet media
English
0
14
55
3.8K